摘要: #210. 【UER #6】寻找罪犯 链接:http://uoj.ac/problem/210 想法:2-sat模型。每个人拆点,分别表示为犯人、非犯人。每个句供词拆点,分别表示真话、假话。供词与对应人的点连双向边。假如$x_i$非犯人,那么连向他的所有真供词。一个假供词意味着至少一个犯人以及这个人 阅读全文
posted @ 2017-06-11 21:17 Oncle_Ha 阅读(193) 评论(0) 推荐(0) 编辑