八月 06, 2021

2-SAT 学习

构图对于变量$x_i$​​​,节点$\lnot i$​​表示$x_i=False$​​,节点$2i$​​表示$i$...