Tôi đang tìm kiếm:
- Michael O. Rabin, "Mức độ khó của việc tính toán một hàm và sắp xếp một phần các tập đệ quy", Đại học Do Thái, Jerusalem, 1960
Tóm lược:
Chúng tôi cố gắng đo lượng công việc vốn có trong nhiệm vụ tính toán một hàm tính toán (đệ quy) nhất định. Một khái niệm về mức độ khó của máy tính được giới thiệu và nghiên cứu. Khái niệm này là bất biến theo nghĩa là nó độc lập với các máy tính được lý tưởng hóa (Turing Machines) được sử dụng để tính toán các chức năng trong câu hỏi. Các ứng dụng được thực hiện để phân loại các vấn đề quyết định có thể giải quyết (bộ đệ quy) theo độ khó tương đối.
Tôi không thể tìm thấy một bản sao trực tuyến hoặc tại thư viện của chúng tôi.
1
Tiêu đề là thú vị và luận án nên cung cấp cái nhìn sâu sắc về sự phát triển ban đầu của các khái niệm nắm bắt độ cứng của các chức năng tính toán.
—
Mohammad Al-Turkistany
Tôi hy vọng họ giữ một bản sao vật lý tại Đại học Do Thái ...
—
Yuval Filmus
Một nhận xét không (trực tiếp) có liên quan đến OP: đó có hợp pháp để thu thập một kho lưu trữ trực tuyến cũ (tôi không biết bao lâu là đủ điều kiện như cũ) luận văn / luận án và cho phép truy cập miễn phí? Vì nhiều lý do, những cái mới hơn thường dễ dàng có được.
—
Yixin Cao
ps: hóa ra đó không phải là luận điểm của Rabin. Luận án của ông theo Wikipedia là "Không thể giải quyết các vấn đề lý thuyết nhóm", 1957.
—
Kaveh