«computability» 태그된 질문

계산 성 이론 일명 재귀 이론.

2
전체 기능 프로그래밍의 한계는 무엇입니까?
전체 기능 프로그래밍의 한계는 무엇입니까? Turing-complete는 아니지만 가능한 많은 프로그램을 지원합니다. 튜링 완성 언어로 작성할 수 있지만 전체 기능 언어로는 쓸 수없는 중요한 구성 요소가 있습니까? 그리고 전체 기능 언어로 작성된 프로그램은 완전히 정적으로 분석 될 수 있지만 튜링 완료 언어의 정적 분석은 정지 문제와 같은 것들에 의해 제한된다고 말하는 …
3
튜링 머신의 개념은 오토마타에서 파생 되었습니까?
최근에 "튜링 머신이 오토마타에서 파생 된 것입니까 아니면 다른 방법일까요?" 나는 물론 답을 알지 못했지만 궁금한 점이 궁금합니다. Turing Machine은 기본적으로 Push-Down Automata의 약간 더 정교한 버전입니다. 그로부터 나는 튜링 머신이 오토마타에서 파생되었다고 가정하지만, 확실한 증거 나 설명은 없습니다. 나는 단지 잘못되었을 수도 있습니다 ... 아마도 그들은 고립되어 개발되었을 것입니다. …
5
함수의 계산 가능성에 대한 (거짓?) 증거?
1 iff 0 을 반환하는 함수 을 연속적으로 표시 하는 것을 고려하십시오 . 이제 누군가 나에게 이 계산 가능 하다는 증거를주었습니다 .f(n)f(n)f(n)nnnππ\pif(n)f(n)f(n) 어느 모든 N에 대해, 나타날에 , 또는 AM 성을가 나타난다 및 않는다. 첫 번째 가능성 ; 두 번째 것에서는 iff , 그렇지 않으면 0입니다.0n0n0^nππ\pi0m0m0^mππ\pi0m+10m+10^{m+1}f(n):=1f(n):=1f(n) := 1f(n):=1f(n):=1f(n) := 1n≤mn≤mn …
2
적은 양의 입력을 제외한 효율적인 솔루션의 문제
튜링 기계의 정지 문제는 아마도 정식 결정 불가능한 세트 일 것입니다. 그럼에도 불구하고 거의 모든 인스턴스를 결정하는 알고리즘이 있음을 증명합니다. 따라서 정지 문제는 복잡성 이론의 "블랙홀"현상을 나타내는 사람들의 증가하는 수집 중에 있으며, 실현 불가능하거나 결정 불가능한 문제의 어려움은 문제가있는 매우 작은 영역 인 블랙홀에 국한됩니다. 쉬운. [Joel David Hamkins와 Alexei …
2
무작위 오라클 R의 경우 BPP는 P ^ R의 계산 가능한 언어 집합과 동일합니까?
글쎄, 제목은 거의 모든 것을 말합니다. 위의 흥미로운 질문은 내 블로그에서 논평자 Jay가 질문 한 것입니다 ( 여기 및 여기 참조 ). 나는 대답이 그렇고 비교적 간단한 증거가 있다고 생각하지만, 그것을 직접 볼 수는 없습니다. (거의 대략 의 언어가PRPRP^R 가 아닌 경우 과 무한한 알고리즘 상호 정보를 가져야 하며,이 경우 …
5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
시스템 F (또는 다른 정규화 된 λ- 미적분학) 내에서 -equivalence 를 결정할 수 있습니까?
형식화되지 않은 람다 미적분에 대해 -equivalence 를 결정하는 것은 불가능하다는 것을 알고 있습니다. Barendregt 인용 , HP Lambda 미적분학 : 구문과 의미론. 암스테르담, 노스 홀랜드 (1984). :ββ\beta A와 B가 동일하지 않은 람다 항의 비 연속 세트 인 경우 A와 B는 재귀 적으로 분리 할 수 ​​없습니다. A가 평등하게 닫힌 사소한 …
4
테스트에서 버그가 없음을 확인할 수 있습니까?
n( n + 1 )(n+1)(n + 1)차수 의 다항식을 고유하게 결정하려면 점이 필요합니다 . 예를 들어 평면의 두 점이 정확히 하나의 선을 결정합니다.엔nn 고정 언어로 를 계산하는 프로그램의 길이를 고려할 때 계산 가능한 함수 을 고유하게 결정하려면 몇 개의 포인트가 필요 합니까? (즉, Kolmogorov의 복잡성 에 대한 경계 ).f f에프: …
1
콜로 모고 로프 복잡성의 계산 불가능 성은 Lawvere의 고정 소수점 정리에서 따릅니 까?
많은 이론과 "역설"– Cantor의 사선 화, 부화의 결정 불가능 성, Kolmogorov의 복잡성 결정 불가능, Gödel 불완전 성, Chaitin 불완전 성, Russell의 역설 등-모두 사선 화에 의해 본질적으로 동일한 증거를가집니다 (이것은 그들이 할 수있는 것보다 더 구체적입니다) 오히려, 이러한 정리 모두가 정말 사용하는 느낌, 모든 대각에 의해 증명 같은 자세한 내용은 …
2
프랙탈 미로의 결정 성
프랙탈 미로는 자체의 사본을 포함하는 미로입니다. 예를 들어, 이 기사 에서 Mark JP Wolf의 다음 내용은 다음과 같습니다 . 마이너스에서 시작하여 플러스로 향하십시오. 더 작은 미로 사본을 입력 할 때는 해당 사본의 문자 이름을 기록해 두십시오. 입력 한 역순으로 입력 한 미로의 각 중첩 사본을 종료해야합니다 (예 : A 입력, …
3
하이퍼 컴퓨팅 모델이 어떻게 정지 문제를 극복합니까?
하이퍼 컴퓨팅은 튜링 머신을 사용하여 시뮬레이션 할 수없는 계산 모델을 말합니다. (하이퍼 컴퓨터가 반드시 물리적으로 실현 가능한 것은 아닙니다!) 일부 하이퍼 컴퓨터는 표준 튜링 기계 의 정지 문제 를 해결할 수있는 리소스에 액세스 할 수 있습니다. 이것을 "초능력"이라고 부릅니다. 초능력을 가진 하이퍼 컴퓨터는 표준 Turing 기계의 종료 여부를 결정할 수 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.