@[_Extroversion](/user/283416)
en...
其实还是有一些没有懂：
1. 去除掉一道矛盾的菜，不就是去除掉了里面的矛盾吗
2. 即使推出了更多，矛盾不是已经没了吗，有什么关系
3. 为什么会推出更多
by XSean @ 2023-06-05 19:08:15
@[Sean_xzx](/user/546830) 去除不了矛盾，比如“汉式猪肉或满式羊肉”，做满式猪肉能推出必做满式羊肉，而不做猪肉也能推出。
by _Extroversion @ 2023-06-05 22:10:21
@[_Extroversion](/user/283416) 猪肉向羊肉指向的边都断了，为什么还能推出
by XSean @ 2023-06-05 23:08:40
@[Sean_xzx](/user/546830) 如果每道菜有三种情况的话就不能以2-SAT的方式连边吧qwq
by _Extroversion @ 2023-06-06 18:10:48
@[_Extroversion](/user/283416) 那本题没有说不可以不拿吖
by XSean @ 2023-06-06 18:31:22
@[Sean_xzx](/user/546830) 你设每道菜三种状态的话，需要建 $3n$ 个节点，可能就没法建边、用 tarjan 求解。而做一道菜不会比不做劣，所以正解是只考虑每道菜的两种状态。总而言之，你设不做的状态就导致无法继续解题了。
by _Extroversion @ 2023-06-06 21:07:17
@[_Extroversion](/user/283416) 懂得了不做比做一定不会更优的道理，就是这个性质在图中怎么具体体现的呢
by XSean @ 2023-06-06 21:43:11
@[Sean_xzx](/user/546830) 体现就是没有不做的状态啊，那你考虑不做又该怎么连边并求解呢？
by _Extroversion @ 2023-06-07 08:39:38
@[_Extroversion](/user/283416) 嗯，大概是明白了，不过我还是要多理解一下2-SAT的原理，我可能需要再学学2-SAT,谢谢你花了这么多时间教我这个菜菜
by XSean @ 2023-06-07 09:00:22