«nexp» 태그된 질문

주변에 수많은 NP- 완전 문제가 있고이를 수집하는 출처가 있습니다 (예 : Garey and Johnson의 책 참조). NEXP 완료 문제 목록도 관심이 있습니다. 사용할 수있는 것이 있습니까? 내가 없다고 가정 할 때, 나는이 질문을 엽니 다 (이것은 커뮤니티 위키 여야합니까? 나는 이것에 대해 모릅니다). 이상적으로는 목록이 NEXP- 완전 문제의 다른 "유형"을 …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

이 가능하다는 ? 그러한 격리의 흥미로운 결과가 있습니까? 지수 시간 가설과 모순됩니까?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

NEXP 문제가 있으며 지수 시간과 단 하나의 교대 (기존 상태에서 시작)를 사용하여 교대 TM으로 해결할 수도 있습니다.NPNP^{\text{NP}} NEXP 대해 알려진 것이 있습니까? NEXP 또는 다른 클래스와 동일합니까? NEXP 기계와 단어가 주어지면 일반적인 기계 이외의 다른 문제 가 있습니까?NPNPNP^{\text{NP}}NPNP^{\text{NP}}

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

합니까 의미 E = N E를 ?E X P = N E X P이자형엑스피=엔이자형엑스피\mathsf{EXP}=\mathsf{NEXP}E = N E이자형=엔이자형\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity