Результаты поиска
Материал из DISCOPAL
Показаны 1-20 из 21 результатов запроса Полиномиальный в среднем алгоритм для SAT/Задачи/, выполненного за 0.001 секунд. Статистика:
- полиномиальн найдено 1417 раз в 715 документах
- средн найдено 392 раз в 207 документах
- алгоритм найдено 4685 раз в 1686 документах
- для найдено 5232 раз в 2079 документах
- sat найдено 696 раз в 282 документах
- задач найдено 9394 раз в 3469 документах
- Какие входные данные для алгоритма «alg-sat-dynp» заставят его работать экспоненциально долго?
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]341 байт (4 слова) - 06:50, 4 мая 2023 - ... алгоритм [[Greedy algorithm for SAT]] находит 2-приближенное решение для MAX SAT (т.е. не хуже оптимального больше чем в два раза).
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]378 байт (12 слов) - 06:50, 4 мая 2023 - ... -03-02-p133 -->
Как задача [[../ex-greedy-sat-is-2-approx]], только покажите, что 2-приближенность сохранится, если будет [[MAX-SAT-Weighted]]
[[Категория:Решенные задачи]]
[[Категория:Теоретические ...332 байт (9 слов) - 06:50, 4 мая 2023 - На каких входных данных алгоритм из этой темы, будет работать <m>O(m)</m>?
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]302 байт (7 слов) - 06:50, 4 мая 2023 - ... ):
<latex>
\mathrm{E} \max_k|N_kN_k| \leq \sum_{k=1}^m {\binom{m}{k}} \mathrm{P}(k).
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические ...372 байт (21 слово) - 06:50, 4 мая 2023 - Случайно выбрано число из диапазона [1, 1000000].
Используя принцип включения-исключения, определите вероятность того, что выбранное число делится на один или несколько чисел из набора 4, 6 и 9.342 байт (1 слово) - 10:56, 4 мая 2023 - .1 байт (0 слов) - 17:18, 30 ноября 2011
- ... (FPTAS) для задачи о рюкзаке]]
* [[Полиномиальный в среднем алгоритм для задачи о рюкзаке]]
* [[Полиномиальный в среднем алгоритм для SAT]]
* [[Полиномиальный в среднем алгоритм для задачи упаковки ...15 КБ (513 слов) - 18:34, 30 марта 2024 - ... задачу для реальных данных сходу
** Или покрутить постановку чтобы задача решалась (релаксация бизнес-ограничений).
* Начать тестировать
** Алгоритмы полиномиальные в среднем
** Приближенные алгоритмы ...9 КБ (261 слово) - 22:41, 9 мая 2024 - ... (FPTAS) для задачи о рюкзаке]]
* [[Полиномиальный в среднем алгоритм для задачи упаковки]]
* [[Полиномиальный в среднем алгоритм для задачи о рюкзаке]]
* [[Полиномиальный в среднем алгоритм для SAT ...20 КБ (494 слова) - 05:44, 3 февраля 2024 - ... ) для задачи о рюкзаке]]
* [[Полиномиальный в среднем алгоритм для задачи о рюкзаке]]
=== Фокус ===
* [[Полиномиальный в среднем алгоритм для SAT]]
* [[Полиномиальный в среднем алгоритм для задачи ...16 КБ (531 слово) - 13:43, 18 апреля 2024 - ... (FPTAS) для задачи о рюкзаке]]
* [[Полиномиальный в среднем алгоритм для задачи упаковки]]
* [[Полиномиальный в среднем алгоритм для задачи о рюкзаке]]
* [[Полиномиальный в среднем алгоритм для SAT ...6 КБ (161 слово) - 07:36, 21 июня 2012 - ... 15}} — приближенные алгоритмы с гарантированной точностью, жадные алгоритмы в задаче о покрытии.
* ... 00:20}} — Полиномиальность в среднем, полиномиальный в среднем алгоритм для SAT.
* {{VideoIspras| ...3 КБ (153 слова) - 05:45, 27 марта 2014 - #перенаправление [[Полиномиальный в среднем алгоритм для SAT/Задачи/ex-sat-average-expect-max-nk/Решение Рубановой]]186 байт (2 слова) - 19:13, 10 декабря 2013
- == Тема ==
* [[Полиномиальный в среднем алгоритм для SAT]]
== Видео ==
{{vimeoembed|29657068|720 ... 20:24:46] Фаворская Алена [student]: там математические задачи
[2011-09-25 20:24:51] Дмитрий Черников ...22 КБ (1075 слов) - 18:29, 17 октября 2011
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)