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

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

3
가장 짧은 등가 CNF 공식
하자 될 만족할 와 CNF 화학식 변수 절. 하자 의 솔루션 공간이 될 . N mF1F1F_1nnnmmm F 1SF1SF1S_{F_1}F1F1F_1 주어진 결정의 문제가 고려 다른 CNF 수식 같은 변수들의 동일 세트 함께 (동일 솔루션 공간 )하지만, 가능한 한 적은 수의 절 등으로 (유일 목표는 절 수를 최소화하는 것이므로 각 절에 몇 개의 …
2
XORification의 사용
XORification은 모든 변수 를 고유 변수 의 XOR 로 대체하여 부울 함수 또는 수식을 더 어렵게 만드는 기술 입니다. k ≥ 2 x 1 ⊕ … ⊕ x k엑스xxk ≥ 2k≥2k\geq 2엑스1⊕ … ⊕ x케이x1⊕…⊕xkx_1 \oplus \ldots \oplus x_k 필자는 논문과 같이 해상도 기반 증명 시스템의 공간 하한을 얻기 위해 …
3
정확하게 슈퍼 스트링 해결
가장 짧은 슈퍼 스트링 문제의 정확한 복잡성에 대해 알려진 것은 무엇입니까? 그것은보다 더 빨리 해결 될 수 ? TSP로 줄이지 않고 가장 짧은 수퍼 스트링을 해결하는 알려진 알고리즘이 있습니까?O∗(2n)O∗(2n)O^*(2^n) UPD : 는 다항식을 억제합니다.O∗(⋅)O∗(⋅)O^*(\cdot) 가장 짧은 수퍼 스트링 문제는 주어진 문자열 집합의 각 문자열을 포함하는 가장 짧은 문자열 인 대답입니다. …
1
게이트 팬 아웃 1을 사용 하여
편집 (2011 년 8 월 22 일) : 나는 질문을 더 단순화하고 질문에 현상금을 넣습니다. 아마도이 간단한 질문에 쉽게 대답 할 수 있습니다. 또한 더 이상 관련이없는 원래 질문의 모든 부분을 취소 할 것입니다. (Stasys Jukna와 Ryan O'Donnell에게 원래 질문에 부분적으로 답변 해 주셔서 감사합니다!) 배경: 깊이 k 및 크기 …
3
시간과 쿼리 복잡성 간의 균형
시간 복잡성이나 회로 하한선으로 직접 작업하는 것은 무섭습니다. 따라서 쿼리 복잡성 (또는 의사 결정 트리 복잡성)과 같은 도구를 개발하여 하한을 처리합니다. 각 쿼리는 하나 이상의 단위 단계를 수행하고 쿼리 간 계산은 무료로 계산되므로 시간 복잡도는 쿼리 복잡도만큼이나 높습니다. 그러나 분리에 대해 말할 수 있습니까? 고전 또는 양자 문헌에서의 작업에 대해 …
4
테스트에서 버그가 없음을 확인할 수 있습니까?
n( n + 1 )(n+1)(n + 1)차수 의 다항식을 고유하게 결정하려면 점이 필요합니다 . 예를 들어 평면의 두 점이 정확히 하나의 선을 결정합니다.엔nn 고정 언어로 를 계산하는 프로그램의 길이를 고려할 때 계산 가능한 함수 을 고유하게 결정하려면 몇 개의 포인트가 필요 합니까? (즉, Kolmogorov의 복잡성 에 대한 경계 ).f f에프: …
4
직접 SAT에서 3-SAT로 감소
여기서 목표는 가장 적은 수의 절과 변수를 사용하여 임의의 SAT 문제를 다항식 시간으로 3-SAT로 줄이는 것입니다. 내 질문은 호기심에 의해 동기 부여됩니다. 덜 공식적으로 저는 "SAT에서 3-SAT로 '가장 자연적인'감축이 무엇입니까?" 이제 교과서에서 항상 본 축소는 다음과 같습니다. 먼저 SAT를 예로 들어 Cook-Levin 정리를 적용하여 SAT를 회로 SAT로 줄이십시오. 그런 다음 …
2
회로 크기에 대한 계층 정리
회로 복잡도에 대한 크기 계층 정리가이 분야에서 큰 돌파구가 될 수 있다고 생각합니다. 수업 분리에 대한 흥미로운 접근법입니까? 질문의 동기는 우리가 말해야한다는 것입니다 크기 회로로 계산할 수없고 f ( n ) < o ( g ( n ) ) 인 크기 g ( n ) 회로 로 계산할 수있는 기능이 …
2
PH에 대한 시간 계층 정리가 있습니까?
이것은 시간의 다항식 계층 풀 수있는 문제가있는 것은 사실이다 으로 풀 수없는 (다항식 계층의 일부 레벨 기계 튜링 교류에 의해) 의 다항식 계층의 모든 수준? 다시 말해, P와 NP에 대한 다항식 계층에 대한 시간 계층 정리가 존재 하는가? 있다면-참조가 좋을 것입니다.O(nk)O(nk)O(n^k)O(nk−1)O(nk−1)O(n^{k-1}) 내가 직면 한 어려움은 모든 레벨의 계층에서 머신을 시뮬레이션 …
5
P = NP가 P = AP를 의미하지 않는 이유는 무엇입니까 (예 : P = PSPACE)?
이면 다항식 계층 구조가 붕괴되고 것으로 잘 알려져 있습니다.P = N P P=NP\mathbf{P}=\mathbf{NP}P = P HP=PH\mathbf{P}=\mathbf{PH} 이것은 oracle machine을 사용하여 쉽게 유도 할 수 있습니다. 문제는-왜 우리는 지속적인 교대 수준 이상의 유도 과정을 계속하고 (일명 )?P = A l t T i m e ( n O ( 1 ) …
4
P = BQP 인 경우 PSPACE (= IP) = AM을 의미합니까?
최근 Watrous 등은 QIP (3) = PSPACE가 놀라운 결과임을 입증했습니다. 이것은 나 자신에게 가장 적은 말을 한 놀라운 결과였으며 생각을 떨쳐 버렸습니다 ... Quantum Computers가 Classical Computers로 효율적으로 시뮬레이션 될 수 있는지 궁금했습니다. IP와 AM으로 나누기와 관련이있을 수 있습니까? 내 말은 IP는 다항식 수의 고전적 상호 작용을 특징으로하는 반면 AM은 …
1
지배적 세트 문제가 최대 3 NP- 완전의 평면 이분 그래프로 제한됩니까?
누구든지 최대 등급 3의 평면 이분 그래프 클래스로 제한되는 그래프의 DOMINATING SET 문제에 대한 NP- 완전성 결과에 대해 알고 있습니까? 최대 3 도의 평면 그래프 클래스 (Garey와 Johnson 책 참조)와 최대 3 도의 2 분자 그래프 (M. Chlebík 및 J. Chlebíková 참조, "근사 경도 경계도 그래프에서 설정된 문제를 지배 함 …
2
충분히 큰 치수의 아핀 부분 공간에서 일정하지 않은 부울 함수
명시 적 부울 함수 f에 관심이 있습니다 .에프:0 , 1엔→0 , 1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\} 가 일부 아핀 부분 공간에서 상수 인 경우에프ff ,이 부분 공간의 차원은 o ( n ) 입니다.0 , 1엔0,1n\\{0,1\\}^no ( n )o(n)o(n) 부분 공간 A =x ∈0 , 1엔∣ x1⊕ x2= 1 , x삼⊕ …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.