Изменения

Перейти к: навигация, поиск

Список заданий по ТВС 2017

1104 байта добавлено, 15:17, 18 февраля 2017
Нет описания правки
# Задание 6 с практики 1
# Докажите, что язык простых чисел принадлежит $NP$. Указание: использовать без доказательства следующие факты. Число $p$ является простым, тогда и только тогда, когда существует первообразный корень по модулю $p$: число $g$, такое что $g^{p-1} \equiv 1 \pmod p$, $g^k \not\equiv 1 \pmod p$ для $1 \le k < p-1$. Число $g$ является первообразным корнем по модулю $p$ тогда и только тогда, когда $g^{p-1} \equiv 1 \pmod p$, $g^{\frac{p-1}{q}} \not\equiv 1 \pmod p$ для всех $q$ - простых делителей $p - 1$.
# Факторизация. Рассмотрим факторизацию $n = p_1\cdot p_2 \cdot \ldots \cdot p_k$, где $p_1 \le p_2 \le \ldots \le p_k$ - простые числа. Закодируем последовательность $p_1, p_2, \ldots, p_k$ следующим образом. Запишем последовательно двоичные записи $p_1, \ldots, p_k$, удвоим каждый бит в записи и разделим их строками 01. Получим код $f(n)$. Например, для $15=3\cdot 5$ получим $3_{10} = 11_2$, $5_{10}=101_2$, код для последовательности $111101110011$. Докажите, что язык $\{\langle n, f(n) \rangle\}$ принадлежит $NP$.# Докажите, что язык $VCover = \{\langle Gn, i, kb_i \rangle,$ в графе где $b_i$ - $Gi$ существует вершинное покрытие размера -й бит факторизации $kf(n)\}$ вершинных покрытий принадлежит $NP$.
# В определении класса $NP$ на языке недетерминированных программ требуется, чтобы в любой ветке развития программа работала не более полинома. Покажите, что это несущественно и можно дать такое определение $NP$: $NP$ - класс языков, для которых существует недетерминированная программа, распознающая принадлежность языку, причем в случае допуска существует хотя бы одна последовательность недетерминированных выборов, приводящая к допуску, такая что время работы ограничено полиномом.
# Обозначим как $PS$ множество всех языков, разрешимых с полиномиальной памятью. Докажите, что $NP \subset PS$.
# Обозначим как $EXP$ множество всех языков, разрешимых за время $2^{p(n)}$, где $p(n)$ - некоторый полином. Докажите, что $NP \subset EXP$.
</wikitex>
Анонимный участник

Навигация