Neden ikili aramaya ikili arama denir?

Birkaç olası açıklama duydum, bu yüzden güvenilir bir referans istiyorum.

Güncelleme 05.19: Soru ile ilgileniyorum çünkü öğrencilerimden biri tezinde adının aşağıdaki açıklamadan geldiğini yazdı (1). Şimdiye kadar bunun açıklamadan geldiğini düşündüm / duydum (2). Hem tezinde yanlış olan şeylere izin verdiğim için hem de doğru olursa onu kaldırmasını söylerken kendimi kötü hissederdim.

(1) aralığında bir tamsayı aramayı düşünün . Biz kullanarak bulabilirsiniz adımında sorarak soruları ikili sayının rakamı.$[0,2^{n-1}]$$n$$i$$i^{th}$

Biz bir arama alanı varsa (2) elemanları, biz tekrar tekrar uzayda kalan kısmını bölmek sorularla bilinmeyen bir unsuru bulabilirsiniz ikisi .$2^n$

Ve evet, (2) 'nin (1) ile aynı algoritmayı verebileceğini biliyorum ama buradaki nokta bu değil. (2) daha genel sorunlar için de uygulanabilir.

Açıklama (2) iyi bir açıklamadır.

(2), ikisinin daha iyi bir açıklamasıdır, çünkü sadece belirli bir örnek için değil, genel olarak ikili aramanın tüm kullanımları için geçerlidir. (1) bunu düşünmek için mantıksız bir yol değildir - (2) kadar genel veya tam değildir.

Öğrencinin bu ifadeyi düzeltmesini istemek zorunda olduğunuzu düşünmüyorum. Bir öğrencinin tezinde açıklama (1) yapması utanç verici olmaz, bu yüzden kendinizi kötü hissetmenize gerek yoktur. Ancak onlara bir şey öğretmek istiyorsanız, onlara açıklama (2) ve ikili aramanın nasıl daha genel olduğu ve "ikili arama" adının genel algoritma için neden makul olduğu hakkında bilgi verebilirsiniz. Ama bu küçük bir nokta ve şeyleri olduğu gibi bırakırlarsa sorunlu veya utanç verici olarak göreceğim bir şey değil.

Wikipedia'ya göre, ikili arama bir dizi sıralanmış değerdeki arama ile ilgilidir.

Bölme ve fethetme aramasını, arama alanını tekrar tekrar bölerek daha genel olarak ikiye bölünmüş arama olarak adlandırılır (kelimenin tam anlamıyla " ikiye bölünen "). Dichotomy kullanımı, bölünecek bir şeyiniz olduğu için sonn olarak diğer bağlamlarda düşünülebilir. Aslında öğrendiğim ilk ifade (lisede, sanırım ve uzun zaman önceydi), buna ikili olarak adlandırmak isteyebileceğiniz durumlar da dahil.

Afaik, "ikilik" iki parçanın (neredeyse) eşit olduğu anlamına gelmez.

İkili büyüklüğünde bir alanda arama yapmak için ayrıldığını bilmiyorum $2^n$.

Dichotomic açıkça daha genel bir terimdir, ancak ikiliyi yanlış kullanabilecek bazı kişilere bilgiçlikçi gelebilir.

Örneğiniz (1), bilinçli olarak ikili basamak istemediğinden, aksine bir aralığın medyanıyla karşılaştırmak için garip bir şekilde ifade edilir. Ancak ikili olarak nitelendirilebilir.

Örnek (2) belirsizdir. Sadece ikiye bölmek ikilik olarak adlandırılmalıdır. Şimdi, 2 eşit parça yapmanın bir yolunu (garip bir şekilde) varsaydığınız gibi, emin değilim.

Ancak insanların evet ya da hayır tarafından cevaplanan sorular sordukları bir tahmin oyunu açıkça ikiliktir.

Kendi tahminim, referans yok:

