2021年10月9日
CF1594 - D~F
摘要： D - The Number of Imposters(2-sat) 每个人分成T，F两种结点，分别代表这人是诚实的还是不诚实的。然后连边，例如$a$说$b$是T，那么就有如果$a$是T推出$b$是T，于是连一条双向边：\(aT \Leftrightarrow bT\)，以此类推。然后直接dfs跑， 阅读全文
posted @ 2021-10-09 17:54 limil 阅读(42) 评论(0) 推荐(1) 编辑