随笔分类 -  图论:2-sat

摘要:题意 题解 阅读全文
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)
摘要:POJ 3207 C++代码一 C++代码二 点击 阅读全文
posted @ 2019-08-13 17:32 DWVictor 阅读(259) 评论(0) 推荐(0)