Kararsız problemlerin NP-tam varyantları?

Kararsız kümelerin sınırlı varyantlarına örnekler :$NP$

Sınırlı Durma problemi = { | LTB makinesi M durur ve kabul x içindeki t } adımları$(M, x, 1^t)$$M$$x$$t$

Sınırlı Döşeme = { | t 2 alanından bir kare karenin T'den çinilerle döşenmesi }$(T, 1^t)$$t^2$$T$

Sınırlı Post Yazışma Sorunu = { | bir dizi T dominodan en fazla k domino kullanan (tekrarlanan dominolar dahil) eşleşen bir domino seti vardır }$(T, 1^t)$$k$$T$

Bunu elde etmek için her zaman mümkün mü hesaplaması bazı sınır empoze ederek her undecidable sorunun -tamamlamak varyantını? Bu tür başka doğal örnekler var mı?$NP$

Jukka'nın belirttiği gibi, cevap tüm kararsız problemler için hayır değildir.

Daha mantıklı bir soru şu olabilir: Özyinelemeli olarak numaralandırılabilir diller sınıfı için tamamlanan her sorun NP-tam olarak anlaşılır bir şekilde yapılabilir mi? Bunun genel olarak doğru olduğundan emin değilim, ancak sorunuzda bahsettiğiniz özel durumlarda (Sınırlı Durdurma ve Döşeme) bu problemler “özel” polinom zaman indirimleri altında bile RE için tamamlanmıştır. (Bu cevapta çoğunlukla "tanımlanmamış" özel olarak ayrıldım, ancak gereken özellikler ondan çalışılabilir.)

$A$$M_A$$(x,y)$$x \in A \iff (\exists y)[M_A(x,y)~\text{halts}]$$A$$(x,1^t)$$y$$t$$M_A(x,y)$$t$

$NP$$NP$$NP$$R$$t'$$M_A(R(M,x),y)$$M(x)$$t$

$NP$

$\aleph_0$

Sonra, sanırım, aynı çözülemezlik derecesi içindeki her problem için, NP-tam bir dil veren bir tür kaynak (zaman) vardır.

Açıklama: "Aynı çözülemezlik derecesindeki her sorun için" derken belki daha muhafazakâr olmalıydım. Yukarıdaki ifade sadece HALTING problemiyle aynı dereceye sahip problem sınıfı için geçerli olabilir.

Ayrıca bakınız: Martin Davis, Nedir ... Turing İndirgenebilirlik ?, AMS Bildirimleri, 53 (10), s. 1218--1219, 2006.