• 2020 年 8 月 15 日
• 筆記

什么是2-SAT 2-sat问题是一个逻辑互斥问题，与我们小时候做过的一道数学题一样。 A,B,C三个人中有两个女生，其 …