随笔分类 - 图论-2-sat
摘要：按解决顺序排列 目录FAIDHECKJGB F 二分答案ans，放最小的前ans个bi（变成必须放完） 因为bi=2^k，所以小的放了可能会拆散大的空间，大的把小的地方占了的话小的可以塞其他地方，所以先放大的 然后暴力能放则放，最多log次指针回到开头 所以一次求解O(nlogn)，总复杂度log^
阅读全文
摘要：记得好像写了，但找了一下发现没写，于是写一下 2-sat 用于求 p→q 的蕴含关系集合的一组解（或判断无解） 流程：先构造蕴含关系集合，谁成立/不成立时另一个必须怎么样 对每个命题p建p和非p（p'），每个蕴含关系p→q连边 (p,q), (q',p')，一定要有逆否的反向边 然后 ① 跑tarj
阅读全文
