Изменения
Нет описания правки
{{Определение
|definition=
Оракул — программа <tex>A(x)</tex>, вычислющая вычисляющая за <tex>O(1)</tex> верно ли, что <tex>x \in A</tex>.
}}
Сложностный класс задач, решаемых алгоритмом из класса <tex>C</tex> с оракулом для языка <tex>A</tex> обозначают <tex>C^A</tex>. Так же <tex>C</tex> называют сложностным классом с доступом к оракулу <tex>A</tex>.
Если <tex>A</tex> — это множество языков, то <tex>C^A =\bigcup\limits_{D \in A}C^D</tex>, где <tex>D</tex> — язык из <tex>A</tex>.
