xuất sắc và (thăm dò vô tình sâu) câu hỏi. thực sự có những chương trình phát hiện tạm dừng có thể thành công trên các bộ đầu vào hạn chế. nó là một lĩnh vực hoạt động nghiên cứu. nó có mối quan hệ rất chặt chẽ với các khu vực chứng minh định lý (tự động).
tuy nhiên khoa học máy tính dường như không có thuật ngữ chính xác cho "các chương trình" mà "đôi khi" thành công. từ "thuật toán" thường được dành riêng cho các chương trình luôn dừng lại.
khái niệm này dường như khác biệt rõ rệt so với các thuật toán xác suất trong đó các nhà lý thuyết CS khẳng định có một số xác suất được biết hoặc tính toán về sự thành công của họ.
có một thuật ngữ semialgorithms được sử dụng đôi khi nhưng dường như nó là một từ đồng nghĩa với đệ quy đếm được hoặc noncomputable.
Vì vậy, cho các mục đích ở đây, gọi chúng là thuật toán quasial . khái niệm này khác với quyết định so với không thể giải quyết được.
AXBYX⊂YXYBA
trong CS, "hệ thống phân cấp thuật toán gần như" này dường như chỉ được nghiên cứu chủ yếu cho đến nay.
nó xuất hiện trong nghiên cứu hải ly bận rộn [1] và vấn đề về PCP [2]. trong thực tế, một cuộc tấn công điện toán dựa trên DNA vào PCP có thể được coi là một thuật toán chuẩn. [3] và nó được thấy trong các lĩnh vực khác đã được ghi nhận như định lý chứng minh [4].
[1] Cuộc tấn công thiên niên kỷ mới vào vấn đề hải ly bận rộn
[2] Giải quyết vấn đề tương ứng Bài viết của Zhao (v2?)
[3] Sử dụng DNA để giải quyết vấn đề tương ứng bài bị ràng buộc của Kari et al
[4] chứng minh chấm dứt chương trình của Cook et al, Comm. của ACM
(vì vậy đây thực sự là một câu hỏi rất sâu sắc mà không đáng có trên TCS.SE imho ... có lẽ ai đó có thể hỏi lại nó theo cách sao cho phù hợp và ở lại)