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

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

2
이유는 믿는
많은 사람들이 를 믿는 것으로 보입니다. (Shiva Kintali는 몇 가지 다른 후보 문제를 여기에 나열했습니다 ).피≠ N피∩ c o N피P≠NP∩coNPP \ne NP \cap coNP 반면, Grötschel, Lovász 및 Schrijver는 "많은 사람들이 라고 믿는다 "고 . 이 인용문은 Geometric Algorithms and Combinatorial Optimization 에서 찾을 수 있으며 Schrijver는 Combinatorial Optimization : …
2
래드 너 정리 vs 쉐퍼 정리
"복잡성 계산에서 승리를 선언 할 때입니까?" 기사를 읽는 동안 이상에서 "괴델의 분실 문자 및 P = NP" 블로그, 그들은 CSP의의 이분법을 언급했다. 인터넷 링크와 위키 핑을 따라 간 링크를 따라 Ladner Theorem을 발견했습니다 . 라드의 정리 : 만약 , 다음에 문제가있는 아닌 - 완전한은.N P ∖ P N PP ≠ …
3
행렬의 커널에 항목이 -1, 0 또는 1 인 0이 아닌 벡터가 포함되어 있는지 확인
주어 mmm 하여 nnn 이진 행렬 MMM (항목이 000 또는 111 개의 이진 벡터가 존재하면), 문제가 결정하는 v1≠v2v1≠v2v_1 \ne v_2 되도록 Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2 (모든 작업에 걸쳐 수행 ZZ\mathbb{Z} ). 이 문제가 NP-hard입니까? 두 벡터를 증인으로 줄 수 있으므로 NP에 분명히 있습니다. 등가 : 주어 MMM , 비 - 제로 …
1
주어진 회로가 순열을 계산 하는지 결정
입력 비트와 출력 비트를 가진 회로가 의 순열을 계산 하는지 여부를 결정하는 것은 어떤 복잡성 입니까? 다시 말해, 에있는 모든 비트 열이 어떤 입력에 대한 회로의 출력인지 아닌가? 연구 된 문제처럼 보이지만 참조를 찾을 수 없습니다. nn{0,1 } n {0,1 } nN C0NC0\mathsf{NC}^0엔nn엔nn{0,1}n{0,1}n\{0,1\}^n{0,1}n{0,1}n\{0,1\}^n
3
모노톤 양자 회로의 개념
계산 복잡성에서 모노톤과 일반 계산 사이에는 중요한 차이가 있으며 Razborov의 유명한 정리는 3-SAT 및 MATCHING이 모노톤 부울 회로 모델에서 다항식이 아니라고 주장합니다. 내 질문은 간단합니다 : 모노 톤 회로 (또는 둘 이상)에 대한 양자 아날로그가 있습니까? 양자 라즈 보 로프 정리가 있습니까?
2
NC 회로가 순열을 계산 하는지 여부 결정
QiCheng이 대답하지 않은 채로 주어진 주어진 NC 0 회로가 순열을 계산 하는지 결정 하는 문제의 특별한 경우에 대해 묻고 싶습니다 . 부울 회로는 NC라고 0 K의 각 출력 게이트 구문 이하인 경우에 따라 달라 회로 (K)의 입력 게이트. (우리는 출력 게이트라고 g이 구문에 따라 입력 게이트 g '로부터 직접 경로가있을 …
2
토폴로지 특성의 복잡성.
저는 토폴로지 (코스 연속체 이론에 큰 영향을받는 포인트 세트 토폴로지의 뿌리)에 관한 과정을 수강하는 컴퓨터 과학자입니다. 토폴로지 특성에 대한 공간 설명 (단순으로)을 테스트하는 의사 결정 문제에 관심을 갖게되었습니다. 그것들은 동종 형성까지 보존되었다. 예를 들어, 매듭의 속을 결정하는 것은 PSPACE에 있으며 NP-Hard 인 것으로 알려져 있습니다. (Agol 2006; Hass, Lagarias, Pippenger …
2
효율적인 양자 솔루션의 NP- 중간 문제
Peter Shor 는 가장 중요한 NP- 중간 문제인 팩토링과 이산 로그 문제가 BQP에 있음 을 보여주었습니다 . 대조적으로, SAT (Grover 's search)에 대해 가장 잘 알려진 양자 알고리즘은 고전적인 알고리즘에 비해 2 차 개선을 가져 오므로 양자 컴퓨터에서 NP- 완전한 문제는 여전히 다루기 힘들다는 것을 암시합니다. Arora와 Barak이 지적했듯이 BQP에는 …
2
Parity-L = P의 결과는 무엇입니까?
Parity-L 은 비 결정적 튜링 머신에 의해 인식되는 언어 세트로, 짝수 또는 홀수의 "수락"경로 (0 또는 0이 아닌 허용 경로가 아닌) 만 구별 할 수 있습니다. 대수 공간에서 작동하도록 제한되었습니다. ℤ 2 이상의 방정식의 선형 시스템을 푸는 것은 Parity-L의 완전한 문제이므로 Parity-L은 P에 포함됩니다. Parity-L과 P가 같으면 다른 어떤 복잡한 …
3
에 자연적인 문제에 대한 후보가 있습니까?
불균일성이 실제로 컴퓨팅 기능에 도움이되는지 알고 싶습니다. 함수가 있음을 보여주고 , 계산할 수없는 함수 취하고 , 간단한 비 균일 회로를 갖는 언어 { }를 고려하는 것이 쉽습니다 그러나 균일하게 계산할 수는 없지만 이것은 내가 관심있는 기능이 아닙니다.P/poly−PP/poly−PP/poly - Pfff0f(n):n∈ω0f(n):n∈ω0^{f(n)}:n\in \omega 불균일하게 계산 될 수 있다는 것을 알고 있지만 균일하게 계산 …
6
어떤 SAT 문제가 쉬운가요?
만족스러운 "쉬운 영역"이란 무엇입니까? 다시 말해, 일부 SAT 솔버가 존재한다고 가정하여 만족스러운 할당을 찾을 수있는 충분한 조건입니다. 한 가지 예는 각 절이 LLL의 건설적 증거 로 인해 다른 절과 변수를 공유 하는 경우 해당 줄을 따라 다른 결과가 있습니까? 거기에 상당한 문학 믿음 전파 쉬운 지역에가, satisfiability에 대한 그 라인을 …
2
BQP를 캡처하는 대략적인 계산 문제
블랙 박스 모델에서, 입력 상에서 BPP 머신 의 출력을 결정하는 문제는 가산 오차 1/3 (예를 들어) 인 을 결정하는 대략적인 카운팅 문제이다 .xM(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) BQP에도 비슷한 문제가 있습니까? Ken Regan의이 의견 은 그러한 문제를 제안합니다 BPP 질문을 단일 #P 함수에 가깝게 줄일 수 있지만 BQP를 사용하면 두 #P 함수의 차이점을 …
6
계산에서 실수는 어떻게 지정됩니까?
이것은 기본적인 질문 일지 모르지만 내쉬 평형 계산 및 선형 퇴행성 테스트와 같은 주제에 대한 논문을 읽고 이해하려고 시도했으며 실수가 입력으로 지정되는 방법을 확신하지 못했습니다. 예를 들어, LDT에 특정 다항식 하한이 있다고 언급 될 때 실수는 입력으로 취급 될 때 어떻게 지정됩니까?
1
매트릭스 파워 링의 복잡성
하자 사각형 정수 행렬 및하자 n은 양의 정수를합니다. 다음 의사 결정 문제의 복잡성에 관심이 있습니다.NMMMnnn M ^ n 의 오른쪽 상단 항목이 MnMnM^n양수입니까? 반복 된 제곱 (또는 다른 명시 적 계산)의 명백한 접근 방식은 두 배의 지수 크기, 즉 지수 적으로 많은 비트를 갖는 정수를 잠재적으로 처리해야합니다. 그러나이 문제는 Allender …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.