उत्कृष्ट और (संभावित अनजाने में गहरा) सवाल। वास्तव में हाल्ट-डिटेक्टिंग प्रोग्राम हैं जो इनपुट के सीमित सेट पर सफल हो सकते हैं। अनुसंधान का एक सक्रिय क्षेत्र है। इसमें (स्वचालित) प्रमेय साबित करने वाले क्षेत्रों के लिए बहुत मजबूत संबंध हैं।
हालाँकि कंप्यूटर विज्ञान "कार्यक्रमों" के लिए एक सटीक शब्द नहीं है जो "कभी-कभी" सफल होता है। शब्द "एल्गोरिथ्म" आमतौर पर उन कार्यक्रमों के लिए आरक्षित होता है जो हमेशा रुकते हैं।
अवधारणा संभाव्य एल्गोरिदम की तुलना में अलग-अलग प्रतीत होती है जहां सीएस सिद्धांतकार जोर देते हैं कि उनके सफल होने पर कुछ ज्ञात या गणना योग्य संभावना हो।
एक शब्द अर्ध-एल्गोरिदम है जो कभी-कभी उपयोग किया जाता है, लेकिन इसका स्पष्ट रूप से पुनरावृत्ति करने योग्य या असंबद्ध के लिए एक पर्याय है।
इसलिए यहां उद्देश्यों के लिए, उन्हें क्वासिअलोरिदम कहें । अवधारणा अचूक बनाम अचूक से अलग है।
एएक्सबीYएक्स⊂ Yएक्सYबीए
सीएस में इस "अर्ध एल्गोरिथ्म पदानुक्रम" का अध्ययन ज्यादातर अनौपचारिक रूप से अब तक किया गया लगता है।
यह व्यस्त बीवर अनुसंधान [1] और पीसीपी समस्या [2] में दिखाई देता है। वास्तव में पीसीपी पर एक डीएनए आधारित कंप्यूटिंग हमले को क्वासिअल एल्गोरिदम के रूप में देखा जा सकता है। [३] और उसके अन्य क्षेत्रों में देखा पहले से ही इस तरह के रूप में उल्लेख किया प्रमेय [4] साबित।
[१] व्यस्त बीवर समस्या पर नई सहस्राब्दी का हमला
[2] से निपटना पोस्ट पत्राचार समस्या झाओ द्वारा (v2?)
[3] घिरा पोस्ट पत्राचार समस्या हल करने के लिए डीएनए का प्रयोग कारी एट अल द्वारा
[4] साबित कार्यक्रम समाप्ति कुक एट अल, कॉम द्वारा। एसीएम की
(इसलिए यह वास्तव में एक बहुत ही गहरा सवाल है जो कि TCS.SE पर होना करने के लिए योग्य है। शायद ... कोई इसे फिर से इस तरह से पूछ सकता है जैसे यह फिट बैठता है और रहता है)