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

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

Показаны 1-19 из 19 результатов запроса MAX-SAT: дерандомизация/Задачи/, выполненного за 0.001 секунд. Статистика:
  • max-sat найдено 230 раз в 160 документах
  • дерандомизац найдено 141 раз в 93 документах
  • задач найдено 9469 раз в 3453 документах
  • MAX-SAT: дерандомизация/Задачи/eupce-6-2-c
    {{bonus}}
    Дерандомизацируйте алгоритм из [[MAX-SAT: дерандомизация/Задачи/eupce-6-2-b]], используя метод условных вероятностей, получив полиномиальный детерминированный алгоритм.
    307 байт (5 слов) - 15:34, 18 мая 2023
  • MAX-SAT: дерандомизация/Задачи/eupce-6-1-b
    ... Probability and Computing -->
    Предложите алгоритм дерандомизации методом условных вероятностей для алгоритма из [[MAX-SAT: вероятностное округление/Задачи/eupce-6-1-a‎]].
    [[Категория:Теоретические ...
    368 байт (9 слов) - 15:10, 18 мая 2023
  • MAX-SAT: дерандомизация/Задачи/Комбинированная дерандомизация
    ... ли добиться путем дерандомизации построения
    <m>\frac{3}{4}</m>-приближенного детерминированного полиномиального алгоритма для задачи MAX-SAT?
    [[Category:Решенные задачи]]
    [[Категория:Теоретические ...
    366 байт (6 слов) - 06:50, 4 мая 2023
  • MAX-SAT: дерандомизация/Задачи/eupce-6-2-a
    ... чем <m>\binom{n}{4} 2^{-5}</m>
    {{reserve-task|[[Участник:StasFomin|StasFomin]] 11:32, 19 мая 2023 (UTC)}}
    [[Категория:Теоретические задачи]]
    563 байт (23 слова) - 11:32, 19 мая 2023
  • MAX-SAT: дерандомизация/Задачи/eupce-6-4
    {{проверено|}}
    {{bonus}}
    [[File:eupce-6-4_2023-05-18_19-16-39_image0.png||480px]]
    [[Категория:Теоретические задачи]]
    155 байт (11 слов) - 16:16, 18 мая 2023
  • MAX-SAT: дерандомизация/Задачи/eupce-6-15
    {{проверено|}}
    <!-- Probability and Computing -->
    {{bonus}}
    [[File:eupce-6-15_2023-05-18_19-51-41_image0.png|480px]]
    [[Категория:Теоретические задачи]]
    190 байт (16 слов) - 16:52, 18 мая 2023
  • MAX-SAT: дерандомизация/Задачи/2-приближенный алгоритм для максимальной совместной подсистемы
    ... boolean systems =====
    Предложите детерминированный 2-приближенный полиномиальный алгоритм для задачи о нахождении максимальной совместной подсистемы системы линейных булевых уравнений (сложения ...
    586 байт (6 слов) - 06:50, 4 мая 2023
  • MAX-SAT: дерандомизация/Задачи/ex-derand-maxsat-f0-f1
    ... -sat» (кроме решения линейной релаксации) будет $O(mn)$.
    </latex>
    <!--Вообще-то, решения уже есть-->
    [[Категория:Решенные задачи]]
    [[Категория:Теоретические ...
    470 байт (10 слов) - 06:50, 4 мая 2023
  • MAX-SAT: дерандомизация/Задачи/shell-game
    ... следующую игру, вариант классического «наперстка».
    т. е. есть
    * три наперстка,
    * шарик,
    * ваша задача
    ** обнаружить шарик - тогда вы выигрываете,
    ** иначе - выигрывает сдающий.
    Каждый раз на кон, вы ...
    3 КБ (23 слова) - 06:50, 4 мая 2023
  • MAX-SAT: дерандомизация/Задачи/eupce-6-2-b
    {{проверено|}}
    <!-- Probability and Computing -->
    {{bonus}}
    Предложите вероятностный алгоритм с полиномиальным матожиданием времени работы, для нахождения раскраски ребер полного графа <m>K_n</m> в ...
    495 байт (18 слов) - 15:31, 18 мая 2023
  • MAX-SAT: дерандомизация/Задачи
    0 байт (0 слов) - 22:14, 13 июня 2011
  • Курс «Эффективные алгоритмы для труднорешаемых задач»
    ...
    * [[Приближенный алгоритм для метрической задачи коммивояжера]]
    * [[Вероятностная проверка тождеств]]
    * [[MAX-SAT: вероятностное округление]]
    * [[MAX-SAT: дерандомизация]]
    * [[MAX-CUT: вероятностное ...
    15 КБ (513 слов) - 18:34, 30 марта 2024
  • MAX-SAT: дерандомизация
    === Слайды «MAX-SAT: дерандомизация» ===
    [[:File:Derandomization-maxsat.beam.pdf]]
    [[File:derandomization-maxsat.beam.pdf|256px|page=-]]
    {{:MAX-SAT: дерандомизация/Задачи}}
    217 байт (13 слов) - 23:50, 13 апреля 2016
  • Lectures.htm
    ... npc.beam.pdf|«Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC»]].
    # ... MAX-SAT: вероятностное округление»]].
    # [[lectures/beam/derandomization-maxsat.beam.pdf|«MAX-SAT: дерандомизация ...
    9 КБ (199 слов) - 20:55, 25 ноября 2010
  • Курс лекций «Эффективные алгоритмы»
    ... для ДНФ]]
    * [[MAX-SAT: вероятностное округление]]
    * [[MAX-CUT: вероятностное округление]]
    * [[MAX-SAT: дерандомизация]]
    * [[Приближенный алгоритм для метрической задачи коммивояжера]]
    * [[Формально ...
    20 КБ (494 слова) - 05:44, 3 февраля 2024
  • Shell-game Решение Рубановой
    #перенаправление [[MAX-SAT: дерандомизация/Задачи/shell-game/Решение Рубановой]]
    131 байт (2 слова) - 19:15, 10 декабря 2013
  • Курс лекций «Сложность алгоритмов» (ИСПРАН, 4 курс МФТИ)
    ... материалы → книга, слайды, видеолекции, а также все задачи, которые могут дать на экзамене. (См. «Subpages ... [[MAX-SAT: вероятностное округление]]
    * [[MAX-SAT: дерандомизация]]
    <!-- {:Дерандомизация Люби ...
    6 КБ (161 слово) - 07:36, 21 июня 2012
  • Курс лекций «Сложность алгоритмов» (ИСПРАН, 3 курс МФТИ)
    ... метрической задачи коммивояжера]]
    * [[Вероятностная проверка тождеств]]
    * [[MAX-SAT: вероятностное округление]]
    * [[MAX-CUT: вероятностное округление]]
    * [[MAX-SAT: дерандомизация]]
    * [[Вероятностный ...
    16 КБ (531 слово) - 13:43, 18 апреля 2024
  • Курс лекций «Сложность алгоритмов» (ИСПРАН, 3 курс МФТИ)/Лекции весеннего семестра 2013
    ... uncut.mkv|1:19:30}} — метрическая задача коммивояжера, алгоритм Кристофидеса.
    * {{VideoIspras| ... -lectures.uncut.mkv|0:01:10}} — Дерандомизация MAX-SAT
    * {{VideoIspras|channels/ispras.ru/lectures/2013 ...
    3 КБ (153 слова) - 05:45, 27 марта 2014
Источник — «https://discopal.ispras.ru/Служебная:Поиск/MAX-SAT:_дерандомизация/Задачи/»