«decidability» etiketlenmiş sorular

Turing tarafından tanınan her kararsız dilde NP tam bir alt küme var mı? Soru, Turing tarafından tanınan her sonsuz dilin sonsuz, karar verilebilir bir alt kümesine sahip olmasının daha güçlü bir versiyonu olarak görülebilir.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Farklı bir sıralama algoritması uygulayan iki işleviniz varsa, kaynak kodla her ikisinin de aynı harici özelliklere sahip olduğu sonucunu çıkarmak mümkün müdür? Her ikisinin de girişleri olarak sıralanmamış bir sıraya ve çıkışları olarak sıralı bir sıraya sahip olacağı anlamına mı geliyor? Bu harici özellikler ne şekilde kaynak kodu ile belirlenebilir? …

9 pl.programming-languages  decidability  formal-methods  extensionality