Biarkan menjadi beberapa set karakter terbatas hingga ukuran tetap. Biarkan menjadi string di atas . Kami mengatakan bahwa substring tak kosong dari adalah ulangi jika untuk beberapa string yang .
Sekarang, pertanyaan saya adalah apakah yang berikut ini berlaku:
Untuk setiap , terdapat beberapa sedemikian rupa sehingga untuk setiap string melebihi dengan panjang setidaknya , berisi setidaknya satu pengulangan.
Saya telah memeriksa ini di atas alfabet biner, dan ini cukup mudah untuk kasus itu, tetapi alfabet ukuran 3 sudah agak lebih sulit untuk diperiksa, dan saya ingin bukti untuk tata bahasa besar yang sewenang-wenang.
Jika dugaan di atas benar, maka saya dapat (hampir) menghapus permintaan untuk memasukkan string kosong dalam pertanyaan saya yang lain .