关于这个题意，谢谢啦

XSean @ 2023-05-31 16:40:17

by XSean @ 2023-06-05 19:08:15

@_Extroversion

en... 其实还是有一些没有懂：

1. 去除掉一道矛盾的菜，不就是去除掉了里面的矛盾吗
2. 即使推出了更多，矛盾不是已经没了吗，有什么关系
3. 为什么会推出更多

by _Extroversion @ 2023-06-05 22:10:21

@Sean_xzx 去除不了矛盾，比如“汉式猪肉或满式羊肉”，做满式猪肉能推出必做满式羊肉，而不做猪肉也能推出。

by XSean @ 2023-06-05 23:08:40

@_Extroversion 猪肉向羊肉指向的边都断了，为什么还能推出

by _Extroversion @ 2023-06-06 18:10:48

@Sean_xzx 如果每道菜有三种情况的话就不能以2-SAT的方式连边吧qwq

by XSean @ 2023-06-06 18:31:22

@_Extroversion 那本题没有说不可以不拿吖

by _Extroversion @ 2023-06-06 21:07:17

@Sean_xzx 你设每道菜三种状态的话，需要建 3n 个节点，可能就没法建边、用 tarjan 求解。而做一道菜不会比不做劣，所以正解是只考虑每道菜的两种状态。总而言之，你设不做的状态就导致无法继续解题了。

by XSean @ 2023-06-06 21:43:11

@_Extroversion 懂得了不做比做一定不会更优的道理，就是这个性质在图中怎么具体体现的呢

by _Extroversion @ 2023-06-07 08:39:38

@Sean_xzx 体现就是没有不做的状态啊，那你考虑不做又该怎么连边并求解呢？

by XSean @ 2023-06-07 09:00:22

@_Extroversion 嗯，大概是明白了，不过我还是要多理解一下2-SAT的原理，我可能需要再学学2-SAT,谢谢你花了这么多时间教我这个菜菜