“Verimli” ve “uygulanabilir” hesaplama / algoritma terimlerinin kökeni


13

Bu iki terimin tarihini bilmek istiyorum: " verimli ", " uygulanabilir ".

Onları ilk kez hesaplama / algoritmalarla ilgili olarak kim kullandı? (bu terimlerin modern anlamda, yani 20. yüzyıl). Nasıl ana akım oldular? Bu iki terim eş anlamlı olarak nasıl kullanılmaya başlandı?

Cobham'ın tezinin ifadesinde polinom zaman hesaplaması ile ilişkili olan "uygulanabilir" terimini kullandığını biliyorum . Fakat daha erken bir referans var mı? Godel'in von Neumann'a yazdığı mektupta bu terimlere açık bir atıf yok gibi görünüyor . 1960'dan önce ( Google Akademik kullanarak ) ilgili bir makale bulamadım .

Bir başka ilginç nokta da Cobham'ın 1965 tarihli makalesinin başlığı " işlevlerin içsel hesaplama zorluğu " dur . "Hesaplama karmaşıklığı" ne zaman "hesaplama zorluklarının" yerini aldı?

Yanıtlar:


11

"Verimli" ve "uygulanabilir" terimlerini bilmiyorum. Bugün bile bu terimlerin kesin bir teknik anlamı olmadığından, çoğu dilde çoğu sözcüğün tarihi karanlık olduğu için, kullanım tarihinin karanlık olacağından şüpheleniyorum.

"Hesaplama karmaşıklığı" daha ilginç bir terimdir. MathSciNet'in yardımıyla Juris Hartmanis'in onu ilk popülerleştiren kişi olduğunu düşünüyorum. Hartmanis ve Stearns'ın ünlü 1965 makalesi başlıkta bu terimi kullanıyor, ancak bundan önce bile Hartmanis'in Michael Rabin'in "Gerçek zamanlı hesaplama" adlı makalesinin Matematiksel İncelemesi ( Israel J. Math. 1 (1963), 203-211) şöyle diyor:

Bu sonuç çok öğreticidir ve ortaya çıkan özyinelemeli dizilerin ve fonksiyonların hesaplama karmaşıklığı teorisine yeni teknikler katmaktadır. Bu teori temel olarak hesaplanabilir problemlerin hesaplama zorluk derecelerine göre sınıflandırılması, bu karmaşıklık sınıflarının özelliklerinin incelenmesi, birbirleriyle olan ilişkileri ve (soyut) hesaplama cihazlarına bağımlılıkları ile ilgilidir.

Rabin kendisi olmadığını Not değil bu yazıda terim "hesaplama karmaşıklığı" kullanın.

MathSciNet ayrıca "hesaplama karmaşıklığı" terimini kullanan birkaç önceki incelemeyi de ortaya çıkarıyor, ancak bunlar kendiliğinden ve ara sıra gerçekleşiyor gibi görünüyor.


Teşekkürler, bence bu "hesaplama karmaşıklığı" hakkındaki sorumu yanıtlıyor. (Birinin ilk iki terim hakkında bilgi verip veremeyeceğini görmek için birkaç gün daha beklemek istiyorum.)
Kaveh

5

Dikkate alınması gereken bir diğer ifade, istatistiksel fizikten gelen ve aynı zamanda günümüzün verimli / uygulanabilir kavramlarına da karşılık gelen "tam olarak çözülebilir" dir. Bu makaledeki giriş , bu ifadenin birçok referansı ile güzel bir tarihsel açıklaması içermektedir.


Teşekkürler Tyson, bu ilginç bir kağıt gibi görünüyor (ama sorularıma cevap vermiyor gibi görünüyor).
Kaveh

3

Bu tam olarak istediğin şey değil, ama bir yorum için çok uzun.

Bir algoritmanın olanaksız olduğunu bildiğim en eski açık referans 1830'da yazılmış Évariste Galois ' Mémoire sur les koşullar de résolubilité des équations par radicaux'da :

Daha fazla bilgi için bkz. şarj cihazı ni moi ni personne de la faire. En un mot les calculs uygulanamaz.

