Masalah kombinatorial sederhana (?) Yang lucu!

11

Mari kita perbaiki 0<E<1 dan bilangan bulat t>0 .

untuk setiap n dan untuk setiap vektor c¯[0,1]n sehingga i[n]ciE×n

Ac¯:=|{S[n]:iS ciE×t}|(E×nt)

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 .c¯{0,1}nAc¯=(E×nt){i | ci=1}

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!E×t{i | ci>E}{i | ciE}

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-entropiX{0,1}nX

H(X)=minx{log(Pr[X=x])}

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 .(Z=XY|Y)Y{y | iyi=t}

Secara longgar jika kita beruntung kita dapat menangkap bit yang memiliki "entropi yang baik" dan demikian juga kita jika lalu XH(X)EnH(Z|Y)Et

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

AntonioFa
sumber
3
Saya bingung dengan istilah . Karena belum tentu berupa bilangan bulat, bagaimana ini didefinisikan? (E×nt)E×n
Dave Clarke
2
Apa motivasinya?
Anthony Labarre
6
@Dave Clarke, pendekatan standar adalah untuk mendefinisikannya dalam hal fungsi gamma atau (mengingat bahwa adalah bilangan bulat) sebagai. tk=0t1(Enk)/t!
Peter Taylor
2
Koefisien binomial dapat digeneralisasikan ke argumen non-integral (halaman Wikipedia memberikan beberapa detail). Meskipun demikian, mungkin tidak diperlukan dalam kasus ini: Perhatikan bahwa cukup untuk membuktikan ini dalam kasus ekstrem di mana jumlah sama dengan (yaitu adalah rata-rata mereka). ciE×nE
Klaus Draeger
1
@Dave: Saya minta maaf atas ketidaktepatan saya, dari sudut pandang saya, Anda dapat memilih . En
AntonioFa

Jawaban:

2

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

|{S[n]:iS ciEt}|<(Ent).

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=3c=(1,1,0.7)E=2.7/3=0.9t=2Et=1.8

|{S[3]:iS ci1.8}|=2
S{1,1}{1,1,0.7}(2.72)=2.71.7/2=2.295>2.   

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 . Kemudian 0<E<1n,t>0c[0,1]ni[n]ciEn

|{S[n]:iS ciEt}|>(Ent)+(Ent+1)++(EnEn).

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=Ena=EnEciiciEnEtta

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]ndd=aat/n0i[n]ciaSdiSciad=at/n=EtEt

Jumlah himpunan bagian adalahS

(nnd)+(nnd+1)++(nn1)+(nn)

=(nd)+(nd1)++(n1)+(n0)

>(ad)+(ad1)++(a1)+(a0)    (menggunakan )n>a

=(aad)+(aad+1)++(aa1)+(aa).

Tetapi (menggunakan ), jadi jumlah terakhir setidaknya adalah batas bawah yang diinginkan pada jumlah himpunan bagian yang baik. ad=at/nta/n=E<1  

Neal Young
sumber