摘要：
2-sat一个变量两种状态符合条件的状态建边找强连通，两两成立1 - n 为第一状态（n + 1） - （n + n） 为第二状态 例题模板 链接一 POJ 3207 Ikki's Story IV - Panda's Trick（2-sat） 链接二 Katu Puzzle POJ - 3678 阅读全文
posted @ 2019-08-14 22:10
DWVictor
阅读(265)
评论(0)
推荐(0)
摘要：
题意 题解 阅读全文
posted @ 2019-08-14 22:06
DWVictor
阅读(320)
评论(0)
推荐(0)
摘要：
有N个变量X1X1~XNXN，每个变量的可能取值为0或1。 给定M个算式，每个算式形如 XaopXb=cXaopXb=c，其中 a,b 是变量编号，c 是数字0或1，op 是 and，or，xor 三个位运算之一。 求是否存在对每个变量的合法赋值，使所有算式都成立。 输入格式 第一行包含两个整数N和 阅读全文
posted @ 2019-08-14 22:03
DWVictor
阅读(301)
评论(1)
推荐(0)
浙公网安备 33010602011771号