摘要:
拆点+网络流 拆点建图应该是很常见的套路了。。一张无向图不联通,那么肯定有两个点不联通,但是我们不知道这两个点是什么。 所以我们枚举所有点,并把每个点拆成入点和出点,每次把枚举的两个点的入点作为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 为真 那么对 阅读全文