La clase de complejidad de problemas de decisión que pueden ser resueltas por un algoritmo en clase A con un oráculo para un problema en clase B se escribe de la siguiente forma: A^B.