Результаты поиска

Показаны 341-360 из 721 результатов запроса Решение, выполненного за 0.001 секунд. Статистика:

решен найдено 6196 раз в 2537 документах

Страница результата: Предыдущая 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 Следующая

Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/strong-nmt-good-characterization

... «?», при том есть хотя бы один путь к «0».
Покажите, что <m>L \in NP \cap \overline{NP}</m>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

808 байт (24 слова) - 06:50, 4 мая 2023
Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3ESAT-NPC

Покажите, что [[3ESAT]] — NP-полная задача.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

185 байт (2 слова) - 06:50, 4 мая 2023
Временная и пространственная сложность алгоритмов/Задачи/dtime-n2-is-closed-carp-reduction

... \in C</m>, то <m>L \in C</m>.
Рассмотрим класс <m>DTIME(n^2)</m>.
Замкнут ли он относительно полиномиальной сводимости по Карпу?
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

460 байт (19 слов) - 13:07, 21 декабря 2024
Временная и пространственная сложность алгоритмов/Задачи/dlogspace-pspace-gap

... ) DLOGSPACE] ≠ P
* PSPACE ≠ P
* Заметим, что если у вас вряд ли получится доказать эти неравенства по отдельности.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

522 байт (11 слов) - 06:50, 4 мая 2023
Временная и пространственная сложность алгоритмов/Задачи/l-eq-p-then-pspace-eq-exptime

Покажите, что если [https://en.wikipedia.org/wiki/L_(complexity) DLOGSPACE] = P, то PSPACE = EXPTIME.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

235 байт (11 слов) - 06:50, 4 мая 2023
Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/np-closed-under-coding

... , что если <m>L \in NP</m>, а KOD — какая-то кодировка над алфавитом L, то <m>KOD(L) \in NP</m>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

408 байт (17 слов) - 06:50, 4 мая 2023
Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/p-looks-unclosed-under-coding

K(L) — [[кодировка]].
Докажите, что класс P замкнут относительно кодировок тогда и только тогда, если P=NP.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

301 байт (5 слов) - 06:50, 4 мая 2023
Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/unary-in-p-then-exptime-nexp

Докажите, что если каждый [[унарный язык]] из NP также лежит в P, то EXPTIME=NEXP.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

246 байт (4 слова) - 06:53, 18 декабря 2023
Введение в теорию вычислимости/Задачи/Перечислимость описаний

... ли
* а). перечислимым
* б). ко-перечислимым множество описаний машин Тюринга, останавливающихся на пустом входе?
Ответ обосновать.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

373 байт (1 слово) - 06:50, 4 мая 2023
Введение в теорию вычислимости/Задачи/Порядок

... . Доказать, что если его слова можно лексикографически упорядочить, то <latex> L </latex> тогда является и разрешимым.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

383 байт (7 слов) - 06:50, 4 мая 2023
Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/сolorization

... задача отыскания раскраски графа в три цвета сводится по Куку к задаче проверки три-раскрашиваемости графа
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

447 байт (8 слов) - 06:50, 4 мая 2023
Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/double-sat

... SAT, для которых есть по крайней мере два выполняющих набора.
Покажите, что <m>L \in NPC</m>.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

312 байт (7 слов) - 06:50, 4 мая 2023
Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/3csat-npc

... дизъюнкций)
\item где функция $g_i: \{0,1\}^3 \rightarrow \{0,1\}$
\item y_{i,j} \in \{x_1, \ldots, x_m\}
\end{itemize}
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]

570 байт (38 слов) - 12:14, 26 декабря 2023
Файл:Производство штучных изделий 2022-12-09 16-45-10 image0.png
[[Category:Проблемы_в_решении]]

(932 × 273 (47 КБ)) - 13:45, 9 декабря 2022
Файл:Find-all-people-with-secret 2022-12-21 19-56-58 image0.png
[[Category:Проблемы_в_решении]]

(429 × 130 (9 КБ)) - 18:37, 1 марта 2023