qq_39586831的博客

题目 题目链接 解题思路 首先，一种食物只有两种做法，且互斥。因此可以断定，非满式就是汉式。 其次，一个评委的两种喜好中，要有一种满足。假设评委的喜好是iii和jjj，那么有!i−>j,!j−>i!i->j,!j->i!i−>j,!j−>i。 建立2−sat2-sat2−sat，求解即可。这里使用了tarjantarjantarjan算法求强连通分量。 复杂度O(n+m)O(n + m)O(n+m)。 代码 #include <cstdio> #includ