База ответов ИНТУИТ

Классические и квантовые вычисления

<<- Назад к вопросам

Для существующей недетерминированной машины Тьюринга, полинома p(n) и предиката L условие L(x)=0 означает:

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа
существует путь вычисления, дающий ответ "да" за время, не превосходящее p(|x|)
не существует пути вычисления, дающий ответ "да" за время, не превосходящее p(|x|)(Верный ответ)
на любом пути вычисления ответа "да" не получается(Верный ответ)
Похожие вопросы
Условие существования вероятностной машины Тьюринга М и полинома p(n), причем машина М заведомо остановится за время, не превосходящее p(|x|), определяет, что:
Условие L(x)=0 для предиката L, принадлежащего классу NP, означает, что:
Если установлена принадлежность предиката L к классу BPP, существуют полином q(\cdot) и предикат R(\cdot,\cdot)\in\P, то выражение L(x)=0 означает, что:
Если Z - множество троек вида (\langle\text{описание k-локального гамильтониана } H\rangle, a, b), где k=O(1), 0\leq a<b, b-a=\Omega(n^{-\alpha}), (a>0), то для z\in Z выполняются условия:
Если A_1, A_2 - неотрицательные операторы, \calL_1, \calL_2 - их нулевые подпространства, причем \calL_1\cap \calL_2=0, ненулевые собственные числа A_1 и A_2 не меньше v, где \vt=\vt(\calL_1,\calL_2) - угол между \calL_1 и \calL_2, то справедливым является равенство:
Если Z - множество троек вида \langle\text{описание квантовой схемы } W\rangle, p_0, p_1) описанием схемы - приближенная реализация в стандартном базисе, а p_1-p_0=\Omega(n^{-\alpha}) (a>0, n - размер описания схемы). Тогда для z\in\Z F(z)=1 выполняется:
Если имеется физически реализуемое преобразование T\colon\LL(\calN)\to\LL(\calM), причем для любого чистого состояния \rho выполняется свойство: Tr_{\calF}(T\rho)=\rho, то для любого оператора X справедливым является равенство (\gamma - некоторая фиксированная матрица плотности на пространстве \calF):
Чему равна суммарная длина (F(x),z) и (x,O^{N-n}) в формуле \sum_{z}^{} \bigl| \langle F(x),z|\,U\,|x,0^{N-n}\rangle\bigr|^2 \geq \varepsilon, которой должна удовлетворять квантовая схема U=U_L\cdot\ldots\cdot U_2U_1, вычисляющая F:
Если характеристическая функция предиката вычислима на машине Тьюринга М, для которой S_М(n)=\poly(n), то
Состояние машины Тьюринга задается тройкой (\sigma,p,q) , где бесконечное слово в алфавите \calS - это: