Saya tertarik pada contoh konstruksi dalam teori kompleksitas yang lebih baik daripada konstruksi acak.
Satu-satunya contoh konstruksi yang saya tahu adalah di bidang kode koreksi kesalahan. Kode aljabar-geometri lebih baik dalam beberapa rentang parameter daripada kode acak.
Orang dapat dengan mudah membuat contoh buatan seperti itu. Saya tertarik pada contoh-contoh seperti kode geometri aljabar, di mana mudah membuat konstruksi acak dan tidak jelas bagaimana melakukan yang lebih baik.
Jawaban:
sumber
sumber
sumber
Secara umum, konstruksi acak dan konstruksi serakah mencapai batas yang sama (misalnya, kode koreksi kesalahan). Suatu ketika saya mendengar ceramah oleh Lovasz di mana dia mengatakan bahwa pilihan serakah dan pilihan acak pada dasarnya sama. Jadi, setiap konstruksi yang mengalahkan konstruksi serakah harus memberikan jawaban untuk pertanyaan Anda. Sebagai contoh cepat, konstruksi yang mencapai kapasitas grafik Sperner adalah jenis ini. Seperti yang dikatakan Peter Shor, sebenarnya ada banyak contoh dalam kombinatorik ekstrem.
sumber