比如说AGC032E，看到以后就尝试最大值加最小值配对，结果发现要取模，不行。于是开始乱试，乱搞一通后十分不严谨地证出了结论，然后AC......

几乎所有贪心题，除了经典的或者非常简单的（比如说区间选点），几乎都没办法给出严谨的证明，这样有事吗？