mükemmel ve (istemeden derinlemesine prob) soru. Sınırlı girdi kümesinde başarılı olabilecek durma tespit programları var. aktif bir araştırma alanı. teorem kanıtlama alanlarıyla (otomatize) çok güçlü bağları var.
Ancak bilgisayar bilimi, "bazen" başarılı olan "programlar" için tam bir terim olarak görünmemektedir. "algoritma" kelimesi genellikle daima durduran programlar için ayrılmıştır.
Bu kavram , CS teorisyenlerinin başarılı olmalarında bilinen veya hesaplanabilir bir olasılık olduğu konusunda ısrar ettikleri olasılıksal algoritmalardan açıkça farklı görünüyor .
Bazen kullanılan bir terimbilimsel terim vardır ancak yinelemeli olarak sayılabilir veya hesaplanamaz gibi görünüşte eş anlamlıdır.
bu yüzden buradaki amaçlar için onlara quasialgorithms diyoruz . kavram karar verilemeyenden farklı, kararsız olandan farklı.
kişi quasialgorithmleri karşılaştıramayacağını söyleyebilir. ama aslında bu quasialgoritmaların doğal bir hiyerarşisi (kısmi bir düzen) var gibi gözüküyor. farz edelim ki bir quasialgorithm , bazı sınırlı giriş programlarının durmasının X olduğunu söylüyor . bir diğeri B , bir Y ayarının durduğunu tespit edebilir . eğer X ⊂ Y yani X'in ise uygun alt kümesi Y ardından B "daha güçlü" olduğunu A .AXBYX⊂YXYBA
CS’de bu “yarı algoritma hiyerarşisi” çoğunlukla şu ana kadar gayrı resmi olarak incelenmiştir.
yoğun kunduz araştırmasında [1] ve PCP probleminde [2] ortaya çıkmıştır. Aslında PCP'ye DNA tabanlı bir bilgisayar saldırısı quasialgorithm olarak görülebilir. [3] ve teorem ispat etme [4] gibi daha önce not edilen diğer alanlarda görülmüştür.
[1] Yoğun kunduz sorununa yeni millenium saldırısı
[2] Zhao tarafından yazışma yazışma problemi (v2?)
[3] Sınırlı Yazışmalarda Yazışma Problemini çözmek için DNA'yı Kari ve ark.
[4] kanıtlayan programı sonlandırma ve ark Cook, Comm. ACM’nin
(bu yüzden aslında Defn, TCS'de olmayı hak eden çok derin bir sorudur. imho ... belki birileri oraya sığacak ve kalacağı şekilde tekrar sorabilir.)