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

Материал из DISCOPAL
Перейти к: навигация, поиск
Показаны 1-20 из 57 результатов запроса MAX-SAT: дерандомизация/Задачи/, выполненного за 0.001 секунд. Статистика:
Поиск в найденных категориях:





  • max-sat найдено 224 раз в 157 документах
  • дерандомизац найдено 136 раз в 89 документах
  • задач найдено 9377 раз в 3460 документах
Страница результата:   1  2  3
  • {{bonus}}
    Дерандомизацируйте алгоритм из [[MAX-SAT: дерандомизация/Задачи/eupce-6-2-b]], используя метод условных вероятностей, получив полиномиальный детерминированный алгоритм.
    307 байт (5 слов) - 15:34, 18 мая 2023
  • ... Probability and Computing -->
    Предложите алгоритм дерандомизации методом условных вероятностей для алгоритма из [[MAX-SAT: вероятностное округление/Задачи/eupce-6-1-a‎]].
    [[Категория:Теоретические ...
    368 байт (9 слов) - 15:10, 18 мая 2023
  • ... ли добиться путем дерандомизации построения
    <m>\frac{3}{4}</m>-приближенного детерминированного полиномиального алгоритма для задачи MAX-SAT?
    [[Category:Решенные задачи]]
    [[Категория:Теоретические ...
    366 байт (6 слов) - 06:50, 4 мая 2023
  • ... чем <m>\binom{n}{4} 2^{-5}</m>
    {{reserve-task|[[Участник:StasFomin|StasFomin]] 11:32, 19 мая 2023 (UTC)}}
    [[Категория:Теоретические задачи]]
    563 байт (23 слова) - 11:32, 19 мая 2023
  • {{проверено|}}
    {{bonus}}
    [[File:eupce-6-4_2023-05-18_19-16-39_image0.png||480px]]
    [[Категория:Теоретические задачи]]
    155 байт (11 слов) - 16:16, 18 мая 2023
  • {{проверено|}}
    <!-- Probability and Computing -->
    {{bonus}}
    [[File:eupce-6-15_2023-05-18_19-51-41_image0.png|480px]]
    [[Категория:Теоретические задачи]]
    190 байт (16 слов) - 16:52, 18 мая 2023
  • ... boolean systems =====
    Предложите детерминированный 2-приближенный полиномиальный алгоритм для задачи о нахождении максимальной совместной подсистемы системы линейных булевых уравнений (сложения ...
    586 байт (6 слов) - 06:50, 4 мая 2023
  • ... -sat» (кроме решения линейной релаксации) будет $O(mn)$.
    </latex>
    <!--Вообще-то, решения уже есть-->
    [[Категория:Решенные задачи]]
    [[Категория:Теоретические ...
    470 байт (10 слов) - 06:50, 4 мая 2023
  • ... следующую игру, вариант классического «наперстка».
    т. е. есть
    * три наперстка,
    * шарик,
    * ваша задача
    ** обнаружить шарик - тогда вы выигрываете,
    ** иначе - выигрывает сдающий.
    Каждый раз на кон, вы ...
    3 КБ (23 слова) - 06:50, 4 мая 2023
  • ... по первой лекции ==
    Правильно ли я понимаю, что эта та же самая задача, которая предлагалась в конце первой лекции?
    Еще, например, в конце второй презентации я увидела упражнения. Их тоже можно ...
    544 байт (0 слов) - 07:47, 15 сентября 2011
  • {{проверено|}}
    <!-- Probability and Computing -->
    {{bonus}}
    Предложите вероятностный алгоритм с полиномиальным матожиданием времени работы, для нахождения раскраски ребер полного графа <m>K_n</m> в ...
    495 байт (18 слов) - 15:31, 18 мая 2023
  • 0 байт (0 слов) - 22:14, 13 июня 2011
  • ...
    * [[Приближенный алгоритм для метрической задачи коммивояжера]]
    * [[Вероятностная проверка тождеств]]
    * [[MAX-SAT: вероятностное округление]]
    * [[MAX-SAT: дерандомизация]]
    * [[MAX-CUT: вероятностное ...
    15 КБ (513 слов) - 18:34, 30 марта 2024
  • === Слайды «MAX-SAT: дерандомизация» ===
    [[:File:Derandomization-maxsat.beam.pdf]]
    [[File:derandomization-maxsat.beam.pdf|256px|page=-]]
    {{:MAX-SAT: дерандомизация/Задачи}}
    217 байт (13 слов) - 23:50, 13 апреля 2016
  • ... для ДНФ
    * Вероятностное округление для задач MAX-SAT и MAX-CUT
    ;Дерандомизация: Детерминированный приближенный алгоритм для MAX-SAT, полученный из вероятностного алгоритма.
    ;Неаппроксиминуемость ...
    28 КБ (554 слова) - 14:35, 31 марта 2024

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