«computable-analysis» 태그된 질문

3
계산 기하학 연구자들이 BSS / 실제 RAM 모델을 선호하는 이유는 무엇입니까?
배경 실수에 대한 계산은 자연수에 대한 계산보다 복잡합니다. 실수는 무한한 객체이고 셀 수는 많지 않으므로 실수는 유한 알파벳의 유한 문자열로 충실하게 표현할 수 없습니다. 람다 미적분학, 튜링 머신, 재귀 함수와 같은 다른 계산 모델이있는 유한 문자열에 대한 고전적인 계산 가능성과는 달리 ... (적어도 문자열의 함수에 대한 계산 가능성에 대해서는) 동등한 …
6
계산에서 실수는 어떻게 지정됩니까?
이것은 기본적인 질문 일지 모르지만 내쉬 평형 계산 및 선형 퇴행성 테스트와 같은 주제에 대한 논문을 읽고 이해하려고 시도했으며 실수가 입력으로 지정되는 방법을 확신하지 못했습니다. 예를 들어, LDT에 특정 다항식 하한이 있다고 언급 될 때 실수는 입력으로 취급 될 때 어떻게 지정됩니까?
3
실수 계산 : 부동 소수점 대 TTE 대 도메인 이론 대 등
현재 가장 인기있는 언어의 실수 계산은 여전히 ​​부동 소수점 연산을 통해 수행됩니다. 반면에, 2 형 효과 성 (TTE) 및 도메인 이론과 같은 이론은 오랫동안 실수의 정확한 계산을 약속했습니다. 분명히 부동 소수점 정밀도 문제는 관련성이 줄어들지 않았으므로 왜 이러한 이론이 더 주류가되지 않았으며 왜 더 눈에 띄게 구현되지 않았습니까? 예를 들어 …
2
이산 푸리에 변환 계산의 복잡성?
정수 벡터의 표준 이산 푸리에 변환 을 계산하는 복잡성 (표준 정수 RAM)은 무엇입니까?엔nn 고전 고속 푸리에 변환 알고리즘에 대한 부적절, [1] 쿨리 Tukey에 기인는 일반적으로 실행되는 것으로 설명 시간. 그러나이 알고리즘에서 실행되는 대부분의 산술 연산은 복잡한 번째 근본 단위 (대부분의 경우 )가 비합리적인 것으로 시작하므로 일정한 시간에 정확한 평가는 합리적이지 …
6
람다 미적분을 입력 한 함수는 계산할 수 없습니다
형식화되지 않은 람다 계산법으로 계산할 수 있지만 형식화 된 람다 계산법으로 계산할 수없는 함수의 예를 알고 싶습니다. 초보자이기 때문에 배경 정보를 약간 반복하여 주시면 감사하겠습니다. 감사. 편집 : 입력 된 람다 미적분학을 통해 시스템 F와 단순 유형의 람다 미적분학에 대해 알고 싶었습니다. 기능적으로, 나는 Turing-computable 기능을 의미합니다.
2
실수의 계산 복잡성의 정의를 판단하는 방법은 자연 스럽거나 적합합니까?
우리가 알고 있듯이, 알고리즘의 계산 복잡도의 정의는 거의 논쟁의 여지가 없지만, 실제의 계산 복잡성 또는 실수에 대한 계산 모델의 정의는 그러한 경우가 아닙니다. 우리는 Computable Analysis 책에서 Blum and Smales의 모델과 모델을 알고 있습니다. 그리고 Computable Analysis의 모델은 클래식 모델과 일치하지만 실수의 계산 복잡도 정의는 클래식 모델로 이식 될 수 …
3
초월수의 결정 가능성
나는 그 대답이 잘 알려진 질문이 있지만 약간의 검색 후에 의미있는 것을 찾을 수 없으므로 도움을 주셔서 감사합니다. 내 질문은 숫자가 초월인지 여부를 결정할 수 없다는 것이 알려져 있는지 여부입니다. 아마도, 숫자의 i ^ 번째 비트를 리턴하는 프로그램을 입력으로 가정 할 수 있습니다. 모든 포인터에 미리 감사드립니다.
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.