이 존재 하는가 , 대칭 그룹의 일부 가족이있는 NP-또는 P-완전한 언어 G N (또는 준군을 세트에 (다항식 시간),하지만 그때 알고리즘 질문이 더 개방 될) 행동 L , N = { L ∈ L ∣ | l | = n } 궤도가 거의없는 것, 즉 | L n / G n …
에서 조약돌 게임 노드에 조약돌 난, 추가 또는 노드 I + 1에서 조약돌을 제거 할 수있을 경우 라인에 N. 0에서 노드 0에 조약돌 게임 시작을 표시 N + 1 개 노드가 있습니다. 목표는 보드에 많은 조약돌을 놓지 않고 너무 많은 단계를 거치지 않고 노드 N에 조약돌을 놓는 것입니다. 순진한 해결책은 …
경우 다항식 계층 구조가 축소 되고 것으로 알려져 있습니다.N P ⊆ P / P o l y Σ P 2 M A = A M엔피⊆ P/ PO 패 YNP\subseteq P/PolyΣ피2\Sigma_2^{P}미디엄= MMA = AM 경우 발생하는 가장 강력한 붕괴는 무엇입니까 ?N E X P ⊆ P / P o l y엔이자형엑스피⊆ …
그의 책 Computational Complexity 에서 Papadimitriou는 다음과 같이 FNP 를 정의 합니다. LLL 이 NP 의 언어 라고 가정합니다 . 법안 9.1에는 다항식 시간 결정 가능, 다항식 균형 관계 이있어 RLRLR_L모든 문자열 xxx : x ∈ L 인 경우에만 R L ( x , y )을 갖는 문자열 yyy 가 …
P 대 NP 문제에 관한 Stephen Cook의 논문에서, 그는 다음과 같이 기술한다. 타당성 이론 : 자연 문제는 다항식 시간 알고리즘을 사용하는 경우 실현 가능한 알고리즘을 갖습니다. 내 질문은, 그가 " 자연적인 문제"란 무엇을 의미 하는가? 자연스런 문제에 대해 이야기하는 것은 충분히 일반적인 것처럼 보이지만 아직 정의를 찾지 못했습니다. 뭔가 빠진 …
문제 가 EXP- 시간 완료라는 사실이 가 있지 않다는 것을 의미 합니까?AAAAAADTIME(2o(n))DTIME(2o(n))DTIME(2^{o(n)}) 시간 계층 정리에 따르면 은 포함되지 않습니다 . 그럼에도 불구하고 이것은 모든 EXP-complete 문제 대한 하위 지수 시간 알고리즘의 존재를 즉시 배제하지 않는 것 같습니다 .EXP 문제 인스턴스 를 의 문제 y의 인스턴스 y로 줄일 때 우리는 다항식을 …
짧은 질문 : MAJ-3CNF는 여러 번의 축소로 인해 PP가 완전한 문제입니까? 더 긴 버전 : MAJSAT (대부분의 명제 문장 할당이 문장을 만족시키는 지 여부를 결정)는 많은 수의 감축에서 PP- 완료이고 #SAT는 불완전한 감축에서 # P- 완전하다는 것은 잘 알려져 있습니다. Cook-Levin 감소가 과도적이고 3-CNF를 생성하기 때문에 # 3CNF (즉, #SAT가 …
그룹을위한 강력한 발전기 ( G ≤에스엔, ∗ )(G≤Sn,∗)(G \leq S_n, *) 길이의 비트 열에 작용 엔nn 그리고 요소 s∈{0,1}ns∈{0,1}ns \in \{0, 1\}^n, 사 전적으로 최소한의 요소를 계산하는 것이 얼마나 어려운가 G.sG.sG.s의 궤도 sss 에 GGG?
문제가 발생하여 2-nexptime 인 것으로 나타났습니다. 하한을 찾기 위해 알려진 2-nexptime-complete 문제를 찾고 싶습니다. 나는 문학에서 주로 두 가지 문제를 발견했다. PCP가 보다 작은 솔루션인지 여부22엔22엔2^{2^n} 크기의 제곱에 대한 경작 문제22엔22엔2^{2^n} 그러나 나는이 문제를 광산에서 인코딩 할 수 없었습니다. 따라서 다른 2-NEXPTIME- 완전 문제를 먼저 알고 싶습니다. 먼저이 수업에 대해 …
NEXP가 P / poly에 포함되어 있는지 여부는 알려져 있지 않습니다. 실제로 NEXP가 P / poly에 있지 않다는 것을 증명하면 일부 응용 프로그램이 임의 화 해제에 적용됩니다. C가 P / 폴리에 포함되어 있지 않다는 것을 증명할 수있는 가장 작은 클래스 C는 무엇입니까? co-NEXP가 P / poly에 포함되어 있지 않다는 것을 보여주는 …