Sebagai tindak lanjut dari pertanyaan saya sebelumnya , yang diselesaikan oleh Hsien-Chih Chang, berikut adalah upaya lain untuk menemukan generalisasi yang sesuai dari teorema Ramsey. (Anda tidak perlu membaca pertanyaan sebelumnya; posting ini mandiri.)
Parameter: bilangan bulat diberikan, dan kemudian dipilih menjadi cukup besar. Terminologi: -subset adalah subset dari ukuran .m m
Biarkan . Untuk setiap subset , tetapkan warna .k S ⊂ B f ( S ) ∈ { 0 , 1 }
Definisi:
- adalah monokromatik jika untuk semua -subsets dan .k S ⊂ X S ′ ⊂ X
- adalah beragam jika sehingga dan untuk semua saya .x i < x i + 1 x ii
Misalnya, jika , maka beragam tetapi tidak. Perhatikan bahwa himpunan bagian dari himpunan yang beragam belum tentu beragam.{ 12 , 15 , 23 , 32 , 39 } { 12 , 15 , 25 , 32 , 39 }
Sekarang teorema Ramsey mengatakan bahwa tidak peduli bagaimana kita memilih , ada monokromatik -subset . Dan jelas itu adalah sepele untuk menemukan beragam -subset .n X ⊂ B n X ⊂ B
Pertanyaan: apakah ada selalu beragam dan monokromatik -subset ?X ⊂ B
Sunting: Hsien-Chih Chang menunjukkan bahwa klaim tersebut salah untuk perdana , tetapi bagaimana dengan komposit ? Dalam aplikasi saya, saya akan memiliki banyak kebebasan dalam memilih nilai yang tepat dari , selama saya dapat menjadikannya besar secara sewenang-wenang. Mereka bisa menjadi kekuatan bilangan prima, produk dari bilangan prima, atau apa pun yang diperlukan untuk membuat klaim itu benar.d d ≪ k ≪ n