蒟蒻开始瑟瑟发抖
by Jameswood @ 2018-08-10 10:44:13
@[天上一颗蛋](/space/show?uid=56230)
2-SAT怎么会要拆四个点你在想什么=_=
by niiick @ 2018-08-10 12:36:18
@[niiick](/space/show?uid=60885) 每个菜两个属性啊
by 天上一颗蛋 @ 2018-08-10 14:19:49
@[天上一颗蛋](/space/show?uid=56230)
拆四个点建边麻烦倍时间空间又翻倍
[拆两个点不好吗=_=](https://blog.csdn.net/niiick/article/details/81430314)
~~不过你这里好像并没有看出什么问题(?)~~
~~会不会是读入编号的玄学字符错误(?)~~
by niiick @ 2018-08-10 14:28:37
@[niiick](/space/show?uid=60885) 不然我改改读入吧。。getchar有时候就是有点毒(真的没问题的吧)
by 天上一颗蛋 @ 2018-08-10 14:33:22
@天上一颗蛋,
这里是不是有问题
```cpp
add(x << 1, y << 1 | 1, 1);
add(y << 1, x << 1 | 1, 1);
```
x与y是或的关系
x作不代表y一定不做,
应该反过来y不做代表x一定要做
by niiick @ 2018-08-10 14:37:35
@[天上一颗蛋](/space/show?uid=56230)
by niiick @ 2018-08-10 14:37:45
已过, 读入的锅, 用了$getchar$, ~~最尼玛坑的是本地和在线IDE输出不一样~~
by 天上一颗蛋 @ 2018-08-10 15:09:15