2019年4月26日
[JSOI2010]满汉全席 2-SAT
摘要： https://www.luogu.org/problemnew/show/P4171 意识到图中只有两种不同的菜系：满和汉 并且检查员类似于一个约束，可以发现这就是一个2-sat模型，满和汉分别对应true和false 由于只是检查可行性，只需要判断存在点的true个false存在同一个强连通分量 阅读全文
posted @ 2019-04-26 14:28 Hugh_Locke 阅读(185) 评论(0) 推荐(0) 编辑