摘要：
Going from u to v or from v to u (poj2762)Going \ from \ u \ to \ v \ or \ from \ v \ to \ u \ (poj2762)Going from u to v or from v to u (poj2762) 损坏的 阅读全文
摘要：
原题传送门 题目大意 有 nnn 个布尔变量 x1∼xnx_1\sim x_nx1∼xn，另有 mmm 个需要满足的条件，每个条件的形式都是 「xix_ixi 为 true / false 或 xjx_jxj 为 true / false」。 比如 「x1x_1x1 为真或 x3x_3x3 阅读全文