摘要：
拆点+网络流 拆点建图应该是很常见的套路了。。一张无向图不联通，那么肯定有两个点不联通，但是我们不知道这两个点是什么。 所以我们枚举所有点，并把每个点拆成入点和出点，每次把枚举的两个点的入点作为s和t（这样方便，当然也可以把第一个点的出点当成s，第二个点的入点当成t，但其实我们把s和t的入点和出点之 阅读全文
摘要：
2 SAT问题 这是一道2 SAT的模板题。对于2 SAT问题的每一个条件，我们需要把他们转化成可接受的条件。即"若变量A的赋值为x,则变量B的赋值为y"，其中x,y均等于0或1。 对于每个条件我们连一条有向边，下面对于本题给出的或举例。 假如题目的限制条件为 X=1 or Y = 1 为真 那么对 阅读全文