题目大意:给一张图,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