«real-numbers» 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 

Lambda Calculus ile ilgili öğreticilerin çoğu, Pozitif Tamsayıların ve Boole'ların İşlevlerle temsil edilebileceği bir örnek sağlar. -1 ve i ne olacak?

14 data-structures  lambda-calculus  integers  real-numbers 

Pi'nin bazı basamak dizileri olup olmadığı nasıl belirlenebilir ? ππ\pibana aşağıdaki masum görünümlü varyasyonun hesaplanabilir olup olmadığını sormam için ilham verdi: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal representation …

11 computability  real-numbers 

Geçerli kayan nokta (ANSI C şamandıra, çift) gerçek bir sayının yaklaşık değerini temsil eder . Gerçek sayıları hatasız olarak temsil etmenin bir yolu var mı ? İşte sahip olduğum bir fikir, ki bu mükemmel bir şey. Örneğin, 1/3 değeri 0.33333333 ... (taban 10) veya o.01010101 ... (taban 2), aynı zamanda …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

"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