尽管作为一个蒟蒻，我也知道01背包不能用贪心求解qwq

所以，好奇一个问题，有没有一个严格的证明，证明出贪心法不能解决01背包问题

就是，证明贪心的不存在性

qwq