2025年4月7日
2-SAT学习笔记
摘要： 2-SAT 2-SAT 是一种满足性问题，其中 SAT 代表 satisfiability。 也就是说有一些限制，需要构造出答案使得所有的限制都满足。可能无解。 结合一下生活情景，你是否在逻辑推理的时候遇到这种题： 有 A,B,C,D,E,F,G 七个人，每个人要么去吃饭，要么就不去。请根据一下限制 阅读全文
posted @ 2025-04-07 14:08 wusixuan 阅读(64) 评论(0) 推荐(0)