2019年11月7日
蒟蒻林荫小复习——2-SAT的染色法求最小答案序列
摘要： 众所周知，2—SAT是一个很冷门的模型（冷门到连百度百科好像都没有收录），但又是一种很有用的思想，比如[NOI2017]游戏,原题是NPC问题，属于3—SAT的范畴，但是如果用一些骚操作（用DFS先确定一种车车和道路）。 话不多说，回正题（不知道什么是2-SAT模型的童鞋们建议先百度一下，学会TAR 阅读全文
posted @ 2019-11-07 19:50 HA-SY林荫 阅读(264) 评论(1) 推荐(1) 编辑