«cc.complexity-theory» 태그된 질문

P 대 NP 및 기타 리소스 제한 계산.

1
HORN-SAT에 대한 대화식 증명?
증명자가 HORN-SAT 표현이 만족 스럽다는 것을 검증 자에게 확신시킬 수있는 방법이 있습니까? HORN-SAT에 대한 선형 시간 알고리즘이 있기 때문에 물론 이것은 어리석은 것처럼 보일 수 있습니다. 반면, HORN-SAT는 P- 완료이므로 P = L이 아니면 로그 공간 알고리즘이 없습니다. 따라서 검증기의 계산 능력을 L로 제한하십시오. 이제 검증기는 매우 미약하므로 문제는 더 …
1
쌀 정리의 설명적인 복잡한 버전을 사용하여 AC0과 PSPACE를 분리 할 수 ​​있습니까?
에서 이 질문에 , 그것은 쌀의 정리의 설명 복잡성 버전이 있다는 것을 언급했다. 나는 다음 정리의 증거를 발견했다. 복잡성 수준을 감안할 때 C 에서 언어의 사소 특성 C가 계산 될 수없는 C 나는 이전에 내가 찾은 증거를 게시했지만, 너무 길었고이 논문이 이미 그 정리에 대한 증거를 포함하고 있다는 의견에서 지적 …
3
결정론과 비결정론을 연구하기 위해 더 큰 클래스를 사용하지 않는 이유는 무엇입니까?
시간 계층 구조에 대한 이전 질문에서 두 클래스 사이의 동등성이 더 복잡한 클래스로 전파되고 불평등은 덜 복잡한 클래스로 전파 될 수 있으며 패딩을 사용하는 인수가 있습니다. 따라서 질문이 떠 오릅니다. 가능한 가장 작은 클래스에서 다른 유형의 계산 (또는 리소스)에 대한 질문을하는 이유는 무엇입니까? 대부분의 연구자들은 라고 믿는다 . 이 클래스의 …
1
결의 절 공간 복잡성에 대한 직접 합 정리?
결의안은 CNF의 불만족을 입증하는 제도입니다. 해결 증거는 CNF의 초기 조항에 대한 빈 조항의 논리적 추론입니다. 특히 모든 초기 조항을 유추 할 수 있으며 두 조항 A∨xA∨xA \lor x 및 B∨¬xB∨¬xB \lor \neg{x} 에서 조항 A∨BA∨BA \lor B 도 추론 할 수 있습니다. 반박은 공제로 끝나는 일련의 추론입니다. 그러한 반박이 구현되면, …
3
실질적인 결과
배경 회로 복잡도 은 무한 팬인 AND, OR 및 NOT을 사용하여 빌드 된 경계 깊이 및 다항식 크기 의 회로 패밀리 세트 (즉, 회로 시퀀스, 각 입력 크기마다 하나씩)로 정의 됩니다.C0AC0AC^0 비트 입력 의 패리티 함수 는 입력 비트의 XOR과 같습니다.n⊕⊕\oplus엔nn 회로 복잡성이 입증 된 첫 번째 회로 하한은 다음과 …
1
복잡성과 계산 계층에 걸친 문제의 균일 한 계층
누구나 균일하게 변화하고 복잡성과 계산 성의 "흥미로운"계층 구조 중 하나에 걸쳐있는 일련의 문제를 알고 있습니까? 흥미롭게도, 예를 들어 다항식 계층, 산술 계층 또는 분석 계층을 의미합니다. 또는 (N) P, (N) EXP, 2 (N) EXP,……\ldots 보다 구체적으로 : 산술 계층을 특징 짓는 균일 한 문제 세트를 제공 할 수 있습니다 : …
1
무한 도메인을 이용한 유한 일방적 순열
π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* 를 순열 이라고하자 . 반면 있습니다 ππ\pi 무한 도메인에 작용하여, 그 설명은 유한 수 있습니다. 으로 설명 , 내가 설명하는 프로그램을 의미 ππ\pi 의 기능을. (Kolmogorov 복잡도와 마찬가지로) 아래 설명을 참조하십시오. 예를 들어, NOT 함수는 그러한 순열 중 하나입니다. NOT (x) 함수 y = x라고하자 …
2
정사각형 그리드에 숨겨진 다각형 퍼즐의 복잡성?
히로이 모노 인기입니다 - 완전한 퍼즐. 관련 퍼즐의 계산 복잡성에 관심이 있습니다.NPNPNP 문제는: 입력 : x n 정사각형 그리드 에있는 점 세트 와 정수 knnnnnnkkk 질문 : 다각형 모서리의 점 수가 k 이상이 되도록 직선 다각형 ( 또는 y 축에 평행 한 변 )이 있습니까?xxxyyykkk 다각형의 모든 모서리는 입력 점 …
2
SAT 인스턴스의 솔루션 세트를 간결하게 표현
이 질문은 이전 질문에 대한 András Salamon과 Colin McQuillan의 기여를 읽은 후 Monotone-2CNF 공식 계산 솔루션을 읽은 후에 떠 올랐습니다 . EDIT 30 일 2011년 3월 추가 질문 N ° 2 EDIT 29 번째 2010년 10월 질문의 개념을 통해이를 공식화 안드라스 제안 후 고쳐 솔루션 세트의 좋은 표현 (나는 그의 …
1
무제한 소수 하이퍼 트리 폭을 가진 CSP
a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME 정의 등 표준 트리 분해 및 트리 폭에 대한 훌륭한 설문 조사는 여기를 참조 하십시오 (JeffE! 를 자서전 이라고하자 .HHH 그런 다음 하이퍼 그래프 와 매핑 경우HHHγ: 전자( H) → [ 0 , ∞ )γ:E(H)→[0,∞)\gamma : E(H) \rightarrow [0,\infty) B ( γ) =B(γ)=B(\gamma) = { }.v ∈ …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.