[Şimdi bana kendi takdirine bağlı olarak seçtiğin bir denklem verirsen ve bunun radikaller tarafından çözülüp çözülemeyeceğini bilmek istiyorsan, sana soruyu cevaplamak için gereken yöntemi kendim yapmak istemeden veya başkası yapar. Tek kelimeyle, hesaplamalar pratik değildir .]

Her ne kadar Galois algoritmasının polinom zamanında çalışmadığı doğru olsa da , Galois açıkça çok daha az kesin bir şey ifade ediyordu. Bu aynı zamanda kendi başına önemli bir algoritmanın varlığını düşündüğünü bildiğim en eski referanstır .


Niel de Beaudrap'ın yorumlarda bahsettiği gibi Gauss, Galois'den neredeyse 30 yıl önce 1801 Disquisitiones Arithmeticae'de öncelik testi için algoritmaların verimliliğini zaten tartıştı . Tamlık için, 329.maddeden ilgili bölüm:

Nihilominus fateri oportet, omnes methodos hucusque prolata vel ad casus vlade özel kısıtlamalar esse, vel tam operosas et prolixas , ut iam pro numeris talibus, qui tabularum a varis meritis constructarum limites olmayan excedunt, yani pro quibus methodi artificiales Supervacuae suntctitii, eksantrik yorucu, ad maiores autem plerumque vix applicari bulundurma. ... Ceterum içinde problematis natura fundatum est, ut metodi quaecunquesürekli prolixiores evadant, kota maiores sunt numeri, ad quos uygulama; Attamen pro methodis sequentibus, perlente increscunt, numerique e septem, octos vel adeo adhuc pluribus figuris constantes secundam felici semper successu tractati fuerunt, omnique sesitate, quam pro tantis numeris exspectare aequum est, sayılan sekundozu tespiti tekstensum nozum testozumları intolebilem, zorunlu.

[Bununla birlikte, şimdiye kadar önerilen tüm yöntemlerin ya çok özel durumlarla sınırlı olduğunu ya da o kadar zahmetli ve prolixli olduklarını itiraf etmeliyiz ki , tahmin edilebilir erkekler tarafından oluşturulan tabloların sınırlarını aşmayan sayılar için , yani sayılmayan sayılar için ustaca yöntemler gerektiriyorsa, en pratik hesap makinesinin bile sabrını deniyorlar. Ve bu yöntemler daha büyük sayılar için kullanılamaz. ... Bu sorunun bir doğada olduğu herhangiuygulandığı sayılar büyüdükçe yöntem daha prolix haline gelecektir. Bununla birlikte, aşağıdaki yöntemlerde zorluklar oldukça yavaş artar ve yedi, sekiz veya daha fazla basamağa sahip sayılar, özellikle ikinci yöntemle, beklentinin ötesinde başarı ve hız ile ele alınmıştır. Daha önce bilinen teknikler , en belirsiz hesap makinesi için bile dayanılmaz emek gerektirecektir .]


2
Ayrıca, Gauss'un 1801 tarihli Disquitiones Arithmeticae adlı kitabında, öncelik testi için bilinen tüm yöntemlerin çok "zahmetli ve prolix" olduğundan şikayet ettiği en eski açık araştırma sorunlarına bir cevap daha vardı.
Niel de Beaudrap

Zp

P

-1

Düzenle: Yanıt yeniden yazıldı

Nasıl yaygınlaştı? muhtemelen yeni araştırmayı performans açısından eski ile karşılaştırma fikrini yayarak, yeni fikirler oluşturmanın daha zor olduğunu varsayarak.


Bu terimlerin gerçek tarihini arıyorum, onlar için bir açıklama değil. Bu sorumun cevabı değil.
Kaveh

CS'de şartları ilk kez kimin kullandığını cevaplayamıyorum, cevabım neden ana akım aldığı konusunda ikinci sorunuza daha odaklıydı.
labotsirc

Teşekkürler, ama ben "neden" diye sormuyorum, "nasıl" (yani tarih) soruyorum.
Kaveh

Cevabı tekrar yazdım, tüm bildiğim bu + varsayımlar. Saygılar Cristobal.
labotsirc

1
Eksen teşekkürler, ama dediğim gibi gerçek tarih arıyorum , bu konuda olası teoriler değil. Şartları kullanan ve ana akım haline gelmesine yardımcı olan erken referansları / kağıtları / ... arıyorum.
Kaveh
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.