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

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

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

Справедливым является утверждение (запись):

(Отметьте один правильный вариант ответа.)

Варианты ответа
3-КНФ задается предикатом 3\text{-}SAT(x)\Longleftrightarrowx
3\text{-}SAT является NP-полной(Верный ответ)
SAT\propto 3\text{-}SAT
Похожие вопросы
Справедливым является утверждение:
Какое из ниже перечисленных равенств является справедливым (с учетом тождества b\equiv a^{2^j}\pmod q):
Какая запись является верной:
Обозначение скалярного произведения в гильбертовом пространстве является запись:
Тезисом Черча является утверждение:
Если имеется физически реализуемое преобразование T\colon\LL(\calN)\to\LL(\calM), причем для любого чистого состояния \rho выполняется свойство: Tr_{\calF}(T\rho)=\rho, то для любого оператора X справедливым является равенство (\gamma - некоторая фиксированная матрица плотности на пространстве \calF):
Если 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, то справедливым является равенство:
Запись SO(3) имеет следующий смысл:
Какой вид будет иметь запись оператора &V=I-2\ket{\xi}\bra{\xi} в матричной форме:
Какое обозначает запись \text{co-}\mathrm A по отношению к классу А: