POJ3678 Katu Puzzle
摘要：
构造2-SAT模型，跑SCC判断无解 阅读全文
posted @ 2019-06-01 17:20 autoint 阅读(144) 评论(0) 推荐(0) 编辑
POJ1236 Network of Schools
摘要：
tarjan求SCC然后缩点，根据dag每个点的度数求解 阅读全文
posted @ 2019-06-01 15:42 autoint 阅读(137) 评论(0) 推荐(0) 编辑