«undecidability» 태그된 질문

2
주어진 모양이 평면을 타일링 할 수 있는지 여부를 결정할 수 있습니까?
Wang 타일을 사용하는 Berger의 결과로 타일 세트가 평면을 타일링 할 수 있는지 여부를 결정할 수 없다는 것을 알고 있습니다 . 내 질문은 주어진 단일 타일이 평면, 일 면체 타일을 타일링 할 수 있는지 여부를 결정할 수없는 것으로 알려져 있는지 여부 입니다. 이것이 불안정한 경우, 결정 불가능한 증거가있는 타일 세트의 최소 …
1
명확한 문맥이없는 언어의 동등성을 결정할 수 있습니까?
일반적인 문맥이없는 언어에서는 동등성 문제를 결정할 수없는 것으로 잘 알려져 있습니다. 그러나 내가 알고있는이 사실의 모든 증거는 모호한 컨텍스트 프리 문법을 포함하는 것으로 보입니다. 이러한 이유로, 나는 자신을 명백한 맥락없는 언어로 제한하면서 문제를 결정할 수 없는지 여부를 알고 싶습니다 . 즉, 명확성이 부여 된 선험적 인 무 문법 문법이 두 …
2
적은 양의 입력을 제외한 효율적인 솔루션의 문제
튜링 기계의 정지 문제는 아마도 정식 결정 불가능한 세트 일 것입니다. 그럼에도 불구하고 거의 모든 인스턴스를 결정하는 알고리즘이 있음을 증명합니다. 따라서 정지 문제는 복잡성 이론의 "블랙홀"현상을 나타내는 사람들의 증가하는 수집 중에 있으며, 실현 불가능하거나 결정 불가능한 문제의 어려움은 문제가있는 매우 작은 영역 인 블랙홀에 국한됩니다. 쉬운. [Joel David Hamkins와 Alexei …
3
P에는 PA 또는 ZFC와 독립적 인 언어가 포함되어 있습니까? (TCS 커뮤니티 위키)
답 : 알 수 없습니다. 질문은 자연스럽고 개방적이며 명백히 어렵습니다. 이제 질문은 커뮤니티 위키입니다. 개요 이 질문은 복잡도 클래스 속하는 언어 피피P (이러한 언어를 허용하는 의사 결정 Turing Machine (TM))와 함께 두 개의 보완 서브 클래스 로 나누려고합니다 . 영지 언어 및 TM (유효성 / 이해가 가능한)과 암호 언어 및 …
1
논리 문제를 해결하기위한 대략적인 방법에 대한 좋은 참조
많은 논리 문제 (예를 들어, 여러 모달 논리의 만족도 문제)를 결정할 수없는 것으로 알려져 있습니다. 알고리즘 이론, 예를 들어 조합 최적화에서 결정 불가능한 많은 문제가 또한있다. 그러나 실제로 휴리스틱과 근사 알고리즘은 실제 알고리즘에 적합합니다. 따라서 논리 문제에 대한 대략적인 알고리즘도 적합 할 수 있습니다. 그러나 내가 찾은이 라인을 따라 유일한 …
1
공허 문제를 결정할 수없는 가장 간단한 계산 모델은 무엇입니까?
공허 문제를 결정할 수없는 가장 간단한 계산 모델은 무엇입니까? 계산 모델의 공허 문제 (예 : 유한 상태 오토 마톤, 교류 푸시 다운 오토 마톤, 카운터가있는 경계 오류 양자 오토 마톤, 결정적 LBA 등)는 해당 머신에 대해이 머신이 인식 / 정의한 언어인지 여부를 결정하는 것입니다. 비었다. 여기서 기계에 대한 설명은 유한해야합니다! …
1
비교할 수없는 자연수
"가장 큰 숫자 게임 이름 지정"은 두 명의 플레이어에게 비밀 번호를 적어달라고 요청하며, 승자는 큰 숫자를 쓴 사람입니다. 이 게임은 일반적으로 플레이어가 특정 시점에서 평가 된 기능을 기록 할 수 있도록 허용하므로 222222222^{2^{2^{2}}} 도 기록 할 수 있습니다. Busy Beaver 기능인 BB(x)비비(엑스)BB(x) 값은 x엑스x 큰 값에 대해 (ZFC 또는 합리적인 …
2
메타 비결 정성은 가능합니까?
결정 가능한 문제가 있고, 결정 불가능한 문제가 있으며, 반결 정성 등이 있습니다. 이 경우 문제를 메타로 결정 할 수 없는지 궁금합니다. 이것은 (적어도 내 머리 속에) 결정 가능한지 여부를 알 수 없다는 것을 의미합니다. 아마도 결정 가능성이 결정 불가능한 것으로 알려져 있으며 (모든 것이 메타 결정 불가능한 것임), 어떤 것에 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.