Saya menarik dalam sistem bunga matahari dan aplikasinya dalam ilmu komputer.
Diberikan Universe dan koleksi set disebut sistem k-sunflower jika untuk semua . Dan disebut sebagai inti dan disebut kelopak. k A i A i ∩ A j = Y i ≠ j Y A i - Y
Sebuah keluarga set disebut -uniform adalah semua set itu berisi memiliki elemen.s s
Erdos dan Rado membuktikan bahwa untuk keluarga seragam set , harus berisi -sunflower kelopak sistem jika .F F k | F | > s ! ( k - 1 ) s
Hasil ini disebut lemma bunga matahari dan memiliki banyak aplikasi penting.
Erdos menduga bahwa untuk setiap terdapat sebuah konstanta sehingga batas atas harus setiap keluarga -uniform . (Dugaan bunga matahari)c k c s k s F
Sayangnya, dugaan ini masih terbuka untuk .
Inilah yang ingin saya ketahui.
Jika kita membatasi jumlah elemen di alam semesta Misalkan= . Kemudian masalahnya ternyata:| U | kamu
Mengingat alam semesta dengan elemen, dan keluarga -uniform set yang mengandung unsur-unsur di , kita seharusnya dapat menemukan urutan konstanta , , , ... sehingga setiap keluarga -uniform berisi -sunflower sistem jika dan .s F U c 1 c 2 c 3 s F 3 | F | > C s i | U | = i
Selain itu, jika kita bisa membuktikan bahwa urutan konvergen ke konstanta , maka tampaknya kita dapat membuktikan dugaan bunga matahari. c
Tetapi saya tidak dapat menemukan hasil seperti itu. Mungkin pendekatan ini terlalu bodoh atau terlalu sulit.
Bisakah salah satu memberikan keadaan seni lemma bunga matahari dan dugaan (versi terbatas juga OK).
Ini beberapa yang bisa saya berikan. Ada satu bab dalam buku Junka The Extremal Combinatorics.
Makalah di atas adalah salah satu aplikasinya (versi terbatas)
sumber
Jawaban:
yang Erdos bunga matahari dugaan tampaknya sangat sulit setelah sekarang lebih dari setengah abad (!) menjadi terbuka. Anda telah membuat daftar beberapa referensi terbaik dan terbaru mengenai Subj yang akan sangat sulit dikalahkan (Alons paper terbaru, buku Juknas tentang kombinatorik). kertas Alon sangat terkenal karena baru menghubungkan dugaan dengan batas bawah pada perkalian matriks, area yang telah melihat kemajuan terobosan baru dalam hasil Williams. [4]
Anda dapat menemukan beberapa perawatan lebih lanjut, terutama aplikasi untuk teori sirkuit ekstrem (sirkuit batas bawah pertama ditemukan oleh Razborov & diperluas oleh orang lain), dalam buku Jukna yang luar biasa [1].
satu ref baru-baru ini terkenal / terkait sepanjang garis-garis ini tampaknya tidak-begitu-dikenal-atau-dikutip sejauh ini adalah [2] oleh Rossman dengan arah aplikasi baru (grafik acak Erdos-Renyi atas sirkuit monoton) dan yang membuktikan hasil yang diperluas dan / atau lebih kuat pada bunga matahari "semu". makalah ini merupakan hasil dari tesis Phd-nya [3]. dari kertas abstrak
[1] Kompleksitas fungsi Boolean, kemajuan dan perbatasan
[2] Kompleksitas Monoton k-Clique pada Grafik Acak (2009) Rossman
[3] Kompleksitas kasus rata-rata untuk mendeteksi klik-klik oleh Rossman
[4] Komentar tentang terobosan Williams pada produk matriks blog RJ Liptons Godels Lost Letter yang lebih rendah terikat
[5] Materi Lengkap tentang Bunga Matahari
sumber