@[Sean_xzx](/user/546830) 如果你少做一道菜，肯定比都做要劣
by dbxxx @ 2023-05-31 18:05:50
@[dbxxx](/user/120868) 这个性质直观感觉没问题，但是还想问一个问题：就是这个性质在图中是怎么体现的？就是我想不明白如果有一个菜在这个强连通块内是矛盾的，为什么不直接不选这个菜
by XSean @ 2023-05-31 18:36:00
@[Sean_xzx](/user/546830)
矛盾的意思是，假设牛肉这里矛盾，意味的是：满牛肉和汉牛肉，无论做哪个都会导致不合法。
这其实意味的是，只有同时做满牛肉和汉牛肉（虽然在本题中不允许）才能满足条件。
而同时不做满牛肉和汉牛肉是无法解决矛盾的。
by dbxxx @ 2023-05-31 18:39:58
@[dbxxx](/user/120868) 嗯，前两句话懂了，第三句话能帮忙讲细一点吗，谢谢了
by XSean @ 2023-05-31 18:42:58
@[Sean_xzx](/user/546830) 等下让我想想
by dbxxx @ 2023-05-31 18:43:25
@[dbxxx](/user/120868)
假设我们现在有一个评委，要求满牛肉和汉猪肉。那么你建边是怎么建的？
- 汉牛肉推出汉猪肉
- 满猪肉推出满牛肉
如果牛肉和猪肉只能汉或者满，那么上面两条性质已经和评委的要求等价；但是如果你牛肉和猪肉还能不做，那么事实上，你还得说明：
- 不能不做牛肉。
- 不能不做猪肉。
这样才能和评委的要求等价。
所以如果你加了一种不烹饪的状态，评委的条件和你建立的边已经不等价了。而且你建立的边的条件是要弱于评委的要求，这意味着你即使构造了一个满足这个图的条件，也不能满足评委要求。
by dbxxx @ 2023-05-31 18:59:39
@[dbxxx](/user/120868) 那意思是不是还是说评委要求的菜是必须要做的。那其实不是必须要做的话，这种方法就做不了了对吧？不知道我的理解是不是对的
by XSean @ 2023-05-31 20:37:12
@[Sean_xzx](/user/546830) 如果不是必须要做也能做，因为我们可以发现做了肯定比不做要优，所以直接按必须做处理即可
by dbxxx @ 2023-05-31 20:49:30
@[dbxxx](/user/120868) 完了又不懂了，我主要是觉得当一个菜是矛盾时我直接不做不就行了，那为什么做了比不做更优
by XSean @ 2023-05-31 21:11:35
@[Sean_xzx](/user/546830) 不做一道菜相当于不用汉式也不用满式，照常能推出来“不用汉式”能推出的条件，而且能推出更多
by _Extroversion @ 2023-06-05 14:37:47