先象征性地描述一下问题：一组（或者一个）东西有且仅有两种选择，要么选这个，要么选那个，还有一堆的约束条件先象征性地描述一下问题：一组（或者一个）东西有且仅有两种选择，要么选这个，要么选那个，还有一堆的
阅读背景：
2-SAT问题的解决方案
来源：互联网
分享到：
