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

• Полиномиальные сводимости и 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

• Файл:Планирование задач с приоритетом и временами перенастройки 2022-12-23 04-08-31 image0.png [[Category:Возможно_ошибка]] [[Category:Проблемы_в_решении]] (368 × 405 (40 КБ)) - 18:37, 1 марта 2023

• Файл:Планирование задач с приоритетом и временами перенастройки 2022-12-23 04-09-02 image0.png [[Category:Возможно_ошибка]] [[Category:Проблемы_в_решении]] (438 × 483 (37 КБ)) - 18:37, 1 марта 2023

• Файл:Планирование задач с приоритетом и временами перенастройки 2022-12-23 04-11-15 image0.png [[Category:Возможно_ошибка]] [[Category:Проблемы_в_решении]] (927 × 655 (195 КБ)) - 18:37, 1 марта 2023

• Файл:Планирование задач с приоритетом и временами перенастройки 2022-12-23 04-17-24 image0.png [[Category:Возможно_ошибка]] [[Category:Проблемы_в_решении]] (1271 × 745 (1,22 МБ)) - 18:37, 1 марта 2023

• Файл:Resetmtrx.png [[Category:Возможно_ошибка]] [[Category:Проблемы_в_решении]] (417 × 563 (19 КБ)) - 07:28, 23 декабря 2022

• Вероятность/Задачи/eupce-1-10
  ... случайным образом,
  ** подбрасываем ее
  ** выпала решка.
  Какова вероятность, что мы выбрали фальшивую монету?
  * [[Участник:Sanya/Решение задачи про монетки]]
  [[Категория:Теоретические задачи]]
  674 байт (9 слов) - 06:41, 18 декабря 2023
• Вероятность/Задачи/eupce-1-12
  ... , если участник сменит выбранную на первом шаге коробку, увеличит ли это его шансы?
  * [[Участник:Sanya/Решение Парадокс Монти Холла]]
  [[Категория:Теоретические задачи]]
  1 КБ (9 слов) - 12:00, 15 декабря 2023
• Вероятность/Задачи/eupce-2-7-d
  <!-- Probability and Computing -->
  {{eupce-2-7}}
  E[X | X ≤ Y] = ?
  [[Категория:Теоретические задачи]]
  [[Категория:Решенные задачи]]
  186 байт (11 слов) - 06:49, 18 декабря 2023
• MAX-SAT: дерандомизация/Задачи/eupce-6-2-a
  ... , такое что полное число одноцветных подграфов <m>K_4</m> будете не больше чем <m>\binom{n}{4} 2^{-5}</m>
  [[Категория:Теоретические задачи]]
  [[Категория:Решенные задачи]]
  470 байт (14 слов) - 11:06, 24 декабря 2024

• Файл:Noncoprimes 2023-11-13 12-15-59 image0.png [[Category:На_проверку]] [[Category:Проблемы_в_решении]] (1702 × 810 (151 КБ)) - 09:16, 13 ноября 2023

• Файл:The-number-of-beautiful-subsets 2023-12-21 14-01-42 image0.png [[Category:На_проверку]] [[Category:Проблемы_в_решении]] (524 × 182 (18 КБ)) - 11:01, 21 декабря 2023

Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)