Ya, membuktikan masalah Erdő dengan @HarmonicMath Aristoteles itu bagus, tetapi sudahkah Anda mencoba menggunakannya untuk memverifikasi solusi gaya LeetCode? Kami punya. Ini berfungsi (inferensi invarian adalah... belum cepat).