摘要：转载自：https://blog.csdn.net/jarjingx/article/details/8521690序言 最近花了一点心思研究2-sat模型，看了很多论文博客等等，也在POJ上做了一点题。其实这个东西也还挺好玩的，当然，前提是每道题你... 阅读全文