den seçilen tam sayılarının belirgin farklılıklarının sayısı


21

Araştırmam sırasında aşağıdaki sonuçla karşılaştım.

limnE[#{|aiaj|,1i,jm}n]=1
burada m=ω(n) ve a_1, \ cdots, a_m [n] 'a1,,am den rasgele seçildi .[n]

Bir referans / doğrudan bir kanıt arıyorum.


MO üzerinde crossposted


1
Eğer m=n , alabileceğiniz en fazla farklı farkın sayısı m(m1)/2<n/2 . Bu yüzden, bunun gerçekleşmesi için gerçekten \ sqrt {n} ' den daha hızlı büyümek için m’ye ihtiyacınız var . Ne yapacağını bir numara olma olasılığını hesaplamak için deneyin d olduğunu değil fark d = | A_i - a_j | . mndd=|aiaj|
Peter Shor

@Shor: teşekkürler, soruyu güncelledim. Ve gerçekten de E(xi)=E(xi) 'den beri belirli bir farkın hesaplanması daha kolaydır d .
Zhu Cao

1
@ ZhuCao, " [a , m tam sayılarını [1, n] arasından rastgele a_m seç" "derken, tam olarak hangi dağılımı kastediyorsunuz? Üniforma \ {1, \ dots, n \} üniforması olduğunu sanıyordum . a1,...,am[1,n]{1,,n}
usul

1
@Andras hayır, durum böyle değil. Örneğin, eğer 1 sayısı seçilmezse1 (ki bu 0'dan sınırlı olasılıkla olur) o zaman n-1 farkı n1görünemez ve Dn<n . Fakat neden böyle olması gerekiyor? Sadece D_n / n beklentisinin Dn/n1'e Dn , D_n'in yüksek olasılıkla 1'e eşit olması sorusu sorulmuyor .
James Martin,

2
Lütfen birden fazla Stack Exchange sitesinde çapraz posta göndermeyin. Site politikamız eşzamanlı çapraz gönderimi yasaklıyor: en azından bir hafta bekle diyor. Ve iyi bir cevap alamazsanız, her zaman, taşınmasını istemek için moderatör dikkatini işaretleyebilirsiniz.
DW,

Yanıtlar:


7

M = \ omega (\ sqrt {n}) verildiğini varsayalım m=ω(n).

Herhangi bir düzeltildi . ile ele alacağız . Amaç, arasındaki yüksek olasılıkla , farklar kümesine dahil edildiğini göstermektir.r [ 1 , n ] r < ( 1 - ϵ ) n n rϵ>0r[1,n]r<(1ϵ)nnr

Önce kümesini göz önünde bulundurun . Sayısı ile şekildedir yaklaşık beklentisi ile binom olan . Bu nedenle, yüksek olasılıkla , bu tür sayısı en az , ki bu da . Sonra (iddia, "egzersiz olarak bırakıldı", göstermesi zor değil), gibi yüksek olasılıkla , kümesinin en az büyüklüğü vardır . Bu "iyi etkinlik" için yazalım , bu .i i < m / 2 a i < ε n ε m / 2 N ∞ iken I ε m / 4 ω ( A={ai:i<m/2}[1,ϵn]ii<m/2ai<ϵnϵm/2niϵm/4nAω(n)nA G| A| nG|A|n

Gerçekten de varsayalım yani tutan en azından vardır belirgin değerleri az için, . Her bir değeri için, orada bir değerdir Not tam olarak daha büyüktür. Şimdi değerlerini dikkate için . Bu bağımsız ve her biri olasılığına sahiptir, en az mesafe olma grubu bir elementinden . farklılığının üretilme olasılığı enG biriεni<m/2k[1,n]rbiriım/2naiϵni<m/2k[1,n]raiim/2 rAr(1-1/n/n=1/nrAr nm=ω((11/n)m/2bu, beri 0'a olarak gider . Gerçekten de, sahip olduğu ancak hiçbir büyüklüğü farkının bulunma olasılığı kadar eğilimindedir .nGrnm=ω(n)Grn

Bu nedenle (üniform olarak ), , farklılıklar kümesine dahil olma olasılığı, kadar 1 e eğilimindedir . Dolayısıyla, beklentinin doğrusallığını kullanarak, Yana keyfidir arzu edildiği gibi, sınır 1'dir.r n lim inf n E [ # { | a i - a j | , 1 i , j m }r<(1ϵ)nrnε

lim infnE[#{|aiaj|,1i,jm}n]1ϵ.
ϵ

1
Her bir farkı, ifadesinde bağımsız olarak ele alıyor musunuz ve öyleyse haklı mı? 1(1ϵ/n)ω(n)
usul

Ben o cevapsız nerede Ah @James, şimdi gördüğüm . Teşekkür ederim. n
Daniel Soltész

@ usul: gerçekten, özür dilerim, benim argüman özensiz ve eksikti. Genişlettim - sanırım şimdi su tutuyor.
James Martin,
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.