복잡성 클래스

복잡성 등급 는 무엇을 의미합니까? I는 알고 언어 포함 복잡도 종류이다 해당하는 다항식 시간 결정적 튜링 기계가 되도록 IFF 기계의 수용 상태의 수 의 입력에 홀수이다. $\oplus P^{\oplus P}$ $\oplus P$ $A$ $M$ $x \in A$ $M$ $x$

그러나 무엇을 의미합니까? 나는 그것이 실제로하는 것을 따를 수 없다 :) $\oplus P^{\oplus P}$

그러한 복잡성 클래스의 실제 결과는 무엇이며 어떻게 ? $\oplus P^{\oplus P} = \oplus P$

complexity-theory terminology complexity-classes

— 스테 웬슨
소스

이 (어색한 어색한) 표기법은 상대 또는 오라클 복잡성 클래스를 나타냅니다. 정의는 Wikipedia 를 참조하십시오 . 그 질문에 대답합니까? 그렇지 않은 경우 명확하게 편집하십시오.

— Raphael

cs.rutgers.edu/~allender/538/murata3.pdf 에서

의 증거를 찾을 수 있습니다.

\oplus P^{\oplus P} = \oplus P

$\oplus P^{\oplus P} = \oplus P$

— sdcvvc

클래스 의미 로 알려진 것을 갖추고오라클에 대한 - 우리는 문자열 여부를 결정하는 기능이 부여 된 말 언어의 구성원 인 클래스에 포함 된 한 번의 작업으로. $\oplus P^{\oplus P}$ $\oplus P$ $\oplus P$ $s$ $L$ $\oplus P$

나는 다른 의견 제시 자 (sdcwc)가 의 증거와 관련이 있음을 알았 습니다 (Rutgers의 CS 538 강의에 대한 참고 사항 참조 ). 복잡도 클래스 클래스에 오라클이 되도록 될 것으로 알려져 낮은 클래스에 대한 . 이 경우 우리는 자체가 낮다고 말합니다 . $\oplus P^{\oplus P} = \oplus P$ $C$ $B$ $B^C= B$ $B$ $\oplus P$

— 조쉬 록 하트
소스

복잡한 클래스의 '낮음'에 대한 wikipedia 페이지로 연결되는 또 다른 링크 : en.wikipedia.org/wiki/Low_%28complexity%29

— Josh Lockhart

설명 스타일은 기본 원칙을 이해하기에 충분하며 따르기 쉽습니다.

— stewenson

기본적으로

에는 단일 단계에서 언어

멤버십을 결정할 수있는 오라클이 장착되어 있음을 의미 합니까? 내 관점에서, 당신은 몇 가지 문제를 해결하는 경우

, 첫 번째 단계 이후 매우 계산의 시작에서 오라클을 수 있도록 쿼리하는, 당신은 어떻게 오라클 답을 알아? 따라서 하나의 수락 상태에 도달 했으므로 그러한 상태의 수는 하나이므로 홀수이므로 수락합니까?

\oplus P

$\oplus P$

L

$L$

\oplus P^{\oplus P}

$\oplus P^{\oplus P}$

— stewenson

"는 오라클 에 대한

- 우리가 언어 여부를 결정하는 기능이 부여 된 것을 말한다

의 구성원 인

. 한 번의 작업을" -이 올바르지 않습니다 오라클은 문자열 여부를 판단 할 수있는 기능 제공

일부 언어의 구성원 인

에

. 일반성을 잃지 않고,

로 취할 수

(이 때문에

- 완전한)

\oplus P

$\oplus P$

L

$L$

\oplus P

$\oplus P$

s

$s$

L

$L$

\oplus P

$\oplus P$

L

$L$

\oplus S A T

$\oplus SAT$

\oplus P

$\oplus P$

— sdcvvc

f (1^{i}, x)

$f(1^i,x)$

1^{3} = 111

$1^3 = 111$

1^{i}

$1^i$

k

$k$

n^{k}

$n^k$

i \leq n^{k}

$i \leq n^k$

f (1^{i}, x) = f (1^{n^{k}}, x) = f (1^{| x |^{k}}, x)

$f(1^i,x) = f(1^{n^k}, x) = f(1^{|x|^k}, x)$

f \in ♯ P

$f \in \sharp P$