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

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

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

Условием остановки машины Тьюринга, находящейся в состоянии (\sigma,p,q), является:

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

Варианты ответа
p+\Delta p>0
p+\Delta p<0(Верный ответ)
функция переходов на паре (q,c_p) не определена (Верный ответ)
Похожие вопросы
Состояние машины Тьюринга задается тройкой (\sigma,p,q) , где бесконечное слово в алфавите \calS - это:
Условие существования вероятностной машины Тьюринга М и полинома p(n), причем машина М заведомо остановится за время, не превосходящее p(|x|), определяет, что:
В наборе \calS,\emptycell,\calA,\calQ,q_0,\delta для задания машины Тьюринга множество S является:
Условием алгоритма проверки простоты числа n, определяющим что n - составное, где a - случайное среди чисел от 1 до n, l - нечетное, является:
Для существующей недетерминированной машины Тьюринга, полинома p(n) и предиката L условие L(x)=0 означает:
Количество состояний системы, где S - память, \callQ,\calA - соответственно множество состояний управляющего устройства и алфавит рассматриваемой машины Тьюринга, определяется по формуле:
Каким образом будут распределены классические состояния квантовой системы, находящейся в состоянии \ket\psi=\sum_{x}^{}c_x\ket{x}:
Если число ходов ограничено p(|x|), а q=O(p(|x|)), то время работы машины Тьюринга ограничено:
Если 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, то справедливым является равенство:
Если имеется физически реализуемое преобразование T\colon\LL(\calN)\to\LL(\calM), причем для любого чистого состояния \rho выполняется свойство: Tr_{\calF}(T\rho)=\rho, то для любого оператора X справедливым является равенство (\gamma - некоторая фиксированная матрица плотности на пространстве \calF):