2021年8月3日
弱联通分量
摘要： 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) 损坏的 阅读全文
posted @ 2021-08-03 15:58 蒟蒻orz 阅读(80) 评论(0) 推荐(0)
P4782 【模板】2-SAT 问题
摘要： 原题传送门 题目大意 有 nnn 个布尔变量 x1∼xnx_1\sim x_nx1​∼xn​，另有 mmm 个需要满足的条件，每个条件的形式都是 「xix_ixi​ 为 true / false 或 xjx_jxj​ 为 true / false」。 比如 「x1x_1x1​ 为真或 x3x_3x3 阅读全文
posted @ 2021-08-03 09:37 蒟蒻orz 阅读(8) 评论(0) 推荐(0)