当前标签：2-SAT

POJ - 3678 - Katu Puzzle（2SAT）
YDDDD 2020-01-05 19:42 阅读:195 评论:0 推荐:0
POJ - 3683 - Priest John's Busiest Day（2SAT，输出路径）
YDDDD 2020-01-05 17:06 阅读:220 评论:0 推荐:0
POJ - 3207 - Ikki's Story IV - Panda's Trick(2-SAT)
YDDDD 2020-01-04 18:05 阅读:133 评论:0 推荐:0
UVALive - 3211 - Now or later（2-SAT，二分）
YDDDD 2020-01-02 20:32 阅读:222 评论:0 推荐:0
HDU - 3062 - Party(2-SAT)
YDDDD 2020-01-02 14:27 阅读:226 评论:0 推荐:0