Orijinal ifade muhtemelen "ikilik" idi, ancak ikili sistemlerin, ikili bilgisayarın vb. Popülaritesi ile "ikili" terimi daha popüler hale geldi.

Önemli bir rol oynamış olabilecek diğer bir faktör de ikili aramanın (ikilik gibi) ikili seçimlere dayandırılmasıdır. Şimdi " dikotom seçim " ifadesi mevcuttur, ancak web'de yaklaşık 6 kat daha sık görülen " ikili seçim " den çok daha az kullanılır .

Yani bunu etkilemiş olabilir. Büyük ölçüde ikili sayıya daldığımız halde (yani biz bilgisayar bilimcisi), çoğu insanın ikili sayılarla ilgisi olmadığını ve bunlarla ilgili olmadığını, ancak ikili bir seçimden kolayca konuşacağını unutmamalıyız. İkili aramanın bilgisayar bilimcisi için bir konu olduğu doğrudur, ancak tam tersine güvenilir bir referansın kısa olması, ikili sayılardan herhangi bir doğrudan şekilde geldiğine inanmayacağım.

Knuth (V.3 Sf. 82) Mauchly'yi ikili arama kaynağı olarak verir; ikili sıralama adı verilen bir işlemde boşluk oluşturmak için öğeleri ileriye doğru karıştıran bir sıralama sırasında ekleme noktasını bulmak için kullanılır.

(2) geçerli olurdu, ama orijinal kağıdı göremiyorum; burada gizlidir: https://books.google.com/books?id=A6EEAQAAIAAJ&focus=searchwithinvolume&q=sorting+and+collating

Knuth tarafından belirtilen Mauchly referansını aramaya çalıştım, ancak kütüphanem kopyalarını yanlış yerleştirmiş gibi görünüyor.

Bu arada, "ikili arama" için aşağıdaki erken-ish alıntılarını göz önünde bulundurun:

• Halpern, Mark. " İkili arama özelliğine sahip değişken genişlikli tablolar. " ACM 1.2 (1958) iletişimi: 1-4.

  Bu raporda açıklanan altyordamlar ailesi, farklı uzunluklardaki girişleri içerecek, ancak bölüm veya "ikili" arama ile arama yapmaya uygun tablolar oluşturmak, aramak ve bakımını yapmak için tasarlanmıştır.

• Nagler, H. " İki iç sınıflandırma yönteminin nispi verimliliğinin bir tahmini. " ACM'nin iletişimi 3.11 (1960): 618-620.

  Bu rapor IBM 705, I ve II modelleri ile ilgilidir. IBM Corporation'ın iki dahili sıralama yöntemi, geleneksel iki yönlü birleştirme ve D. Mordy'den kaynaklanan ikili aramanın bir biçimi için gereken makine süresinin bir çalışmasıdır.

• Petersen, TL GİRİŞ ARAÇ SENTEZİ PROGRAMI. No. STL / TR-60-0000-09103 (pdf bağlantısı) . TRW SPACE TECHNOLOGY LABS LOS ANGELES CA, 1960.

  Değeri ${V_0}^*$ hangisi için $g({V_0}^*) = 0$şimdi bulunmalı. Kolayca görülebilir$g(0) = K_3 - 1$ ve $g(K_1) = -1$, böylece gerekli değer ${V_0}^*$ 0 ile $K_1$ Eğer $K_3>1$. Kökleri için ikili bir arama yapılır.$g({V_0}^*)$; ${V_0}^*$ seçilen, ardışık değerleri arasındaki farkın mutlak değerinin ${V_0}^*$ daha az $0.01$.

İlk 1958 alıntısının "ikili" etrafındaki tırnak işaretlerini nasıl kullandığını, ancak 1960'daki üçüncü alıntıda, başka bir açıklama veya açıklama yapmadan ikili bir aramadan bahsedildiğini not edeceğim. "Bölümle arama" yönündeki açıklama, açıklama 2) 'nin daha yakın olduğunu, ancak daha fazla doğrulamanın gerekli olduğunu düşündürür.