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