关于差分约束系统
转换题目所给的关系式
$A=B$,可拆为$A\ge B,B\ge A$,即为$A-B\ge 0,B-A\ge 0$ (X=1)
$A<B$,改写为$A\le B-1$,即为$B-A\ge 1$ (X=2)
$A\ge B$,即为$A-B\ge 0$ (X=3)
$A>B$,改写为$A-1\ge B$,即为$A-B\ge 1$ (X=4)
$A\le B$,即为$B\ge A$ (X=5)
A
关于差分约束系统
转换题目所给的关系式
$A=B$,可拆为$A\ge B,B\ge A$,即为$A-B\ge 0,B-A\ge 0$ (X=1)
$A<B$,改写为$A\le B-1$,即为$B-A\ge 1$ (X=2)
$A\ge B$,即为$A-B\ge 0$ (X=3)
$A>B$,改写为$A-1\ge B$,即为$A-B\ge 1$ (X=4)
$A\le B$,即为$B\ge A$ (X=5)
A