摘要:
裸地2-sat。看到a、b只能选择0,1就应该想到是2-sat问题。建图方法:2-sat箴言:如果a与b矛盾,则添加单向边(a,b').这道题目中,矛盾指的是a[i]+b[i]=c[i].故可应该按如下方法建图。假设,a代表0,a'代表1.1、c=0时,a=0时,b=0时产生矛盾,故连边(a,b'),(b,a'); a=1时不会有矛盾。2、c=1时,a=0时,b=1时产生矛盾,故连边(a,b),(... 阅读全文
posted @ 2010-11-24 00:30
晓天
阅读(1108)
评论(0)
推荐(0)

浙公网安备 33010602011771号