Bukti standar ikatan Chernoff (dari buku Acak Algoritma ) menggunakan Markov ketidaksetaraan dan fungsi menghasilkan momen, dengan sedikit ekspansi Taylor dilemparkan. Tidak ada yang terlalu sulit, tetapi agak mekanis.
Tetapi ada bukti terikat Chernoff lainnya yang mengekspos struktur yang lebih dalam mendorong hasilnya. Misalnya, ada versi informasi-teoretis yang menggunakan metode tipe, dicontohkan oleh makalah Impagliazzo dan Kabanets ini , serta tulisan singkat ini oleh Sanjoy Dasgupta . Bukti terakhir ini lebih "intuitif" karena memberikan generalisasi hasil standar, serta menjelaskan dari mana asalnya istilah lucu dalam eksponen (ini adalah KL-divergence).
Apa contoh bagus dari hal-hal seperti itu? Agar lebih konkret, berikut aturannya:
- Pernyataan itu harus cukup terkenal (hal yang akan diajarkan di semacam kelas pascasarjana)
- Seharusnya ada "standar" bukti yang tersedia di buku pelajaran atau bahan referensi standar yang "umum" diajarkan
- Seharusnya ada bukti alternatif yang tidak begitu terkenal, TIDAK diajarkan secara umum, dan bisa membuktikan pernyataan yang lebih umum atau menghubungkan pernyataan itu dengan struktur matematika yang lebih dalam.
Saya akan mulai dengan dua contoh.
Kabel terikat
- "buku teks" bukti: markov ketimpangan, fungsi menghasilkan momen, ekspansi Taylor (MR)
- Bukti yang tidak umum dan berwawasan luas: metode tipe, eksponen ekor yang melibatkan KL-divergensi
-
- "buku teks" bukti: kasus dasar yang melibatkan polinomial univariat. Induksi pada sejumlah variabel
- Bukti "tidak umum": argumen geometris melalui Dana Moshkovitz (dan Per Vognsen )
Tolong, satu contoh per jawaban.
ps Saya tidak perlu menyiratkan bahwa bukti yang tidak biasa harus diajarkan: bukti langsung seringkali lebih mudah bagi siswa. Tetapi dalam arti bahwa "bukti membantu kita memahami", bukti alternatif ini sangat membantu.