Mari kita perbaiki dan bilangan bulat .
untuk setiap dan untuk setiap vektor sehingga
Saya tidak tahu apakah statament itu benar atau salah. Saya pikir itu benar.
Intuisi saya berasal dari pengamatan bahwa untuk vektor (dengan properti desidered tentang jumlah) kita memiliki ; dalam hal ini kita hanya dapat memilih subset dari set .
Dalam kasus lain kita dapat membuat subset yang baik (st jumlahnya lebih besar daripada ) menggunakan koordinat di tetapi juga, mungkin, menggunakan beberapa koordinat dari set kita bisa membuat set bagus lainnya!
Jadi, Buktikan atau temukan bug! berharap itu bisa menjadi permainan lucu untuk Anda!
Motivasi dari pertanyaan :
Misalkan Anda memiliki variabel acak , ukuran khas "berapa banyak keacakan" yang ada di adalah min-entropi
Dalam beberapa hal intuitif, entropi min adalah kasus terburuk dari Entropi Shannon yang terkenal (yaitu kasus rata - rata ).
Kami tertarik untuk menurunkan min-entropi dari variabel acak mana terdistribusi secara seragam pada set .
Secara longgar jika kita beruntung kita dapat menangkap bit yang memiliki "entropi yang baik" dan demikian juga kita jika lalu
Berapa probabilitas kita beruntung?
Masalahnya dipelajari dengan baik dan ada banyak literatur, misalnya lihat Lemma A.3. dalam Kriptografi Kunci-Publik yang Tahan Kebocoran dalam Model Pengambil-Terikat
sumber
Jawaban:
Dugaan dalam posting tidak berlaku, tetapi dugaan yang lebih lemah (sehubungan dengan lantai) yang disebutkan dalam komentar tidak berlaku. Bahkan, sesuatu yang lebih kuat berlaku.
Lemma 1. Dugaan dalam postingan tidak berlaku. Yaitu, ada contoh yang memenuhi asumsi yang diberikan di mana
Bukti. Pertimbangkan contoh dengan , , , dan . Kemudian . Untuk sisi kiri, kita memiliki karena setiap himpunan bagian yang tidak mengandung jumlah kedua 1 paling banyak 1,7, dan hanya ada dua himpunan bagian ( dan ) yang mengandung keduanya 1. Dan sisi kanan adalahn=3 c=(1,1,0.7) E=2.7/3=0.9 t=2 Et=1.8
Dugaan yang lebih lemah yang disarankan dalam komentar, yaitu lantai yang diikat lantai, , memang berlaku. Bahkan sesuatu yang sedikit lebih kuat berlaku:⌊En⌋
Lemma 2. Perbaiki , bilangan bulat , dan vektor dengan . Kemudian0<E<1 n,t>0 c∈[0,1]n ∑i∈[n]ci≥En
∣∣{S⊆[n]:∑i∈S ci≥Et}∣∣>(⌊En⌋t)+(⌊En⌋t+1)+⋯+(⌊En⌋⌊En⌋).
Bukti. Biarkan . Asumsikan WLOG bahwa . (Jika tidak, skala dan masing-masing turun dengan faktor seragam untuk membuatnya jadi. Ini mempertahankan dan tidak mengubah yang merupakan himpunan bagian setidaknya ke atau batas bawah yang diinginkan pada jumlah himpunan bagian tersebut.) Asumsikan WLOG bahwa (jika tidak, klaim berlaku sepele).a=⌊En⌋ a=En E ci ∑ici≥En Et t≤a
Pertimbangkan setiap subset dengan ukuran setidaknya , di mana . Karena dan berisi semua elemen kecuali paling banyak (masing-masing paling banyak 1), kami memiliki , seperti yang diinginkan.S⊆[n] n−d d=a−⌈at/n⌉≥0 ∑i∈[n]ci≥a S d ∑i∈Sci≥a−d=⌈at/n⌉=⌈Et⌉≥Et
Jumlah himpunan bagian adalahS
Tetapi (menggunakan ), jadi jumlah terakhir setidaknya adalah batas bawah yang diinginkan pada jumlah himpunan bagian yang baik.a−d=⌈at/n⌉≤t a/n=E<1 □
sumber