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

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

1
에서 자연 문제
복잡성 클래스 (에서 다음과 같이 정의된다 위키 )에스피2S2P\textrm{S}_2^\textrm{P} 언어 인 S P 2 다항식 시간 술어가 있으면 P가 되도록엘LL에스피2S2PS_2^P피PP 경우 , 다음 존재 Y 되도록 모든 Z , P ( X , Y , Z ) = 1x ∈ Lx∈Lx \in L와이yy지zz피( x , y, z) = 1P(x,y,z)=1P(x,y,z)=1 경우 , …
1
로그 순위 추측 사용이 실제보다 순위가 높은 이유는 무엇입니까?
통신 복잡성에서 로그 순위 추측은 cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} 여기서 은 M ( x , y ) 의 통신 복잡도 이고 r k ( M ) 은 실수에 대한 M (행렬) 의 순위입니다 .cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM 그러나 계급 방법을 사용하여 하한 을 사용 하는 경우 편리한 모든 필드에서 r k 를 사용할 …
1
증명
Razborov 의 연설 에서 호기심 많은 작은 진술이 게시됩니다. FACTORING이 어렵다면, 에서 Fermat의 작은 정리는 증명할 수 없습니다 S12S21S_{2}^{1}. 란 무엇 S12S21S_{2}^{1}이며 왜 현재 증명이 S12S21S_{2}^{1} 없는가?
1
결정 론적 의사 난수는 임의성보다 병렬 적으로 더 강력합니까?
클래스 BPNC (조합하자 및 N C는 ) 랜덤 소스 경계 오차 확률 액세스 (이 다른 이름을 갖는 경우 I 모르겠습니다)와 로그 깊이 병렬 알고리즘 될. 모든 프로세스가 알고리즘 시작시 고정 된 임의의 비트 스트림에 임의로 액세스 할 수 있다는 점을 제외하고 DBPNC 클래스를 유사하게 정의하십시오.BPPBPP\mathsf{BPP}NCNC\mathsf{NC} 다시 말해, BPNC의 각 프로세스는 …
1
부울 회로의 하한이 산술 회로 하한을 의미하지 않는 이유
내 질문은 왜 결정자에 대한 게이트 "and"및 "xor"를 가진 깊이 3 부울 회로의 하한이 통한 산술 회로의 동일한 하한을 의미하지 ZZ\mathbb{Z}않습니까? 다음 인수의 문제점 : CCC 행렬식을 계산하는 산술 회로로 설정 한 다음 모든 변수 mod 2를 취하면 부울 회로 연산식이 결정됩니다.
1
부울 수식 균형
부울 수식 균형 문제 의 복잡성에 대한 참조를 찾고 있습니다. 특히, 부울 공식은 에서 균형을 수 있다는 것을 알고 있습니까?C0AC0\mathsf{AC^0} 부울 공식 밸런싱이 있다는 간단한 증거가 있습니까?C0AC0\mathsf{AC^0} "단순"이란 아래에서 언급 한 것보다 단순한 증거를 의미합니다. 특히 에있는 부울 수식 평가에 의존하지 않는 증거를 찾고 있습니다.N C1NC1\mathsf{NC^1} 배경 여기에 언급 된 …
3
Las Vegas 알고리즘을 사용하는 가장 빠른 BPP 시뮬레이션은 무엇입니까?
BPPBPP\mathsf{BPP} 및ZPPZPP\mathsf{ZPP} 는 기본적인 확률 적 복잡성 클래스 중 두 가지입니다. BPPBPP\mathsf{BPP} 는 오답 다항식 시간 튜링 알고리즘에 의해 결정된 언어의 클래스로, 오답이 반환되는 알고리즘의 확률이 제한됩니다. 즉, 오류 확률은 최대1313\frac{1}{3} (YES 및 NO 인스턴스 모두). 반면에 ZPPZPP\mathsf{ZPP} 알고리즘은 답을 반환 할 때마다 정답을 반환하지 않는 확률 적 알고리즘으로 볼 …
2
역 3-SAT 정보
문맥 : Kavvadias 및 Sideri을 감안할 때 : 역 3-SAT 문제가 CONP가 완료되었음을 보여 주었다 φϕ\phi 에 모델 세트 Nnn 하는 3-CNF 공식은이 변수 φ는ϕ\phi 모델의 정확한 설정되어 있습니까? 즉각적인 후보 수식 모델 모두 만족하는 모든 3 절의 함께 발생되는 φϕ\phi . 그것은 암시 모든 3 절을 포함하기 때문에, 이러한 …
1
확률 적 증거 시스템의 일방적 인 오류
가장 확률 방지 시스템 (예를 들어 PCP 정리,)에서 오류 확률은 보통 즉, 가양의 측면에 정의되어, 일반적인 정의는 볼 수 있었다 같은 경우 다음 항상 있지만에서 받아 검증 다른 경우 거부 확률은 1/2 이상입니다.x∈Lx∈Lx \in L 다른 쪽에서 오류가 발생하는 데 문제가 있습니까? 즉, 검증자는 항상 필요할 때 거부하고 수락해야 할 …
1
가요
나는 문헌에서 및 에 관한 진술을 찾을 수 없었습니다 . 포인터가 감사하겠습니다.N P R PMAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} 나는 그들이 같다고 믿는다. N P R PMA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : 시스템은 멀린의 문자열을 추측하고 오라클은 Arthur가 문자열을 확인합니다.NPNP\mathsf{NP}RPRP\mathsf{RP} N P R P R PNPRP⊆MANPRP⊆MA\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA} : 멀린의 취입 연산 추측 받는 모든 통화뿐만 …
4
P 대 BPP에 대한 Oracle 결과
하자 BE 어떤 EXP 완전한 문제. 그런 다음, P A = N P A 입니다.ㅏAA피ㅏ= N피ㅏPA=NPAP^A = NP^A 를 M (P의 TM)이 수행 할 쿼리를 고려한 오라클 이라고하자. P B ≠ N P B를 얻을 수있다 .비BB미디엄MM피비≠ N피비PB≠NPBP^B \neq NP^B 질문 : P 대 BPP에 대해 비슷한 오라클 결과가 있습니까?
1
고정 매개 변수 다루기 쉬운 정의의 동기는 무엇입니까?
Wikipedia의 글을 참고하세요 : FPT가 시간에 해결할 수있는 것들이다 다루기 쉬운 문제 파라미터 고정 포함 일부 계산 가능한 함수의 경우 O ( 1 ) f . 일반적으로이 함수는 2 O ( k ) 와 같은 단일 지수로 생각 되지만 그 정의는 더 빠르게 성장하는 함수를 인정합니다. 이것은이 수업의 초기 역사의 …
1
비 결정적, 확률 적 및 양자 계산에서 "분기"를 균일하게 정량화하는 방법은 무엇입니까?
비 결정적 튜링 머신 (NTM)의 계산은 시작 구성에 근거한 구성 트리로 표현할 수있는 것으로 잘 알려져 있습니다. 프로그램의 모든 전환은이 트리에서 아버지-자식 링크로 표시됩니다. 확률 적 및 양자 기계의 계산을 시각화하기 위해 유사한 트리를 구성 할 수도 있습니다. (같은 수준의 트리에서 동일한 구성을 나타내는 두 개의 노드가 양자 간섭으로 인해 …
2
그래프 동형 결정
그래프 동형 결정은 일반적으로 NP-Complete입니다. 기본 그래프에 대수적 구조가있을 때 (예 : Cayley 또는 Cayley coset 그래프에서 명확한 구조를 가진 다른 그래프로 동형 결정) 이러한 문제를 연구하는 결과가 있습니까? 또한 복잡한 결과에 도움이되는 대수 및 / 또는 스펙트럼 기법에 관심이 있습니다.
3
Google의 Turing Doodle은 어떤 유형의 오토 마톤입니까?
Alan Turing의 생일을 축하하기 위해 Google 은 기계를 보여주는 기념일 로고 를 게시했습니다 . 기념일 로고는 어떤 기계입니까? 튜링 컴플리트 언어를 표현할 수 있습니까? 고전적인 튜링 기계와는 명백한 차이점이 있습니다. 유한 테이프, 상태 연결 방법의 제약, ... 기념일 로고는 여기에서 계속 사용할 수 있습니다 (오른쪽 상단의 디스플레이는 예상 출력을 보여줍니다.) …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.