bifanwen的博客

原题链接 前置知识：2 - SAT\text{2 - SAT}2 - SAT 模板 简要题意： 烹饪比赛中你需要用 nnn 种材料，每种材料有两种烧法。（所谓汉式料理和满式）然后，mmm 个评委，每个评委都有要求：对第 xxx 道菜用第 ppp 种烧法（p∈1,2p \in {1,2}p∈1,2），或者 对第 yyy 道菜用第 qqq 种烧法（q∈1,2q ...

原题链接 前置知识：强连通分量模板 简要题意： 给出若干条件，每个条件形如 “xix_ixi​ 为真 或 xjx_jxj​ 为假”，求使得所有 xix_ixi​ 赋值为 真或假 且满足每个条件。（xix_ixi​ 为真 或 xjx_jxj​ 为假，只要满足一个就满足了整个） 不可避免的是，本人第一次想到的思路竟然和 2-SAT\text{2-SAT}2-SAT 算法背道而驰！ 如果您不想看本人的思...