«computable-analysis» etiketlenmiş sorular

Bir öğrenci kısa süre önce benden onlar için bir NP sertlik kanıtı kontrol etmemi istedi. Şunlar boyunca bir azalma gerçekleştirdiler: Bu sorun azaltmak NP-tam benim problem için olduğu bilinir böylece (a poli-zamanlı birçok kimse azalma ile birlikte) NP-zor. P PP'P′P'PPPPPP Cevabım temel olarak: Yana değerlerle örneği var Eğer azalma atlamak …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

sınırlı sayıda noktası iki kez farklılaştırılabilir bir eğri istediğimizi , çevresi mümkün olduğunca küçük olacak. ve varsayarsak , bu sorunu şu şekilde resmileştirebilirim: C ( P ) p i p i = ( x i , y i ) x i < x i + 1p1, p2, . . pnp1,p2,..pnp_1,p_2,..p_nC( …

11 complexity-theory  np-hard  optimization  computable-analysis 

"Rice'ın hesaplanabilir gerçekler için teoremi" - yani, belirli bir hesaplanabilir gerçek tarafından temsil edilen sayının önemsiz hiçbir özelliği karar verilemez - doğru mu? Bu, gerçeklerin bağlantılılığına doğrudan bir şekilde karşılık geliyor mu?

10 computability  real-numbers  computable-analysis