Найпоширеніший спосіб зустрічі оракул у теорії складності полягає в наступному: Фіксований оракул стає доступним, скажімо, машині Тюрінга з певними обмеженими ресурсами, і вивчається, як оракул збільшує обчислювальну потужність машини.
Однак є й інший спосіб, коли іноді трапляються оракули: як частина введення . Наприклад, припустимо, я хочу вивчити алгоритми обчислення обсягу заданого високомірного політопа. Класично, політоп потрібно було б вказати, надавши список його граней або якесь інше явне подання. Однак ми можемо також поставити проблему обчислення об’ємного політопа, який визначається об'ємним оракул, яка приймає координати точки в просторі як вхідні та виводить "так", якщо і лише тоді, коли дана точка лежить всередині політопа. Тоді ми можемо запитати, які обчислювальні ресурси потрібні для обчислення обсягу політопа, який вказаний таким чином. У цьому конкретному випадку ми маємо дуже приємну схему наближення поліноміального часу Дайєра, Фриза та Каннана, що, що цікаво, з точки зору теорії складності, є доказом того, що випадковість істотно допомагає цій проблемі, оскільки жоден детермінований алгоритм не може виконувати так само, як алгоритм Дайер-Фриз-Каннана.
Чи існує систематичний спосіб вивчення теорії складності проблем, в яких оракули надаються як частина вхідних даних? Це якимось чином зводиться до звичайної теорії класів складності з оракулами? Моя здогадка - ні, і тому, що існує занадто багато різних способів, щоб оракул міг бути поставлений як частина вхідних даних, кожну проблему подібного роду потрібно вирішувати спеціально. Однак я був би радий, що мені було доведено неправильно з цього приводу.