Loading

摘要: H - Harder Satisfiability 2-sat 好题,主要思路是先按照 2-sat 的方式建边,要求没对都必须是 \(1\),注意到还有所有和存在的限制,对于这些限制,仔细研究后不难发现,当一个所有能走到另一个所有,并且一个所有和一个编号比起小的存在在一个 dcc 里面的时候,亦或者 阅读全文
posted @ 2022-03-10 21:58 hyl天梦 阅读(42) 评论(0) 推荐(0) 编辑