Araştırmam sırasında aşağıdaki sonuçla karşılaştım.
burada ve a_1, \ cdots, a_m [n] ' den rasgele seçildi .
Bir referans / doğrudan bir kanıt arıyorum.
Araştırmam sırasında aşağıdaki sonuçla karşılaştım.
burada ve a_1, \ cdots, a_m [n] ' den rasgele seçildi .
Bir referans / doğrudan bir kanıt arıyorum.
Yanıtlar:
M = \ omega (\ sqrt {n}) verildiğini varsayalım .
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
Ö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 ω ( √n→∞A √ G| A| ≥ √
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ığı en√ biriεni<m/2k∈[1,n]rbiriı≥m/2 √ rAr(1-1/ √ n→∞m=ω( √bu, 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 .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 }ε