![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
2-SAT
文章平均质量分 87
蘑菇小哲
在通往梦想的道路上奋力潜行
展开
-
2-SAT
点击打开链接序言 最近花了一点心思研究2-sat模型,看了很多论文博客等等,也在POJ上做了一点题。其实这个东西也还挺好玩的,当然,前提是每道题你都有认真分析,认真想清楚模型的意义,搞明白为什么可以这样,而不是简单的知道怎样做,就套上一个模板了事,那样,是不是也太糟蹋这门科学了。 关于2-sat,基本上所有人都会推荐两个资料:转载 2015-10-11 12:22:49 · 6838 阅读 · 8 评论 -
HDU 1824 Let's go home (2-SAT判定)
Let's go homeTime Limit: 10000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 1616 Accepted Submission(s): 661Problem Description小时候,乡愁是一枚小原创 2015-08-19 16:22:25 · 894 阅读 · 0 评论 -
POJ 3683 Priest John's Busiest Day
Priest John's Busiest DayTime Limit: 2000MS Memory Limit: 65536KTotal Submissions: 8715 Accepted: 2981 Special JudgeDescriptionJohn is the only priest in his原创 2015-10-13 19:32:52 · 342 阅读 · 0 评论