철저한 검색과 관련된 복잡성 클래스

철저한 검색 알고리즘과 관련된 복잡성 클래스는 무엇입니까? (있는 경우)

NP 또는 PSPACE입니까?

탐욕적이고 동적 인 프로그래밍을위한 모델과 유사한 철저한 검색 알고리즘의 클래스를 캡처하는 제한된 계산 모델이 있습니까?

— 익명
소스

cs.stackexchange에 더 적합합니다.

— 유발 Filmus

E 나 EXP는 어떻습니까?

— 유발 Filmus

@YuvalFilmus 정말? 이것은 나에게 흥미로운 질문처럼 보이지만 전혀 사소한 것이 아닙니다.

— Suresh Venkat

다양한 지역 검색 클래스는 솔루션이 존재하는 문제 공간으로 시작하며, 문제는 하위 지수 시간으로 공간을 검색하는 것입니다. 관련이있을 수 있습니다.

— Suresh Venkat

조금 모호하지만 질문이 마음에 듭니다. 나는 오래전에 그것에 관한 논문을 썼습니다. 어쩌면 이것이 익명의 질문자에게 도움이 될 것입니다. stanford.edu/~rrwill/bfsearch-rev.ps [경고 : 10 년 전에 작성된 거의 모든 의견에 동의하지 않을 가능성이 있습니다]

— Ryan Williams

조금 모호하지만 질문이 마음에 듭니다. 나는 오래전에 그것에 관한 논문을 썼다. 어쩌면 이것은 익명의 질문자에게 도움이 될 것입니다.

무차별 대입 검색 및 Oracle 기반 계산

요약은 다음과 같습니다. 비공식적으로, 이전 시험에서 스크래치 작업을 유지하지 않고 원하는 솔루션을 찾을 때까지 사전에 가능한 모든 솔루션을 시험해 본다면 무차별 대입은 $P^{NP}$ . 당신이 주위를 유지하면 $3$ 하나의 가능한 솔루션에서 다음 솔루션으로 스크래치 작업을 수행하면 $PSPACE$ 배 링턴의 정리를 통해. lex 순서로 실행하지 않고 효율적으로 계산 가능한 다른 모든 문자열 목록에 따라 발생하는 것과 같은 다른 가능성이 있습니다.

[ 경고 경고 경고 : 이 백서에 언급 된 거의 모든 의견에 동의하지 않을 수 있습니다. 약 10 년 전에 이름은 같지만 본질적으로 다른 사람이 쓴 사람입니다. ]

— 라이언 윌리엄스
소스

경고를 사랑하십시오! :)

— Tayfun Pay