hdu4598Difference(差分约束)

题目请戳这里

题目大意：给一张图，n个点，一些边，第i个点有一个权值ai，使之满足2个约束条件：

1：abs(ai)<T

2：如果点i和点j之间有边<=>abs(ai - aj) >= T

其中T是一个正实数。

让判断给定的图是否存在一个赋值满足上述约束条件。

题目分析：差分约束。当时比赛的时候很傻很天真，判断不存在奇环就可以了。要满足2个约束条件的话，相邻2个点一正一负才可以满足。但是忽略了条件2中的双向等价号，约束条件2是一个充要条件，而不是充分条件。其实条件2可以写成2个式子：

1：如果i和j之间有边=>abs(ai - aj) >= T

2：如果i和j之间没有边=>abs(ai - aj) < T！！！这一点十分重要，也是不能只找奇圈的原因。

所以这个题首先要判断奇圈，如果有直接No，没有继续判断。

建立差分约束系统。对于约束条件2，拆成2个条件后直接建图，T为任意正实数，为了方便，直接取个差不多的整数就ok。

对于约束条件1࿰