Asimptotik zaman karmaşıklığını kullanan ilk bilgisayar bilimi makaleleri nelerdir?

Büyük O bilgisayar bilimlerinde ilk ne zaman kullanıldı ve ne zaman standart oldu? Bu konuda Vikipedi sayfası Knuth, değinir Büyük Omicron ve Büyük Omega Ve Big Teta , 1976 SIGACT Nisan-Haziran, ama bu kağıt başlangıcı okur

Birçoğumuz, notasyonu , büyük sabit süreleriyle sabit bir fonksiyon için geçerli kılmak için kullanmaya başlamıştır . $O(f(n))$ $f(n)$ $n$

Bu alıntı, fikrin ve gösterimin zaten ortak kullanımda olduğunu gösterir.

Wikipedia sayfası ayrıca 1800'lerin sonlarından ve 1900'lerin başlarındaki matematik raporlarını da gösteriyor, ancak bu soruya tam olarak cevap vermiyor. Özellikle, o zamanlar etrafta olan araştırmacıların (60'larda ve 70'lerde, 1800'lerin sonlarında değil), asimptotik analiz ilk kullanıldığında, bazı insanların duvar saati zamanının daha iyi bir ölçü olduğunu söyleyerek geri itildiğini söylediklerini duydum. Bununla birlikte, konuştuğum hiç kimse bu şekilde geri dönüşü olmayan belirli makalelere atıfta bulunamaz ve bu hikayeleri onaylayabilecek veya inkâr edecek kanıtları bulmak isterim.

asymptotics history

— dan
kaynak

Asemptotik fonksiyonların analizinde gösterimi ile ilgili veya asimptotik zaman karmaşıklığı hakkında soru mu? Bence soru ikincisi ile ilgili, ancak ilk cümle (ve Knuth'dan gelen alıntı) birincisine benziyor.

O ()

$O()$

— ShreevatsaR

BTW, tarihsel sorunuzla ilgili değil, ancak tamamen tarihsel olmadığı bir nokta: Princeton’daki Robert Sedgewick (tesadüfen Knuth’da doktorasını yapan), çoklu görüşmelerde “algoritmalar teorisi” olarak adlandırdığı “büyük O” yazısına karşı uyardı. ", yerine Knuth tarzı" algoritmaların analizi "(yani gerçek sabitlerle) tercih edilir. Örneğin, bu slaytlara bakınız (ilk 21 slayt). Bu, asimptotik analize karşı geri adım atmak ve duvar saati önermekle aynı şey değildir, ama iyi. Ve bu önemli bir nokta.

— ShreevatsaR

Bu bölümü Wikipedia Tarihi'nde (Bachmann – Landau, Hardy ve Vinogradov notasyonları) okudunuz mu?

— drzbir

Tarih sorularıyla tipik olarak ince nüanslar vardır ve belirli bir kavramı tanıtan belirli bir makaleyi belirlemek kolay değildir, çünkü pek çok katılımcıya yayılma eğilimi gösterir ve belirsiz erken referanslar zorunlu olarak yayılmadığı zaman bağımsız olarak yeniden keşfedilir (temel fikirler böyledir) . ancak tarih temelde şöyle bir şeylere dayanıyor: Landau notasyonu 1970'lerin başında CS'ye “anahtar kavram” olarak ithal edilen eski bir matematiksel formalizmdir (1894 / Bachman) [1]. 1970'lerin ortalarında bu, Knuth referansınızdaki gibi kabul edildi ve Knuth'un kendisi de bu konsepti yaymaya dahil oldu.

ilginç bir şekilde CS'ye ithalatı muhtemelen 1970'lerin başında ortaya çıkan P / NP vs Exptime ayrımları ile yakından ilişkiliydi ve bu alanda oldukça etkili / habercisi oldu. 1970'lerin başında P sınıfını tanımlamaya başlayan Cobham / Edmonds'du. [3] Stockmeyer / Meyer tarafından Exptime ve Expspace hakkında ilk ispatlar vardı. [2] Cook-Levin teoremi [4] (1971), Karp [5] (1972) tarafından hemen desteklenen P-NP zamanının çekirdek ilgisini göstermiştir.

Sayı teorisinde çalışan ve aynı zamanda bilgisayar biliminin kenarında çalışan erken bir matematikçi Pocklington'dı. [3] 'de belirtildiği gibi:

Bununla birlikte, 1910 tarihli bir makalede, HC Pocklington, [11] [12] ikinci dereceden kongreleri çözmek için iki algoritmayı analiz etti ve birinin “modülün logaritmasının gücüyle orantılı” olduğunu ve bunun zaman alan bir kontrastla karşılaştığını gözlemledi. "modülün kendisinin veya karekökü" ile orantılı olduğu için polinom zamanına karşı koyan bir algoritma ile ayrılmayan bir algoritma arasında açıkça bir ayrım yapılır.

Makine teorisi algoritmalarının karmaşıklığını analiz etmede bir başka erken öncü, yani sayı faktörü, yani Berkeley'deki matematik profesörü Derrick Lehmer ve 1920'lerin başlarında "elek tabanlı uygulamalar" faktörü "algoritmaları" oluşturdu / analiz etti. ve onun mümkün olmayan gayrı resmi bir şekilde faktoring işlemsel hesaplama karmaşıklığı gibi bir şeyi tarif etmiş olabilir. [6]

Yine bir başka vaka adımların karmaşıklığı ölçümlerine bahsediyoruz von Neumann Godel tarafından bir "kayıp" 1956 harftir (n) f boyutu delillerini bulmak için bir makinenin n . [7]

[1] Büyük O gösterim tarihi / wikipedia

[2] Üstel zaman gerektiren kelime problemleri. / Stockmeyer, Meyer (1973)

[3] P zaman sınıfı geçmişi / wikipedia

[4] Cook-Levin teoremi / wikipedia

[5] Karps 21 NP komple problemler / wikipedia

[6] Lehmer faktoring makinesi / elek / wikipedia

[7] Godels mektup kaybetti / RJLipton

— vzn
kaynak

Bu, sorulan soruyu cevaplıyor gibi görünmüyor. "Büyük-O kullanan ilk bilgisayar bilimi makaleleri nelerdir?" Bir cevap bazı kağıtları tanımlamalıdır. Burada alıntı yapılan ve sorunun cevabını alan hiçbir makale göremiyorum. "Tipik olarak ince nüanslar vardır ve belirli bir kağıdı belirlemek kolay değildir" demek aslında bir cevap değildir. Ve elbette ilk önce bir makale vardı - olması gereken (iyi sıralama ilkesine göre) - bu yüzden soru cevaplanabilir.

— DW