Rabin'in “bir işlevi hesaplamanın zorluk derecesi ve özyinelemeli kümelerin kısmi sıralaması”

Bakıyorum:

Michael O. Rabin, "Bir işlevi hesaplamanın zorluk derecesi ve özyinelemeli kümelerin kısmi sıralaması", Hebrew Üniversitesi, Kudüs, 1960

Özet:

“Belirli bir hesaplanabilir (özyinelemeli) işlevi hesaplama görevinin doğasında bulunan iş miktarını ölçmeye çalışıyoruz. Hesaplamanın zorluk derecesi kavramı tanıtılır ve incelenir. Bu kavram, söz konusu fonksiyonları hesaplamak için kullanılan ideal bilgisayarlardan (Turing Makineleri) bağımsız olması bakımından değişmezdir. Çözülebilir karar problemlerinin (özyinelemeli kümeler) göreceli zorluğa göre sınıflandırılması için başvurular yapılır. ”

Çevrimiçi olarak veya kütüphanemizde bir kopya bulamadım.

cc.complexity-theory reference-request ho.history-overview

— Kaveh
kaynak

Başlık ilginçtir ve tez, hesaplama işlevlerinin sertliğini yakalayan kavramların erken gelişimine ilişkin fikir vermelidir.

— Mohammad Al-Turkistany

Umarım İbrani Üniversitesi'nde fiziksel bir kopyasını

— saklarlar

OP ile ilgili olmayan (doğrudan) bir yorum: tezlerin / tezlerin eski bir çevrimiçi deposunu (ne kadar eski olduğunu bilmiyorum) toplamak ve ücretsiz erişime izin vermek yasal mıdır? Birçok nedenden dolayı, yenilerini almak genellikle kolaydır.

— Yixin Cao

@YixinCao yorumları yeni teğet sorular sormak için uygun değildir. Academia'ya soru gönderebilirsiniz .

— Kaveh

ps: Rabin'in tezi değil. Wikipedia'ya göre tezi "Grup Teorik Sorunlarının Özyineli Çözülemezliği", 1957.

— Kaveh

İsrail Milli Kütüphanesi'nde iki adet ödünç verilir.

İşte taranmış bir kopya .

— Yuval Filmus
kaynak

Güzel. Bu basılı kopyalar mı? PDF sürümü sunuyorlar mı?

— Mohammad Al-Turkistany

Yazılı çıktı. Ama belki de onları talep üzerine tararlar. Muhtemelen fiziksel bir kopyayı kendim tutabilirim, ancak hepsini tek başıma taramayacağım ...

— Yuval Filmus

Teşekkürler Yuval. Umarım birisi taranmış bir kopyaya sahiptir (karmaşıklık teorisinin kurucu referanslarından biri olduğunu düşünerek).

— Kaveh

@Kaveh: Kurucu referanslardan biri mi? Ben sık sık P kavramını (ve hangi Bu nedenle ortaya attığı için anılan üç kağıtları biridir Rabin'in "otomata Matematiksel Teorisi," bir tarama var ... o atıf görmemiştim yapmak temel düşünün). İsterseniz bana bildirin.

— Joshua Grochow

@Josh, Cobham ve Edmonds ve Hartmanis ve Stearns ile birlikte şu anda hesaplama karmaşıklığı teorisi olarak adlandırılan ilk kağıtlar olarak atıfta bulunduğunu gördüm. Neyse ki Steve, Rabin'in tezinin bir kopyasına sahip, tarar ve çevrimiçi yayınlayacağını söyledi.

— Kaveh