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

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

10
P 대 NP 문제에 대해 배울 수있는 자료
나는 최근 Clay Mathematics Institute의 Stephen A. Cook이 설명한 대 N P 문제 에 대해 상기시켰다 .피P\mathsf{P}N PNP\mathsf{NP} 그것은 내 관심을 끌었고 그것에 대해 더 많이 배우고 싶습니다. 첫 번째 단계는 문제에 대한 더 깊은 이해와 일반적으로 해당 영역에 대한 이해를 얻는 것입니다. 문제에 대해 더 자세히 배울 수있는 책이나 …
2
연결된 모든 하위 그래프 계산의 복잡성
G를 연결된 그래프라고하자. G가 다음 유형 인 경우 연결된 모든 하위 그래프 를 계산하는 것이 얼마나 복잡 합니까? G는 일반적입니다. G는 평면이다. G는 이분입니다. 나는 구조에 관심이 없거나 ..., 연결된 모든 하위 그래프를 계산해야합니다! 또한 G에서 정확히 k 개의 노드 로 연결된 모든 하위 그래프 를 계산하는 복잡성에 관심이 있습니다 …
2
결정 가능하지만 다항식 시간으로 확인할 수없는 문제
Suresh를 위해 다소 관련이없는 프로젝트를 진행하면서 최근에는 사용자 구성 시스템에 대해 Page와 Opper가 수행 한 일부 작업과 일부 작업에 대해 다항식 시간으로 확인할 수없는 문제에 대해 간략하게 논의했습니다. 다항식 시간으로 확인할 수 없거나 다른 문제를 분석 할 수없는 다른 문제에 대한 많은 정보를 찾지 못했습니다. 여러분 중 누구라도 그러한 문제 …
1
3SAT 만족도의 다루기 쉬운 조건
내가 특히 궁금한 것은 그러한 문제가 다루기 쉬운 것을 보장하기 위해 3SAT 공식을 만족시키는 과제의 비율에 흥미로운 조건이 있는지 여부입니다. 예를 들어, 2 n 가능한 대입 중 이 부울 공식을 만족시키는 3SAT 문제의 클래스를 가정하십시오 . 만족스러운 과제를 효율적으로 찾을 수 있습니까? 무엇을 위해 ε는 P의 결과 문제가?ϵ ( n …
2
PH- 완전한 문제가 존재하면 상대성이 있습니까?
Baker-Gill-Solovay 결과에 따르면 P = NP 질문은 상대성이 증명되지 않았으며 (Oracle의 존재에 민감하지 않은) 상대적인 증거가 P = NP 질문을 해결할 수 없다는 의미에서 관련성이 없습니다. 내 질문은 : "PH- 완전 문제가 있습니까?"라는 질문에 대해 비슷한 결과가 있습니까? 이 질문에 대한 부정적인 대답은 P! = NP; 긍정적 인 대답은 PH가 …
2
는
으로 http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf 경우 PSPACE 완성 언어이며, .P A = N P AㅏAA피ㅏ= N피ㅏPA=NPAP^{A}=NP^{A} 경우 결정적 다항식 시간 오라클, 인 (가정 ).P B ≠ N P B P ≠ N P비BB피비≠ N피비PB≠NPBP^{B}\ne NP^{B}피≠ N피P≠NPP\ne NP # P P ⊆ P P ⊆ P S P A C E피피PPPP 는 및 대한 …
3
최대 제약 만족 문제에 어려움이 있습니까?
PCP 정리의 등가 공식은 다음과 같습니다. Max 3-SAT의 경우, 만족할 수있는 공식과 절의 최대 r- 분획이 만족할 수있는 공식 (일부 r \ lt 1 ) 을 구별 하는 것은 - hard입니다 .NPNPNPrrrr<1r<1r\lt 1 모든 Max CSP가 격차가 있는지 여부에 따라 분류되는 알려진 이분법 정리가 있습니까? 2010 년 12 월 16 …
1
연관성을 결정하기위한 통신 복잡성
하자 { 0 , . . . , N - 1 } 및 ∘ : S × S → S . ○ 가 연관 인지 여부를 결정하는 통신 복잡성을 계산하고 싶습니다 .S=S=S=0,...,n−10,...,n−10,...,n-1∘:S×S→S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ 모델은 다음과 같습니다. 는 행렬 M으로 주어진다 . Alice (Resp. Bob)에는 무작위로 …
3
P 또는 NP를 캡처하는 VO 로직의 자연적인 제한이 있습니까?
종이 Lauri Hella 및 José María Turull-Torres, 고차원 논리를 사용한 쿼리 쿼리 , TCS 355 197–214, 2006. doi : 10.1016 / j.tcs.2006.01.009 가변 순서 논리, 논리 VO를 제안합니다. 이를 통해 변수에 대한 차수를 수량화 할 수 있습니다. VO는 매우 강력하며 계산할 수없는 쿼리를 표현할 수 있습니다. (아래 Arthur Milchior가 지적한 …
1
PCP 정리 증명 기술 문제
나는 여기서 증거를 읽고 있는데 기술적 (아직 결정적인) 문제에 걸려 넘어졌다. 나는 이것이 다소 구체적이고 상황이 문제가 있다는 것을 알고 있지만 스스로 알아낼 수는 없습니다. 51 페이지와 55 페이지에서 "표준"검증기를 제시 한 후 분할 할당을 확인하기 위해 검증기를 수정합니다. 첫 번째 사례 (51 페이지)에서 f1,…,fkf1,…,fkf_1,\dots,f_k 가 다항식 코드와 0.010.010.01 가까운 …
1
찾기보다 검증하기 쉬운 대수 길이 감시의 예
비 결정적 비트를 사용하는 다항식 비결정론 적 프로그램 으로 문제 를 결정할 수 있는 경우 (즉, 모든 증인의 길이는 로그 길이 임) 입니다.ㅏㅏAO ( 로그n )영형(로그⁡엔)O(\log n)A ∈ Pㅏ∈피A \in \mathsf{P} 그렇다면 "증인을 찾는 것보다 증인을 확인하는 것이 더 쉬운가?"라는 질문을하면 그러한 문제에 대해 모든 다항식 실행 시간이 동등한 것으로 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.