是的，证明 Erdős 问题与 @HarmonicMath 亚里士多德一起进行很棒，但你尝试过用它来验证 LeetCode 风格的解决方案吗？ 我们尝试过。它有效（不变推理... 还不够快）。