«real-numbers» 태그된 질문

최근에 한 학생이 NP 경도 증거를 확인하도록 요청했습니다. 그들은 다음 라인을 따라 축소를 수행했습니다. 내 문제 에 대해 NP- 완전으로 알려진 이 문제 줄입니다 (폴리 타임 다 대일 감소로) 는 NP-hard입니다.P′P′P'PPPPPP 내 대답은 기본적으로 다음과 같습니다. 이후 의 값을 가진 경우가 당신이 감소를 건너 뛸 수 있도록이 하찮게 튜링 계산할 …

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

Lambda Calculus에 대한 대부분의 자습서는 Positive Integers 및 Booleans가 Functions로 표시 될 수있는 예를 제공합니다. -1과 i는 어떻습니까?

14 data-structures  lambda-calculus  integers  real-numbers 

에 일련의 숫자가 있는지 어떻게 알 수 있습니까? ππ\pi다음과 같은 무고한 변형이 계산 가능한지 묻도록 영감을주었습니다. 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 of \(\pi\)} \\ 0 & …

11 computability  real-numbers 

현재 부동 소수점 (ANSI C float, double) 은 실수 의 근사값 을 나타냅니다 . 실수없이 실수 를 나타내는 방법이 있습니까? 여기에 내가 가진 아이디어가 있습니다. 예를 들어 1/3은 0.33333333 ... (기본 10) 또는 o.01010101 ... (기본 2)이지만 0.1 (기본 3) 이 "구조"를 구현하는 것이 좋습니다. base, mantissa, exponent 1/3은 3 …

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

"계산 가능한 현실에 대한 쌀의 정리"가 있습니까? 이것은 현실의 연결성과 어떤 직접적인 방식으로 일치합니까?

10 computability  real-numbers  computable-analysis