摘要: 2-Sat 入门 引入现实问题 有如下问题解决。 人物 要求一 要求二 小 A 吃芒果 吃桃子 小 B 不吃苹果 不吃葡萄 小 C 吃芒果 不吃桃子 小 D 不吃葡萄 吃桃子 问题:葡萄、苹果、桃子、芒果中,哪几种水果可以满足所有小朋友中的一个要求。 答案:芒果或芒果、桃子、葡萄或其他。 2-Sat 阅读全文
posted @ 2025-04-08 15:28 Graph_Theory 阅读(43) 评论(0) 推荐(0)
//雪花飘落效果