Что такое класс сложности

Что означает класс сложности ? Я знаю , что есть класс сложности , который содержит языки , для которых существует многочлен времени недетерминирован машина Тьюринга такая , что тогда и только тогда число принимающих состояний машины на входе нечетно. $\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

— stewenson
источник

Эта (имхо неловкая) запись обозначает классы относительной сложности или сложности оракула. Посмотрите Википедию для определения. Это отвечает на вопрос? Если нет, пожалуйста, отредактируйте, чтобы уточнить.

— Рафаэль

Вы найдете доказательство

на 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) связан с доказательством (см. Эти заметки на лекции из CS 538 в Rutgers ). Класс сложности , что является оракулом к классу таким образом, что , как говорят, низко для класса . В этом случае мы говорим, что мало для себя. $\oplus P^{\oplus P} = \oplus P$ $C$ $B$ $B^C= B$ $B$ $\oplus P$

— Джош Локхарт
источник

Еще одна ссылка для вас, на этот раз на страницу Википедии о «низком уровне» классов сложности: en.wikipedia.org/wiki/Low_%28complexity%29

— Джош Локхарт,

Ваш стиль объяснения достаточен для понимания основных принципов, и за ним легко следовать.

— 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$

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$