Изменения

Сложностный класс задач, решаемых алгоритмом из класса <tex>A</tex> с оракулом для языка <tex>B</tex> обозначают <tex>A^B</tex>. Так же <tex>A</tex> называют сложностным классом с доступом к оракулу <tex>B</tex>.

Если <tex>B</tex> - это множество языков, то <tex>A^B =\bigcup_{D \in B}A^D</tex>, где <tex>D</tex> - язык из <tex>B</tex>.