Tamam, öyleyse Saunder denklemini (5) gidip yeniden türetmek yerine, burada sadece ifade edeceğim. Koşul 1 ve 2 aşağıdaki eşitliği ifade eder:
∏j=1m(∑k≠ihkdjk)=(∑k≠ihk)m−1(∑k≠ihk∏j=1mdjk)
burada
djk=P(Dj|Hk,I)hk=P(Hk|I)
Şimdi ve etiketleyerek (iki veri kümesi) . Bu iki veri kümesinin hala 1 ve 2 koşullarını karşıladığına dikkat edin, bu nedenle yukarıdaki sonuç onlar için de geçerlidir. Şimdi durumunda genişliyoruz :m=2D(1)1≡D1D(1)2≡D2D3…Dmm=2
(∑k≠ihkd1k)(∑l≠ihld2l)=(∑k≠ihk)(∑l≠ihld1ld2l)
→∑k≠i∑l≠ihkhld1kd2l=∑k≠i∑l≠ihkhld1ld2l
→∑k≠i∑l≠ihkhld2l(d1k−d1l)=0(i=1,…,n)
terimi , yukarıdaki çift iki kez, bir kez ve olduğunda ve bir kez daha ve . Bu, olduğu sürece gerçekleşir . Her terimin katsayısı ve . Vardır Şimdi çünkü bu denklemlerin, aslında kaldırabilirsiniz bu denklemlerinden. Örneklemek gerekirse, , şimdi bu ve hariç tüm koşullara sahip olduğumuz anlamına gelir . Şimdi(d1a−d1b)k=al=bk=bl=aa,b≠id2b−d2aiii=1a=1,b=2b=1,a=2i=3ve şimdi bu iki koşula sahip olabiliriz (bunun en az üç hipotez olduğunu varsayarız). Böylece denklem şu şekilde yeniden yazılabilir:
∑l>khkhl(d2l−d2k)(d1k−d1l)=0
Şimdi terimlerinin her biri sıfırdan büyük olmalıdır, aksi takdirde hipotezi ile uğraşıyoruz ve cevap açısından yeniden formüle edilebilir . Böylece bunlar yukarıdaki koşullardan kaldırılabilir:hin1<nn1
∑l>k(d2l−d2k)(d1k−d1l)=0
Bu nedenle, var olan olduğu: sağlanması gerekir koşulları ve her bir durum iki "alt koşullar" bir ima biri için veya (ancak her ikisi birden değil). Şimdi için tüm benzersiz çiftlerden . Aldığımız olsaydı biri için bu çiftleri , o zaman tüm numaraları olurdu sette ve . Bunun nedeni, ilk çiftin elemanı olması ve her ek çiftin sete en az bir ek eleman getirmesidir *n(n−1)2djk=djlj=1j=2(k,l)djk=djln−1j1,…,ndj1=dj2=⋯=dj,n−1=dj,n2
Ancak, koşulu olduğundan, en azından değerine eşit veya daha büyük en küçük tamsayıyı seçmemiz gerektiğini unutmayın. veya biri için . Eğer daha sonra seçilen açısından sayısı daha büyük olan . Eğer ya da o zaman seçmelisiniz tam olarak terimler. Bu, . Sadece iki hipotezle ( ) bu gerçekleşmez. Ancak Saunder'ın makalesindeki son denklemden bu eşitlik koşulu şunları ima eder:n(n−1)212×n(n−1)2=n(n−1)4j=1j=2n>4n−1n=4n=3n−1dj1=dj2=⋯=dj,n−1=dj,nn=2
P(Dj|H¯¯¯¯¯i)=∑k≠idjkhk∑k≠ihk=dji∑k≠ihk∑k≠ihk=dji=P(Dj|Hi)
Bu nedenle, olasılık oranında:
P(D(1)1|Hi)P(D(1)1|H¯¯¯¯¯i)=P(D1|Hi)P(D1|H¯¯¯¯¯i)=1 ORP(D(1)2|Hi)P(D(1)2|H¯¯¯¯¯i)=P(D2D3…,Dm|Hi)P(D2D3…,Dm|H¯¯¯¯¯i)=1
Kanıtı tamamlamak için, ikinci koşul geçerliyse sonucun zaten kanıtlandığını ve yalnızca bir oranın 1'den farklı olabileceğini unutmayın. İlk koşul ve . Sonra katkıda veya tek katkıda bulunan olur. muhafazalarına katkıda bulunmadığında üçüncü bir yeniden etiketleme . Dolayısıyla, koşul 1 ve koşul 2 tutulduğunda olasılık oranına sadece bir veri seti katkıda bulunabilir ve ikiden fazla hipotez vardır.D(2)1≡D2D(2)2≡D3…,DmD1,D2D2D1D2
* NOT: Ek bir çift yeni terim getirmeyebilir, ancak bu 2 yeni terim getiren bir çift tarafından dengelenir. örneğin 'yi ilk olarak [+2], [+1] ve [+0] olarak kabul edin, ancak bir sonraki terim her iki için . Bu iki terim ekleyecektir [+2]. Eğer daha fazla seçim yapmamız gerekmiyor, ama "diğer" için olmayan 3 çifti seçmeliyiz . Bunlar ün ve dolayısıyla eşitlik geçerlidir, çünkü tüm sayılar küme içindedir.dj1=dj2dj1=dj3dj2=dj3djk=djlk,l∉(1,2,3)n=4j(1,2),(2,3),(1,3)(1,4),(2,4),(3,4)(1,2,3,4)