Turing Decidable Problemleri Sınıfı için Tam Bir Sorun Var mı?

Gibi diller olan birçok kimse indirimleri altında. de tam sorunları olduğunu görmek önemsizdir . S. Schmitz [1], ve bazı sınıfları dikkate almaktadır . Bu sınıflar için özel hazırlanmış indirimler altında tam problemler ortaya koyarlar. $\text{HALT}_{TM}$ $\textsf{RE-complete}$ $\text{co-RE}$ $\text{ELEM}$ $\text{REC}$

İçin komple sorun var mı (diğer adıyla ) göreli zayıf azalmalara? Turing indirimleri uygun değildir, çünkü tüm işleri yapabilirler. Bu tür indirimlerin yapılmasını beklemeliyiz veya etmemeliyiz mi ( örneğin , ilkel özyineleme ile sınırlı olan bir-çok indirimler)? $\textsf{R} = \textsf{RE} \cap \textsf{co-RE}$ $\textsf{REC}$

[1] Sylvain Schmitz İlköğretim 2013 Ötesinde Karmaşıklık Hiyerarşileri http://arxiv.org/abs/1312.5686

— mdxn
kaynak

Bu soru biraz basit gibi görünüyor, ama bir profesör ve ben boş bıraktık. Cevap açıksa şaşırmazdım. Durum buysa özür dilerim. Buna rağmen, internette bir yerde cevap almak güzel olacak.

— mdxn

Her önemsiz özyinelemeli sorun, özyinelemeli çoklu indirimler altında tamamlanmıştır. Daha zayıf indirimler mi arıyorsunuz?

— Yuval Filmus

@YuvalFilmus: Evet, öyleyim.

— mdxn

P

$\textsf{P}$

$\mathsf{R}$

İşte argüman:

$A$ $\mathsf{R}$ $\mathsf{R}$ $A$ $\mathsf{R}$ $\mathsf{R}$

Literatürde toplam özyinelemeli / hesaplanabilir fonksiyonlar kümesi arayın .

— Kaveh
kaynak

Tekrar hoş geldiniz, Kaveh! Seni tekrar görmek güzel!

— David Richerby

Poli zaman azaltımları neden sayılabilir?

— Ariel

Evet yazıda bahsettiniz :) ancak kafam karıştı, numaralandırma hakkında ayrıntılı bilgi verebilir misiniz?

— Ariel

n^{k} + k

$n^k+k$