Hãy có một số tập hữu hạn các ký tự của kích thước cố định. Đặt là một chuỗi trên . Chúng tôi nói rằng một chuỗi con không trống của là lặp lại nếu cho một số chuỗi .
Bây giờ, câu hỏi của tôi là liệu sau đây giữ:
Với mỗi , tồn tại một số sao cho với mỗi chuỗi trên có độ dài ít nhất , chứa ít nhất một lần lặp lại.n ∈ N α Σ n α
Tôi đã kiểm tra cái này qua bảng chữ cái nhị phân, và điều này khá dễ đối với trường hợp đó, nhưng một bảng chữ cái cỡ 3 thì khó kiểm tra hơn một chút, vì tôi muốn một bằng chứng cho các ngữ pháp lớn tùy ý.
Nếu phỏng đoán trên là đúng, thì tôi có thể (gần như) loại bỏ nhu cầu chèn chuỗi rỗng vào câu hỏi khác của tôi .