«computability» 태그된 질문

하자가 s의 I Z를이자형sizesize 의 λλ\lambda 다음과 같이 정의 될 -terms : s의 I Z를e ( x ) = 1size(x)=1size(x) = 1 , s의 I Z를E ( λ X . t ) = S I Z전자 ( t ) + 1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , s의 I Z를e ( …

12 lo.logic  computability  pl.programming-languages  lambda-calculus 

"가장 큰 숫자 게임 이름 지정"은 두 명의 플레이어에게 비밀 번호를 적어달라고 요청하며, 승자는 큰 숫자를 쓴 사람입니다. 이 게임은 일반적으로 플레이어가 특정 시점에서 평가 된 기능을 기록 할 수 있도록 허용하므로 222222222^{2^{2^{2}}} 도 기록 할 수 있습니다. Busy Beaver 기능인 BB(x)비비(엑스)BB(x) 값은 x엑스x 큰 값에 대해 (ZFC 또는 합리적인 …

11 computability  undecidability 

첫 번째 용어는 힐버트가 그의 1928 년 작품에서 사용했지만, 고델 의 후기 작품에서도 같은 의미를 Unvollständigkeitssatz ( "불완전 성 정리")라고합니다. 오늘날의 독일 CS 연구자들에게, Unvollständigkeitssatz 가 더 일반적으로 사용되는 것 같고 Entscheidungsproblem ( "결정 문제")은 여전히 ​​이해되지만 das Halteproblem ( Touring 의 automata에 대한 튜링의 작업 이후에 더 일반적 임) …

11 lo.logic  computability  ho.history-overview 

있다 알고리즘 그래프 이론 / 숫자 이론 / 조합론 / 정보 이론 / 게임 이론. 알고리즘 수학적 분석이 있습니까? 위키에 따르면 수학적 분석 에는 미분, 통합, 측정, 한계, 무한 시리즈 및 분석 함수 이론이 포함됩니다. 실수 변수의 실수와 실수 함수를 다루는 실수 분석 (wiki) 에 초점을 두는 것이 좋습니다. "알고리즘"은 …

11 cc.complexity-theory  reference-request  soft-question  computability 

우리가 알고 있듯이, 알고리즘의 계산 복잡도의 정의는 거의 논쟁의 여지가 없지만, 실제의 계산 복잡성 또는 실수에 대한 계산 모델의 정의는 그러한 경우가 아닙니다. 우리는 Computable Analysis 책에서 Blum and Smales의 모델과 모델을 알고 있습니다. 그리고 Computable Analysis의 모델은 클래식 모델과 일치하지만 실수의 계산 복잡도 정의는 클래식 모델로 이식 될 수 …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

매듭을 계산하는 문서화 된 방법이 있습니까? (3 차원 유클리드 공간에 포함 된 둘레). 내 말은 데이터 유형을 나타내는 데이터 유형과 데이터 유형의 두 인스턴스가 동일한 매듭을 나타내는 지 여부를 결정하는 알고리즘입니다. 대답이 긍정적이라면 그 문제의 복잡성은 어떻습니까?

11 ds.algorithms  computability 

이것은 순진한 질문 일지 모르지만 여기에갑니다. (편집-공감을 얻지 못했지만 아무도 대답을 제공하지 않았습니다. 아마 생각보다 어렵거나 모호하거나 불명확 한 질문일까요?) Gödel의 첫 번째 불완전 성 정리는 중지 문제의 결정 불가능성에 대한 증거로 입증 될 수 있습니다 (예 : Sipser Ch. 6; Scott Aaronson의 블로그 게시물 ). 내가 이해 한 것 …

11 lo.logic  computability  church-turing-thesis 

다음과 같은 문제를 결정할 수 있습니다. 문맥이없는 문법을 감안할 때 지지G 이며, L ( G ) = ∅엘(지)=∅L(G) = \varnothing ? 다음과 같은 문제는 결정할 수 없습니다. 문맥이없는 문법 주어 졌을 때 지지G, L ( G ) = A※엘(지)=ㅏ※L(G) = A^{\ast} ? 결정 가능한 동등성 L ( G ) = …

11 computability  fl.formal-languages 

이것은 입력으로서 취 알고리즘을 구성 할 수있다 푸시 다운 오토 마톤 이 오토 마톤 수락 언어한다는 약속과 함께 결정적 문맥 자유 언어이고 출력 결정적 푸시 마톤 정확하게 언어를 허용 받아 에 의해 ?MMML(M)L(M)L(M)NNNMMM 동등한 문제는 입력으로 푸시 다운 오토마타 ( 이 위와 같이 결정적 이라는 약속 )과 결정 론적 푸시 …

11 reference-request  computability  fl.formal-languages  automata-theory 

나는 "1 차 공식 에 모델이있다"라는 질문은 일반적으로 결정 불가능 하다는 것을 안다 .ϕϕ\phi 누구든지 유한 모델에 대한 답변을 제공하는 링크 나 책을 줄 수 있습니까? 1 차 수식 가있는 경우 에 유한 모델이 있는지 여부를 결정할 수 있습니까? 나는 그 질문이 잘 알려져 있다고 확신하지만 답을 찾기 위해 어디서부터 …

11 reference-request  lo.logic  computability  finite-model-theory 

다음 2 인 게임을 고려하십시오. 자연은 무작위로 프로그램을 선택합니다 각 플레이어는 자연의 움직임에 따라 [0, 무한대]로 숫자를 재생합니다 플레이어 수를 최소화하고 여러 단계에 대해 프로그램을 실행하십시오 (두 플레이어 모두 무한대를 선택하지 않는 한) 프로그램이 중단되면 최소 숫자를 플레이 한 플레이어는 1 포인트를 얻습니다. 프로그램이 중단되지 않으면 해당 플레이어는 1 점을 …

10 lo.logic  computability  gt.game-theory 

자연수 이외의 집합에 대한 계산 성의 개념이 있습니까? 논쟁을 위해 과 함께 사용 되는 세트 대해 가정 해 봅시다 .NSSSNN\mathbb{N} "그렇습니다. 형식의 함수입니다. 여기서 는 어떤 bijection 이고 는 계산 가능한 함수 ". 나는이 정의가 두 가지 이유로 조심 스럽다. g N → S f N → Ng∘f∘g−1g∘f∘g−1g \circ f …

10 computability 

계산 복잡성으로 인해 문제가 전체적으로 분류되었습니다. 그러나 미분 방정식에서 계산 구조에 따라 미분 방정식을 분류 할 수 있습니까? 예를 들어, 1 차 균질 방정식이 100 차 균질 방정식보다 해결하기 어려운 경우, 풀기 방법이 동일하다고 가정 할 때 별개의 볼록 클래스로 분류 할 수 있습니까? 우리가 해결 과정을 다양하게하면, 솔루션, 그 …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

이 질문은 알려진 가역 튜링 타르 타프가 있는지 여부에 관한 것인데, 여기서 "가역적"은 Axelsen과 Glück 의 의미를 의미 하며, "타르 타트"는 훨씬 더 비공식적 인 개념이며 단어의 선택이 좋지 않을 수 있습니다. 그러나 나는 그것이 의미하는 바를 설명하기 위해 최선을 다할 것입니다. "타르 타트"의 의미 일부 계산 모델은 어떤 식 …

10 fl.formal-languages  computability  machine-models 

문맥 : Kavvadias 및 Sideri을 감안할 때 : 역 3-SAT 문제가 CONP가 완료되었음을 보여 주었다 φϕ\phi 에 모델 세트 Nnn 하는 3-CNF 공식은이 변수 φ는ϕ\phi 모델의 정확한 설정되어 있습니까? 즉각적인 후보 수식 모델 모두 만족하는 모든 3 절의 함께 발생되는 φϕ\phi . 그것은 암시 모든 3 절을 포함하기 때문에, 이러한 …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat