Majority 3-SAT题意数据范围思路代码备注
题意
假定有nnn个还未被赋值的布尔变量x1,x2,…,xnx_1,x_2,\dots ,x_nx1,x2,…,xn。对于三元组(a,b,c)(a,b,c)(a,b,c),如果是满足的,那么a,b,ca,b,ca,b,c至少有两个是取真值的,这里的a,b,ca,b,ca,b,c是布尔变量或者是布尔变量取反。
现在给定mmm个三元组,问能否给nnn个布尔变量赋值,使得这mmm个三元组都是满足的。
数据范围
1≤n,m≤100001 \leq n,m