2017年7月6日
POJ 3678 Katu Puzzle（2-SAT，合取范式大集合）
摘要： Katu Puzzle Time Limit: 1000MS Memory Limit: 65536K Total Submissions: 9987 Accepted: 3741 Description Katu Puzzle is presented as a directed graph G( 阅读全文
posted @ 2017-07-06 20:29 Blackops 阅读(323) 评论(0) 推荐(0)
POJ 2723 Get Luffy Out（2-SAT+二分答案）
摘要： Get Luffy Out Time Limit: 2000MS Memory Limit: 65536K Total Submissions: 8851 Accepted: 3441 Description Ratish is a young man who always dreams of be 阅读全文
posted @ 2017-07-06 14:12 Blackops 阅读(235) 评论(0) 推荐(0)