«complexity-theory» 태그된 질문

증명하는 방법 ? 나는 단지 oracle TM 과 이것이 재귀 언어 을 찾고 있습니다.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L 와 같은 oracle 있고 와 같은 oracle 가 있음을 증명하는 증거를 알고 있습니다. . 나는 의 증거를 확장하여 그러한 오라클 를 찾아야한다는 힌트를 얻었지만 검색하고 읽을 때마다 어디에서나 "명확한"또는 "직선적"이지만 나는 그것을 …

12 complexity-theory  relativization 

양방향 DFA의 공허함을 결정하는 데 시간 복잡성이 무엇인지 궁금합니다. 즉, 읽기 전용 입력 테이프에서 뒤로 이동할 수있는 유한 오토마타. Wikipedia에 따르면 DFA와 동일하지만 동등한 DFA는 기하 급수적으로 클 수 있습니다. 나는 보완 및 교차로에 대한 국가의 복잡성을 발견했지만 공허 테스트에 대해서는 아닙니다. 아무도 내가 이것을 찾을 수있는 종이를 알고 있습니까?

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

co- 를 주요 공개 문제 라고 부르는 온라인의 여러 장소를 기반으로 궁금한 점이 있지만 와 같은지 여부에 대한 표시를 찾을 수 없습니다. 문제 ...NP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

12 complexity-theory  complexity-classes  p-vs-np 

세트 A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , 정수 s⩽ks⩽ks\leqslant k 및 음이 아닌 정수 aijaija_{ij} 됩니다. 내 문제는 찾을 수 있습니다 sss 분리 된 부분 집합 SjSjS_j 의 {1,…,k}{1,…,k}\{1,\ldots,k\} 하도록 : ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; 과 |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij}모든 i∈Sji∈Sji\in S_j 및 j = 1, \ ldots, s에 대해 | S_j | \ leqslant a_ {ij}j=1,…,sj=1,…,sj=1,\ldots,s …

11 complexity-theory  integer-programming 

왜 NP가 EXPTIME에 있는지 쉽게 확인할 수 있습니까? 초 지수 시간을 필요로하는 문제가있을 수 있지만 다항식 시간으로 그 해를 확인할 수있는 문제가 있다고 생각됩니다.

11 complexity-theory  complexity-classes 

Google 해시 코드 2015 테스트 라운드 ( problem statement )는 다음 문제에 대해 질문했습니다. 입력 : 일부 사각형이 표시된 그리드 , 임계 값 T ∈ N , 최대 면적 A ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} 출력 : 각 사각형에 적어도 T 표시 사각형이 포함되고 각 사각형에 최대 A의 영역이 …

11 complexity-theory  reductions  np-hard 

나는 그 어리석은 것을 알고 있지만, 혼란스러워서 이것을 해결하는 데 도움이 필요합니다. 라고 가정 하면 모든 오라클 대해 있는데, 이는 인 일부 Oracle 가 존재한다는 사실과 상반 되므로피= N피피=엔피P=NPㅏㅏA피ㅏ= N피ㅏ피ㅏ=엔피ㅏP^A=NP^AㅏㅏA피ㅏ≠ N피ㅏ피ㅏ≠엔피ㅏP^A\neq NP^A피≠ N피피≠엔피P\neq NP 뭐가 문제 야? 감사!

11 complexity-theory  p-vs-np  oracle-machines 

를 # -Complete로 알려진 계산 문제라고 하자 .PΠΠ\Pi피PP 가 hard 라는 것을 의미합니까 (즉 가 아니면 문제에 대한 PTAS 가 없음 )?A P X P = N PΠΠ\PiP엑스APXAPX피= N피P=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

평균적으로``다항식 ''인 hard 문제 가 있는지 궁금합니다 .이를 해석하는 두 가지 방법이 있다고 생각합니까?NPNPNP 만약 , 해결 알고리즘이있을 수 시간 실행 상각 (평균 케이스)와 -hard 문제가 일정에 대한 ?P≠NPP≠NPP \neq NPNPNPNPO(nk)O(nk)O(n^k)kkk 또는 에있는 hard 문제가 있습니까?NPNPNPBPPBPPBPPPPPPPP 누구든지이 질문들 중 하나에 대한 답변을하거나 참조를 제공 할 수 있습니까?

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

나는 이분 그래프의 클래스의 속성에 관심이 의 모든 노드 X가 3 일반 있으며, 모든 노드 Y가 2 정기적으로, 그리고 | X | = | 2 Y / 3 | . 첫째, 이것은 잘 알려진 그래프 클래스입니까? 둘째,G(X∪Y,E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| 이 클래스의 이분 그래프로 제한되는 다루기 어려운 계산 문제의 예가 …

11 complexity-theory  graph-theory 

결정 문제 부울 식을 감안할 때 , 않습니다 한 단 하나의 할당을 만족?ϕϕ\phiϕϕ\phi , -hard 및 -hard에 있는 것으로 볼 수 있습니다 . 복잡성에 대해 더 알려진 것이 있습니까?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

다항식 시간 근사 방식에 대한 Wikipedia 기사에 따르면 : FPTAS의 모든 문제는 고정 매개 변수 다루기 쉽습니다. 이 결과는 놀랍습니다.이 클래스는 서로 완전히 다른 것처럼 보입니다. FPTAS는 근사하기 쉬운 방법으로 문제를 특성화하고, FPT는 일부 매개 변수에 비해 어려움으로 문제를 특성화합니다. 불행히도, Wikipedia (현재이 질문을하는 시점)는 이에 대한 인용을 제공하지 않습니다. …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

는 사실을 감안할 때 - 경로 열거 효율적인 방법이 될 수있다, A #의 P-완전한 문제입니다 컴퓨팅 (또는 적어도 평균)의 평균 길이 - 경로를 열거하지? 경로가 정점을 다시 방문하도록 허용되면 어떻게됩니까?에스에스s티티t에스에스s티티t 특수 그래프에 대한 관련 결과도 도움이 될 수 있습니다.

11 algorithms  complexity-theory  graphs  approximation  enumeration 

을 감안할 때 nnn 일자리 J1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_n , 각 작업은 필요 Ti>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N 시간이 완료. 각 작업은 한 번에 하나의 작업 만 처리 할 수있는 단일 시스템 M에 의해 사전 처리 및 사후 처리되어야하며 두 단계 모두 1 단위의 시간이 필요합니다. 사전 처리 된 후, 작업 JiJiJ_i …

11 complexity-theory  reference-request  scheduling 

예를 들어, 비정규 언어 이 A C 0에 있음을 알고 있습니다 . 이 같은 더 많은 예를 알고 싶습니다.anbnanbna^nb^nAC0AC0AC^0

11 complexity-theory  regular-languages  circuits