Bukti yang mengekspos struktur yang lebih dalam


35

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:

  1. Pernyataan itu harus cukup terkenal (hal yang akan diajarkan di semacam kelas pascasarjana)
  2. Seharusnya ada "standar" bukti yang tersedia di buku pelajaran atau bahan referensi standar yang "umum" diajarkan
  3. 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.

  1. 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
  2. The Schwartz-Zippel Lemma

    • "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.

Jawaban:


23

Saya tidak yakin ini yang Anda cari, karena saya telah melihat bukti "tidak umum" di buku pelajaran, tetapi: waktu O (n log n) terikat untuk quicksort.

  • "Buku Teks" bukti: mengatur hubungan perulangan acak, buktikan dengan induksi bahwa ia memiliki solusi yang diinginkan.

  • "Tidak umum" bukti: temukan rumus sederhana untuk probabilitas bahwa setiap dua elemen dibandingkan (hanya 2 / (d + 1) di mana d adalah perbedaan antara peringkat mereka dalam urutan diurutkan), dan gunakan linearitas dari harapan dan seri harmonik untuk menghitung jumlah pasangan yang diharapkan yang dibandingkan.

Bukti buku teks membutuhkan wawasan yang kurang kreatif, tetapi bukti yang tidak umum memperkenalkan teknik yang sangat berguna dalam analisis algoritma lain misalnya untuk algoritma inkremental acak dalam geometri komputasi.


3
Saya pikir ini berhasil. itu contoh yang bagus. Anda benar bahwa bukti 'tidak umum' juga ada di buku pelajaran, tetapi masih belum umum.
Suresh Venkat

1
Saya telah mengajar undergrads yang bukti "tidak biasa" selama lebih dari satu dekade.
Jeff

Saya tidak tahu apa yang dipikirkan orang lain tentang itu; tetapi Jon Bentley telah memberikan analisis runtime yang sangat elegan untuk runtime cepat yang diharapkan dari teks Kode Indah. Anda juga dapat mengakses videonya melalui topik yang sama <a href=" youtube.com/watch?v=aMnn0Jq0J-E"> di sini </ a >. Saya cukup yakin ini adalah "analisis buku" dari runtime quicksort yang diharapkan
Akash Kumar

19

Saya akan membuang satu dari kerumitan, bukti bahwa BPP ada di . Bukti buku teks adalah karena Lautemann, cukup tulis ekspresi dan tunjukkan itu bekerja dengan argumen probabilistik sederhana. Bukti yang tidak umum: Tebak fungsi keras ( untuk menebak, untuk memeriksa kekerasan) dan hubungkan ke generator Nisan-Wigderson.Σ2p


Selain itu, bukti Lautemann sangat menyederhanakan bukti Sipser (1983), yang dikaitkan oleh Sipser dengan Gacs.
MS Dousti

1
Apakah ada referensi untuk bukti "tidak biasa", atau itu cerita rakyat?
MS Dousti

2
Buktinya ada di koran Nisan-Wigderson.
Lance Fortnow

2
Ini adalah "bukti biasa", tapi apa "pemahaman baru" dari bukti ini? Saya akan berpikir bukti Lautemann lebih mencerahkan. Apakah saya melewatkan sesuatu di sini?
V Vinay

13

Kita semua tahu untuk Bernoulli ± 1 X saya harus berperilaku seperti seorang Gaussian dengan standar deviasi σ = a 2 , kan? Jadi, mari kita buktikan dengan berhubungan langsung dengan orang Gaussians! Mengambil t 2 bilangan bulat,iaiXi±1 Xiσ=a2t2

E[(iaiXi)t]=i1,,it(j=1taij)E[j=1tXij]i1,,it(j=1t|aij|)E[j=1tXij]=i1<<imr1,,rmjrj=tj rj>0(tr1,,rm)(j=1m|aij|rj)(j=1mE[Xijrj])

rj01XiGirj0rj 1

E[(iaiXi)t]E[(i|ai|Gi)t]

2i|ai|Gia2ta2tt!/(2t/2(t/2)!)a2ttt/2

Pr[|iaiXi|>λ]<2O(t)λta2ttt/2
t=λ2/(Ca22)Cexp(Ω(λ2/a22))Xi

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.