随笔分类 -  2-SAT

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 阅读(318) 评论(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 阅读(229) 评论(0) 推荐(0)
POJ 3648 Wedding（2-SAT的模型运用+DFS | Tarjan）
摘要：Wedding Time Limit: 1000MS Memory Limit: 65536K Total Submissions: 10427 Accepted: 3170 Special Judge Description Up to thirty couples will attend a w 阅读全文
posted @ 2017-07-05 00:56 Blackops 阅读(197) 评论(0) 推荐(0)
POJ 3683 Priest John's Busiest Day（2-SAT+方案输出）
摘要：Priest John's Busiest Day Time Limit: 2000MS Memory Limit: 65536K Total Submissions: 10010 Accepted: 3425 Special Judge Description John is the only p 阅读全文
posted @ 2017-07-04 12:25 Blackops 阅读(288) 评论(0) 推荐(0)
hihoCoder 1467 2-SAT·hihoCoder音乐节（2-SAT模版）
摘要：#1467 : 2-SAT·hihoCoder音乐节 #1467 : 2-SAT·hihoCoder音乐节 时间限制:10000ms 单点时限:1000ms 内存限制:256MB 描述 hihoCoder音乐节由hihoCoder赞助商大力主办，邀请了众多嘉宾和知名乐队参与演出。 音乐会分为上午、下 阅读全文
posted @ 2017-03-05 15:32 Blackops 阅读(276) 评论(0) 推荐(0)
HDU 1824 Let's go home（2-SAT+Tarjan）
摘要：Let's go home Time Limit: 10000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 1940 Accepted Submission(s): 821 阅读全文
posted @ 2017-02-25 14:00 Blackops 阅读(278) 评论(0) 推荐(0)