摘要：传送门 题目看一半："woc 裸的 $2-sat$ 白给??" 看完以后："...???" 如果没有 $f$ 的限制，那就是个白给的 $2-sat$ 问题，但是现在有这个限制... 直接枚举 $f$ 显然不行，考虑把 $f$ 也纳入我们构建的 $2-sat$ 模型 对于某个限制在 $[l,r]$ 的 阅读全文

摘要：传送门 显然的 $2-sat$ 问题，甚至不用输出方案 每种菜不是汉式就是满式，分成两个节点 $i,n+i$ 分别表示满式和汉式 对于限制 $m_i,m_j$，如果 $i$ 为汉式则 $j$ 一定要为满式，如果 $j$ 为汉式 $i$ 一定为满式 所以连边 $(n+i,j),(n+j,i)$ 其他情 阅读全文