Условие для предиката , принадлежащего классу , означает, что:
Для существующей недетерминированной машины Тьюринга, полинома и предиката L условие означает:
Условие существования вероятностной машины Тьюринга и полинома , причем машина заведомо остановится за время, не превосходящее , определяет, что:
Если - множество троек вида , где , , , (), то для выполняются условия:
Если , - неотрицательные операторы, , - их нулевые подпространства, причем , ненулевые собственные числа и не меньше , где - угол между и , то справедливым является равенство:
Условие алгоритма проверки простоты числа, где - случайное среди чисел от 1 до :
Если установлена принадлежность предиката к классу BPP, существуют полином и предикат , то выражение означает, что:
Если - множество троек вида описанием схемы - приближенная реализация в стандартном базисе, а (, - размер описания схемы). Тогда для выполняется:
Если имеется физически реализуемое преобразование , причем для любого чистого состояния выполняется свойство: , то для любого оператора справедливым является равенство ( - некоторая фиксированная матрица плотности на пространстве ):
Чему равна суммарная длина и в формуле , которой должна удовлетворять квантовая схема , вычисляющая :