HDU 1814 Peaceful Commission (2-SAT)
矛盾的情况为:
存在Ai,使得Ai既必须被选又不可选。
枚举每一对尚未确定的Ai, Ai‘ ,任选1个,推导出相关的组,若不矛盾,则可选择;否则选另1个,同样推导。若矛盾,问题必定无解。
此算法正确性简要说明:
由于Ai,Ai ' 都是尚未确定的,它们不与之前的组相关联,前面的选择不会影响Ai, Ai ' 。
算法的时间复杂度在最坏的情况下为O(nm)。
在这个算法中,并
原创
2015-08-19 15:03:34 ·
442 阅读 ·
0 评论