Результаты поиска
Материал из DISCOPAL
Показаны 1-250 из 532 результатов запроса Решение, выполненного за 0.001 секунд. Статистика:
- ... (это может быть очень головоломно).
* Можно сделать и больше, такой же блок, может заменить решение задачи из [[Моделирование бизнес-задач]], если те почему-то не понравились.
* Может можно будет ...9 КБ (261 слово) - 22:41, 9 мая 2024 - ... _питон._С_машинным_кодом]]
* Бонусные задачи вполне решаются, если их не боятся → вот из последних решений → [[Участник:Mishaglik/Solutions/Spoj/FRQPRIME]]
[[File:2021-10-15 Practical Block_2021-11-03 ...4 КБ (116 слов) - 04:57, 3 мая 2024 - ... новую инициативу — те, кто решил хоть несколько задач, и понял принцип оформления, предлагайте задачи с решениями по теме курса (можно взять из любых знакомых вам курсов и книг с алгоритмами).
Этих ...16 КБ (531 слово) - 13:43, 18 апреля 2024 - ... новую инициативу — те, кто решил хоть несколько задач, и понял принцип оформления, предлагайте задачи с решениями по теме курса (можно взять из любых знакомых вам курсов и книг с алгоритмами).
Этих ...15 КБ (513 слов) - 18:34, 30 марта 2024 Файл:Эксперимент — улучшаем старые решения 2024-03-28 16-04-56 image0.png (676 × 411 (40 КБ)) - 13:04, 28 марта 2024- ... новую инициативу — те, кто решил хоть несколько задач, и понял принцип оформления, предлагайте задачи с решениями по теме курса (можно взять из любых знакомых вам курсов и книг с алгоритмами).
Этих ...20 КБ (494 слова) - 05:44, 3 февраля 2024 - ... 22 €/день или увеличить каждую из существующих служб на два врача.
Определите, какое решение принять, с целью максимизации общего количества принятых пациентов.
{{reserve-task|[[Участник:Сергей ...2 КБ (20 слов) - 10:59, 27 декабря 2023 - {{проверено|[[Участник:StasFomin|StasFomin]] 12:29, 26 декабря 2023 (UTC)}}
<!-- Probability and Computing -->
Пытаемся передать один бит (0 или 1) через «n» промежуточных узлов, каждый из которых ...614 байт (23 слова) - 12:29, 26 декабря 2023 - ... дизъюнкций)
\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 - ...
template=IncludeCard2
redirect=no
category=Теоретические_задачи
notcategory=Solved
notcategory=Решенные_задачи
notcategory=OptimizationProblems
ignore=Permission denied
ignore=A
ignore=Open_Exercises ...421 байт (32 слова) - 23:31, 23 декабря 2023 - ... первого подхода к этому рынку и опасаясь потерять текущую клиентскую базу, руководство компании приняло решение ежедневно направлять не менее 75% общего объема производства на рынок «оригинального ...3 КБ (19 слов) - 22:21, 23 декабря 2023
- ... типа C1
и 0,2 евро за кг для конфет типа C2.
Получите эффективные решения, которое
* максимизирует еженедельную выручку
* минимизирует количество сахара, используемого в неделю.
* минимизирует ...2 КБ (29 слов) - 17:51, 23 декабря 2023 - ... %D0%B8%D0%B4%D0%BA%D0%B0%D0%BC%D0%B8.ipynb?session=default Решение]
[[Участник:StasFomin|StasFomin]] 01:14, 28 ноября 2022 (UTC): Надо сделать модификацию задачи (генератор?), тут ...2 КБ (136 слов) - 11:59, 23 декабря 2023 - ... %D1%80%D1%83%D0%BA%D1%82%D0%BE%D0%B2.ipynb?session=default Решение]
{{enddiv}}
{{Cat4Term2|{{FULLPAGENAME}}|OptimizationProblems}}2 КБ (69 слов) - 11:59, 23 декабря 2023 - ... * [[Blog:Advanced_Algorithms/Хорошие_практики_компактных_Pyomo-формулировок_на_примере_решения_«Задачи_о_станках»]]
* [[Участник:Cherniavskii/BusinessProblems/Покупка_станков]]
{{enddiv}}
{{Cat4Term2 ...1 КБ (40 слов) - 11:59, 23 декабря 2023 - ... в его округе «j».
Надо минимизировать разницу между «Y_j», соблюдая вышеуказанные регуляции.
{{@|Не готово, проблемы с решением}}
{{enddiv}}
{{Cat4Term2|{{FULLPAGENAME}}|OptimizationProblems}}21 КБ (3349 слов) - 11:59, 23 декабря 2023 - ... :GeraskinDA/Капитальные инвестиции]]
* [[Blog:Advanced_Algorithms/2022-11-27_Разбор_задачи_«Капитальные_инвестиции»_и_решения_студента]]
{{enddiv}}
{{Cat4Term2|{{FULLPAGENAME}}|OptimizationProblems}}2 КБ (55 слов) - 11:59, 23 декабря 2023 - ... , что даже сам Голдратт, пропустил оптимальное решение.
В [http://lib.custis.ru/Toc- ... докладе Стас Фомина] была приведена модель на MathML и решение на GLPK (увы, вроде остались только слайды и видео ...3 КБ (259 слов) - 11:59, 23 декабря 2023 - ... убрать красную фишку с доски. доски. В этом сценарии цель не ставится. Получение выполнимого решения будет означает, что красная фишка ушла с доски.
* Второй сценарий, как полная оптимизационная ...3 КБ (24 слова) - 11:59, 23 декабря 2023 - ... .tv/projects/3b41be68-a970-4f60-9138-1aa73f8ee1fa/files/advalg-2022-homeworks/Cherniavskii/business_problem_1.ipynb Решение]
{{enddiv}}
{{Cat4Term2|{{FULLPAGENAME}}|OptimizationProblems}}2 КБ (51 слово) - 11:59, 23 декабря 2023 Файл:Minimum Test Collection 2023-12-21 14-52-00 image0.png [[Category:На_проверку]] [[Category:Проблемы_в_решении]](1802 × 733 (70 КБ)) - 11:52, 21 декабря 2023Файл:The-number-of-beautiful-subsets 2023-12-21 14-01-42 image0.png [[Category:На_проверку]] [[Category:Проблемы_в_решении]](524 × 182 (18 КБ)) - 11:01, 21 декабря 2023- Докажите, что если каждый [[унарный язык]] из NP также лежит в P, то EXPTIME=NEXP.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]246 байт (4 слова) - 06:53, 18 декабря 2023 - {{проверено|[[Участник:StasFomin|StasFomin]] 06:51, 18 декабря 2023 (UTC)}}
<!-- Probability and Computing -->
{{eupce-2-7}}
E[max(X, Y)] = ?
[[Категория:Теоретические задачи]]231 байт (14 слов) - 06:51, 18 декабря 2023 - <!-- Probability and Computing -->
{{eupce-2-7}}
E[X | X ≤ Y] = ?
[[Категория:Теоретические задачи]]
[[Категория:Решенные задачи]]186 байт (11 слов) - 06:49, 18 декабря 2023 - ... любого натурального $k, \ k \geq 0$, верно соотношение
$$
L \in \Sigma^p_k \ \iff \ \{0,1\}^*\setminus L \in \Pi^p_k \ .
$$
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]324 байт (17 слов) - 06:47, 18 декабря 2023 - ... случайным образом,
** подбрасываем ее
** выпала решка.
Какова вероятность, что мы выбрали фальшивую монету?
* [[Участник:Sanya/Решение задачи про монетки]]
[[Категория:Теоретические задачи]]674 байт (9 слов) - 06:41, 18 декабря 2023 - ... , если участник сменит выбранную на первом шаге коробку, увеличит ли это его шансы?
* [[Участник:Sanya/Решение Парадокс Монти Холла]]
[[Категория:Теоретические задачи]]1 КБ (9 слов) - 12:00, 15 декабря 2023 - ... -2023]», заведите там подпапку по вашему логину, желательно без пробелов.
* Учимся на готовых решениях коллег - [[Решенные бизнес задачи]], ну и в папке «[https://xn--17-6kce2c.xn--80apqgfe.xn--p1ai ...3 КБ (116 слов) - 16:23, 30 ноября 2023 Файл:Noncoprimes 2023-11-13 12-15-59 image0.png [[Category:На_проверку]] [[Category:Проблемы_в_решении]](1702 × 810 (151 КБ)) - 09:16, 13 ноября 2023- {{проверено|[[Участник:StasFomin|StasFomin]] 07:51, 24 мая 2023 (UTC)}}
<!-- Probability and Computing -->
Мы берем карты равномерно случайным образом с из колоды из n карт, выбранную карту добавляют ...821 байт (11 слов) - 07:51, 24 мая 2023 - {{проверено|[[Участник:StasFomin|StasFomin]] 07:50, 24 мая 2023 (UTC)}}
Покажите, что в графе с n вершинами и m ребрами, существует разрез, размера как минимум mn/(2n-1).
[[Категория:Теоретические ...323 байт (7 слов) - 07:50, 24 мая 2023 - {{проверено|[[Участник:StasFomin|StasFomin]] 07:49, 24 мая 2023 (UTC)}}
<!-- Probability and Computing -->
Предположим, мы бросаем честный k-сторонний кубик с числами 1 через K на гранях.
Если x — ...436 байт (13 слов) - 07:49, 24 мая 2023 - ... redirect=no
category=Sorting
category=Solved
ignore=Permission denied
ignore=Решенные практические задачи
silent=true
</templatedpagelist>
=== Numbers ===
<templatedpagelist>
showtotal=yes
namespace ...2 КБ (141 слово) - 14:48, 21 мая 2023 - {{проверено|[[Участник:StasFomin|StasFomin]] 09:48, 21 мая 2023 (UTC)}}
<!-- Probability and Computing -->
Предположим, что Алиса и Боб решили продолжать заводить детей, пока у них не родится девочка ...533 байт (8 слов) - 09:48, 21 мая 2023 - {{проверено|[[Участник:StasFomin|StasFomin]] 09:45, 21 мая 2023 (UTC)}}
<!-- Probability and Computing -->
Обезьяна печатает на клавиатуре из 26 букв, которая содержит только строчные латинские буквы ...590 байт (9 слов) - 09:45, 21 мая 2023 - {{проверено|[[Участник:StasFomin|StasFomin]] 09:42, 21 мая 2023 (UTC)}}
<!-- Probability and Computing -->
В графе может быть несколько одинаково минимальных разрезов.
Покажите, что их не больше n(n ...367 байт (10 слов) - 09:43, 21 мая 2023 - ... N задач из M разных разделов.
* Либо одну бонусную задачу — считаем, что ее решение закрывает квест.
* Выбирайте задачи из [[Open Exercises]], переходите к редактированию по «Беру…»
** помечайте ...2 КБ (14 слов) - 12:15, 19 мая 2023 Файл:Решение задачи 1 2023-05-19 14-36-33 image0.png [[Category:Про]](480 × 300 (44 КБ)) - 11:36, 19 мая 2023- Бонусная задача, решение ее закрывает квест по теоретическим задачам.128 байт (0 слов) - 15:24, 18 мая 2023
- ... из таких 3КНФ, которые
* выполнимы
* и в этом выполняющем наборе, в каждой скобке ровно один истинный литерал.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]429 байт (2 слова) - 06:56, 4 мая 2023 - Теоретические задачи для решения239 вхождений (0 подкатегорий, 1 файл) - 06:54, 4 мая 2023
- ...
redirect=no
category=Теоретические задачи
notcategory=Reserved
notcategory=Solved
notcategory=Решенные задачи
ignore=Permission denied
ignore=Открытые теоретические задачи
</templatedpagelist>369 байт (26 слов) - 06:54, 4 мая 2023 - ... -- cabook-ex-02-20-p100 -->
Придумайте алгоритм динамического программирования, находящий оптимальное решение задачи [[Maximum Integer k-choice Knapsack]].
[[Категория:Нерешенные задачи]]
[[Категория ...358 байт (9 слов) - 06:51, 4 мая 2023 - ... можно сказать про $T'(n)$,
которое есть минимальное время ее работы на входах длины $n$?
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]815 байт (21 слово) - 06:50, 4 мая 2023 - ... любой вычислимой всюду
определенной функции $b(n)$, то есть $\lim [T(n)/b(n)]=+\infty$.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]690 байт (20 слов) - 06:50, 4 мая 2023 - ... >
Докажите, для разрешимых языков $L_1$ и $L_2$, язык $L=L_1 \cup L_2$ также разрешим.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]322 байт (11 слов) - 06:50, 4 мая 2023 - ... существуют невычислимые по Тьюрингу
функции <tt>y=f(x)</tt>, используя мощностные соображения.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]364 байт (8 слов) - 06:50, 4 мая 2023 - ... с номерами $n$ и $f(n)$ на одном и том же входе либо дают одинаковый ответ, либо оба зацикливаются.
</latex>
[[Category:Решенные задачи]]
[[Категория:Теоретические задачи]]536 байт (8 слов) - 06:50, 4 мая 2023 - ... -программу, которая по входу (a,b), где a,b > 1, вычисляет a<sup>b</sup>. Время работы программы должно быть ''О''(log ''b'')
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]516 байт (15 слов) - 06:50, 4 мая 2023 - ... . Является ли разрешимой их конкатенация? То есть $L_1L_2 = \{ab \;|\; a \in L_1, b \in L_2\}$
\newline\newline
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]344 байт (16 слов) - 06:50, 4 мая 2023 - ... >
Пусть $L_1,L_2 \in P$. Принадлежит ли $P$ их конкатенация? То есть $L_1L_2 = \{ab \;|\; a \in L_1, b \in L_2\} \in P$?
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]290 байт (18 слов) - 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 - Какие входные данные для алгоритма «alg-sat-dynp» заставят его работать экспоненциально долго?
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]341 байт (4 слова) - 06:50, 4 мая 2023 - На каких входных данных алгоритм из этой темы, будет работать <m>O(m)</m>?
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]302 байт (7 слов) - 06:50, 4 мая 2023 - ... распределение: Вероятность появления каждой входной строки.
;<m>x_n</m>: вход длины n.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]680 байт (35 слов) - 06:50, 4 мая 2023 - ... для упаковки
заставят его работать экспоненциально долго?
* А какие — за <m>O(n^3)</m>?
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]451 байт (7 слов) - 06:50, 4 мая 2023 - Покажите, что метрическая задача коммивояжера NP-полна.
[[Category:Решенные задачи]]
[[Категория:Теоретические задачи]]208 байт (2 слова) - 06:50, 4 мая 2023 - Придумайте пример, входной метрический граф, на котором алгоритм Кристофидеса дает наихудшую точность, т.е. 3/2.
[[Category:Решенные задачи]]
[[Категория:Теоретические задачи]]310 байт (1 слово) - 06:50, 4 мая 2023 - <latex>
Почему множество всех вершин нечетной степени в остовном дереве $T$ четно?
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]268 байт (3 слова) - 06:50, 4 мая 2023 - ... связный ненаправленный граф с ребрами попарно различной длины имеет только одно минимальное остовное дерево.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]362 байт (2 слова) - 06:50, 4 мая 2023 - ... выписывает одну за
другой все машины Тьюринга, которые останавливаются, будучи
запущенными на пустой ленте?
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]374 байт (0 слов) - 06:50, 4 мая 2023 - ... слове», т.е. для данной МТ <tt>T</tt> определить,
остановится ли она на пустом слове.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]453 байт (7 слов) - 06:50, 4 мая 2023 - ... 4815162342» встречается в десятичном разложении числа
$\pi$ не менее чем $n$ раз подряд.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]463 байт (11 слов) - 06:50, 4 мая 2023 - ... за
другой все машины Тьюринга, которые не останавливаются, будучи
запущенными на пустой ленте.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]465 байт (3 слова) - 06:50, 4 мая 2023 - ... : попадет ли машина в это
состояние хотя бы для одного входного слова <tt>x</tt>?
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]581 байт (14 слов) - 06:50, 4 мая 2023 - ... и для любого n>3,
существует экземпляр TSP с n-городами, на котором этот алгоритм будет находить решение, в С раз
хуже (т.е. больше).
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]705 байт (15 слов) - 06:50, 4 мая 2023 - ... : для любого i>0, сконструируйте входную задачу, где NN-алгоритм будет находить решение, минимум в (i+2)/6 раз большее оптимального.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]792 байт (11 слов) - 06:50, 4 мая 2023 - ... алгоритм [[Greedy algorithm for SAT]] находит 2-приближенное решение для MAX SAT (т.е. не хуже оптимального больше чем в два раза).
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]378 байт (12 слов) - 06:50, 4 мая 2023 - ... -greedy-sat-is-2-approx]], только покажите, что 2-приближенность сохранится, если будет [[MAX-SAT-Weighted]]
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]332 байт (9 слов) - 06:50, 4 мая 2023 - ... {A}(x)=\mathcal{B}(f(x))$.
Считайте, что предикат $a \le b$ и функции $a + b$ и $a^2$ от целых чисел вычисляются за $O(1)$.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]2 КБ (73 слова) - 06:50, 4 мая 2023 - ... задача отыскания раскраски графа в три цвета сводится по Куку к задаче проверки три-раскрашиваемости графа
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]447 байт (8 слов) - 06:50, 4 мая 2023 - ... in coNP ===
<blockquote>
{{:Tautology}}
</blockquote>
Покажите, что эта задача в coNP.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]299 байт (10 слов) - 06:50, 4 мая 2023 - ... максимального по числу вершин полного подграфа (клики) в графе
* и задачи о вершинном покрытии
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]550 байт (4 слова) - 06:50, 4 мая 2023 - Покажите, что задача 2SAT лежит в P.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]235 байт (5 слов) - 06:50, 4 мая 2023 - Выразите логическое отношение эквивалентности в виде 3-КНФ формулы.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]301 байт (4 слова) - 06:50, 4 мая 2023 - ... графов (т.,е. графов, не содержащих ни одного гамильтонова цикла)
принадлежит coNP.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]608 байт (5 слов) - 06:50, 4 мая 2023 - ... трех раз, причем каждый литерал - не больше двух.
Покажите, что и эта задача NP-полна.
[[Category:Решенные задачи]]
<!--Вообще-то, решения уже есть-->
[[Категория:Теоретические задачи]]590 байт (8 слов) - 06:50, 4 мая 2023 - Покажите, что <m>P \subseteq NP \cap coNP</m>.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]233 байт (10 слов) - 06:50, 4 мая 2023 - ... NP$, т.к.
если оракул-Мерлин предоставит решение $v$,
доказывающее принадлежность полинома $p \in DFNT$, ... 0$.
Прав ли студент?
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]686 байт (14 слов) - 06:50, 4 мая 2023 - ... полиномиальный алгоритм для проверки, есть ли в заданном графе хотя бы один «треугольник».
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]363 байт (3 слова) - 06:50, 4 мая 2023 - ... конечных множеств и натуральное <m>k</m>. Существует ли подсемейство, состоящее из <m>k</m> попарно непересекающихся множеств?
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]476 байт (7 слов) - 06:50, 4 мая 2023 - ... с мультипликативной ошибкой не превышающей величины, зависящей только от числа вершин графа.
[[Category:Решенные задачи]]
<!--Вообще-то, решения уже есть-->
[[Категория:Теоретические задачи]]539 байт (9 слов) - 06:50, 4 мая 2023 - {{:Subset Sum}}
Постройте недетерминированный полиномиальный алгоритм для задачи [[Subset Sum]]
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]331 байт (7 слов) - 06:50, 4 мая 2023 - ... графа в два цвета ==
Постройте полиномиальный алгоритм для раскраски графа в два цвета.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]411 байт (3 слова) - 06:50, 4 мая 2023 - ... нулей.
Покажите, что если существует один из таких языков <m>L_{0}</m>, что <m>L_{0} \in NPC</m>,
то <m>P=NP</m>.
[[Категория:Решенные задачи]]
[[Категория:P1401]]
[[Категория:Теоретические задачи]]456 байт (14 слов) - 06:50, 4 мая 2023 - ... mod\, d\,\}\, \text{принадлежит}\,P
2. Укажите два слова, принадлежащие языку, и два слова, не принадлежащие языку.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]453 байт (16 слов) - 06:50, 4 мая 2023 - ... или матрицей смежности)}.
Покажите, что L_{planar} ∈co−NP .
Подсказка: посмотри Th. Понтрягина — Куратовского
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]499 байт (11 слов) - 06:50, 4 мая 2023 - ... определить, что граф гамильтонов, но и найти в нем какой-нибудь гамильтонов цикл (если он существует).
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]463 байт (2 слова) - 06:50, 4 мая 2023 - <latex>
Доказать, что следующая проблема принятия решения NP-полная. Пусть есть $n$ рыцарей, и множество пар рыцарей, являющихся врагами. Возможно ли рассадить (расположить) рыцарей у ...557 байт (5 слов) - 06:50, 4 мая 2023 - ... «?», при том есть хотя бы один путь к «0».
Покажите, что <m>L \in NP \cap \overline{NP}</m>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]808 байт (24 слова) - 06:50, 4 мая 2023 - ... , что если <m>L \in NP</m>, а KOD — какая-то кодировка над алфавитом L, то <m>KOD(L) \in NP</m>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]408 байт (17 слов) - 06:50, 4 мая 2023 - K(L) — [[кодировка]].
Докажите, что класс P замкнут относительно кодировок тогда и только тогда, если P=NP.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]301 байт (5 слов) - 06:50, 4 мая 2023 - ... SAT, для которых есть по крайней мере два выполняющих набора.
Покажите, что <m>L \in NPC</m>.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]312 байт (7 слов) - 06:50, 4 мая 2023 - ... дешевые ребра к еще непосещенным вершинам, не гарантирует нахождение оптимального решения.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]625 байт (3 слова) - 06:50, 4 мая 2023 - Почему в алгоритме Люби построенное множество:
* а) является независимым
* б) максимальным по включению
[[Category:Решенные задачи]]
[[Категория:Теоретические задачи]]296 байт (1 слово) - 06:50, 4 мая 2023 - Постройте полиномиальную сводимость задачи 3SAT к задаче CLIQUE.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]286 байт (5 слов) - 06:50, 4 мая 2023 - ... . Классы NP, coNP, NPC/Задачи/3КНФ→Клика]], но дополнительно требуется, чтобы количество решений сохранялось.
Т.е. если 3КНФ <tt>F</tt> полиномиально преобразуется в (граф <tt>G</tt>, число <tt ...773 байт (22 слова) - 06:50, 4 мая 2023 - ... одной бригады обслуживания, которые вместе должны посетить
все вершины графа без повторений.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]1 КБ (20 слов) - 06:50, 4 мая 2023 - ... подмножеств) полиномиально эквивалентна задаче о нахождении максимальной клики в графе.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]557 байт (3 слова) - 06:50, 4 мая 2023 - Докажите
<m>
NP \cup coNP \subseteq P^{NP}
</m>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]172 байт (8 слов) - 06:50, 4 мая 2023 - Докажите <m>P^{SAT}=P^{NP}</m>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]155 байт (6 слов) - 06:50, 4 мая 2023 - Докажите
<m>NP^{SAT}=\Sigma^p_2</m>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]160 байт (6 слов) - 06:50, 4 мая 2023 - Докажите, что
<m>PH\subseteq PSPACE</m>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]168 байт (5 слов) - 06:50, 4 мая 2023 - ... $ существует полный язык относительно полиномиальной сводимости по Карпу,
то для некоторого $k$ $\Sigma^p_k=PH$.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]340 байт (8 слов) - 06:50, 4 мая 2023 - Показать, что <m>P/poly</m> содержит некоторые невычислимые функции.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]232 байт (4 слова) - 06:50, 4 мая 2023 - ... {Доказать, что задача поиска решения уравнения}
\\
x^k = n, \ \ \ k,n \ \in \ N, \\ \text{в натуральных числах разрешима за полиномиальное время.}
</latex>
[[Категория:Решенные задачи]]
[[Категория ...373 байт (11 слов) - 06:50, 4 мая 2023 - Доказать, что NP ≠ coNP, если P ≠ NP
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]172 байт (4 слова) - 06:50, 4 мая 2023 - ... на x за конечное число шагов.
Является ли HALT:
* NP-полным
* NP-трудным
* PSPACE-полным
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]383 байт (10 слов) - 06:50, 4 мая 2023 - ... [[3SAT]] и [[TAUTOLOGY]] полиномиально сводятся к друг другу по Карпу, то
[[NP]] = [[CoNP]].
<!-- P1401 -->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]301 байт (7 слов) - 06:50, 4 мая 2023 - Покажите, что [[3ESAT]] — NP-полная задача.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]185 байт (2 слова) - 06:50, 4 мая 2023 - ... алгоритм с точностью <m>\frac{1}{2}</m> для нахождения паросочетания максимального размера.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]371 байт (6 слов) - 06:50, 4 мая 2023 - ... {1}{2}$ для нахождения максимального (по включению) паросочетания минимального объема.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]436 байт (7 слов) - 06:50, 4 мая 2023 - ... мультипликативной ошибки жадного алгоритма для задачи покрытия множеств достигается
по порядку.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]426 байт (8 слов) - 06:50, 4 мая 2023 - ... ,
когда известно, что в исходных данных, каждый элемент покрывается не более, чем <tt>k</tt> подмножествами.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]446 байт (7 слов) - 06:50, 4 мая 2023 - ... «этот алгоритм с паросочетаниями» строит покрытие с числом вершин
<m> \ge 2 \cdot OPT</m>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]523 байт (9 слов) - 06:50, 4 мая 2023 - ... ошибку не превышающую 2 (целевая функция — минимизировать максимум по весам в обоих кучах).
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]774 байт (3 слова) - 06:50, 4 мая 2023 - ... с порядком сортировки по уменьшению cтоимости. Сформулируйте эффективный алгоритм для поиска оптимального решения этой разновидности задачи о рюкзаке и обоснуйте его корректность.
[[Категория ...606 байт (1 слово) - 06:50, 4 мая 2023 - ... , на которых модифицированный жадный алгоритм дает (хотя бы в пределе) наихудшую оценку точности.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]397 байт (3 слова) - 06:50, 4 мая 2023 - ... (выбирать по отношению цена/вес) выберет \red{набор в~$k$ раз хуже оптимального}.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]516 байт (15 слов) - 06:50, 4 мая 2023 - ... , но без циклов отрицательной длины,
для которого алгоритм Дейкстры даст неправильный ответ.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]432 байт (3 слова) - 06:50, 4 мая 2023 - ... асимптотическую оценку $\sim \log {_2} n$ для чисел вида $n=2^k+2^{k-1}+2^{k-2}+\ldots+2^{k-tk-t}$?
Для произвольных чисел?
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]733 байт (18 слов) - 06:50, 4 мая 2023 - ... алгоритм нахождения наиболее надежных маршрутов между данным узлом и~всеми остальными.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]945 байт (16 слов) - 06:50, 4 мая 2023 - Докажите корректность алгоритма Прима построения минимального остовного дерева взвешенного связного неориентированного графа.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]355 байт (0 слов) - 06:50, 4 мая 2023 - ...
<latex>
\min l_j > OPT(x)/3
</latex>
этот алгоритм находит оптимальное решение.
(OPT(x) — значение этого оптимального решения).
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]861 байт (21 слово) - 06:50, 4 мая 2023 - ...
\frac{M_{LPT}}{OPT(x)} = \frac{1}{3} ( 4 — \frac1p )
</m>
* OPT(x) — значение этого оптимального решения.
* <m>M_{LPT}</m> — значение, найденное алгоритмом.
См. также [[Жадный алгоритм в задачах ...1023 байт (30 слов) - 06:50, 4 мая 2023 - ... < \frac{1}{3} ( 4 — \frac1p )
</m>
* OPT(x) — значение этого оптимального решения.
* <m>M_{LPT}</m> — значение, найденное алгоритмом
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]878 байт (28 слов) - 06:50, 4 мая 2023 - ... [https://en.wikipedia.org/wiki/Bin_packing_problem First Fit], обобщенный для многомерности,
найдет (d+1)-оптимальное решение.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]1 КБ (33 слова) - 06:50, 4 мая 2023 - ... в три цвета граф из ''n'' вершин, для которого алгоритм [[Smallest Last]] будет использовать <m>\Omega(n)</m> цветов.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]453 байт (13 слов) - 06:50, 4 мая 2023 - ... ]].
Придумайте приближенный алгоритм, основанный на линейной релаксации задачи линейного программирования, который находит
P-оптимальное решение, где <m>P=\max_i\sum_ja_{ij}</m>
[[Категория ...506 байт (16 слов) - 06:50, 4 мая 2023 - ... ''k''-оптимальный полиномиальный алгоритм.
;Hint: [[Minimum Hitting Set]] является обобщением минимального вершинного покрытия.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]530 байт (15 слов) - 06:50, 4 мая 2023 - ... элементов линейного пространства, на произвольное множество.} для доказательства оптимальности алгоритма?
\end{enumerate}
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]1 КБ (16 слов) - 06:50, 4 мая 2023 - ... только через вершины имеющие не больше $777$ соседей, и <<0>> в противном случае.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]711 байт (19 слов) - 06:50, 4 мая 2023 - ... добиться минимального энергопотребления.
Сведите задачу к классическому оптимизационному рюкзаку.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]1 КБ (42 слова) - 06:50, 4 мая 2023 - ... представить входные данные <m>h, l</m>, на которых жадный алгоритм выдаст в <m>k</m> раз худшее решение.
* Разработайте оптимальный полиномиальный алгоритм, чтобы найти максимальный объем работ за ...2 КБ (60 слов) - 06:50, 4 мая 2023 - ... с одной стороны, а с другой, чтобы потери для торговой сети были минимальными.
Очевидно, что существует тривиальное допустимое решение~--- округлить цены всех товаров, но требуется найти именно ...2 КБ (10 слов) - 06:50, 4 мая 2023 - Придумайте входные наборы для алгоритма Немхаузера-Ульмана, на которых он будет работать экспоненциальное время.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]326 байт (1 слово) - 06:50, 4 мая 2023 - ... входные наборы для этого алгоритма, на которых он будет работать экспоненциальное время.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]360 байт (3 слова) - 06:50, 4 мая 2023 - ... входные наборы для этого алгоритма, на которых он будет работать экспоненциальное время.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]360 байт (3 слова) - 06:50, 4 мая 2023 - ... алгоритм построения дерева ключей, минимизирующего суммарную стоимость доступа ко всем элементам (частоты доступа $p_i$).
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]856 байт (17 слов) - 06:50, 4 мая 2023 - Предложите детерминированный приближенный алгоритм для [[Minimum Hitting Set]] и оцените его точность.
{{needjupyternotebook}}
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]313 байт (4 слова) - 06:50, 4 мая 2023 - ... образующих цикл, в ориентированном подграфе.
И сделайте это за линейное время от размера графа.
</latex>
{{Needjupyternotebook}}
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]522 байт (4 слова) - 06:50, 4 мая 2023 - ... жадного алгоритма в задаче о покрытии множеств оценка <m>1+\ln m</m> достигается асимптотически.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]390 байт (7 слов) - 06:50, 4 мая 2023 - ... , что оценка точности $1-e^{-1}$ для задачи о~$k$-покрытии асимптотически достижима.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]351 байт (9 слов) - 06:50, 4 мая 2023 - ... каждому отрезку принадлежит хотя бы она точка. Предложить эффективный жадный алгоритм, оценить сложность.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]551 байт (3 слова) - 06:50, 4 мая 2023 - ... Sigma =\{a_0,...,a_n\}$, есть множество состояний $S=\{s_0,...,s_m\}$. Сколько существует машин Тьюринга для данных множеств?
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]365 байт (10 слов) - 06:50, 4 мая 2023 - ... . Удивительным кажется то, что для этой задачи построен
детерминированный o( $n^2$ )-алгоритм. Он очень хитрый.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]1 КБ (9 слов) - 06:50, 4 мая 2023 - ... одна ниточка, а суммарная длина всех ниточек была минимальна.
Построить полиномиальный от N алгоритм решающий задачу.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]687 байт (2 слова) - 06:50, 4 мая 2023 - ... ) ''first fit'' и ''best fit''.
Найдите примеры входных данных, когда first fit лучше best fit.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]425 байт (24 слова) - 06:50, 4 мая 2023 - ... в один из m, контейнеров, выкидываем этот предмет.
Докажите, что этот алгоритм упакует как минимум n/2 предметов.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]1 КБ (25 слов) - 06:50, 4 мая 2023 - ... {itemize}
\item $\chi(G)$ --- хроматическое число графа $G$,
\item $G^c$ --- дополнение графа $G$.
\end{itemize}
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]447 байт (30 слов) - 06:50, 4 мая 2023 - ... для его раскраски (раскраска графа --- чтобы смежные вершины не были одного цвета).
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]494 байт (9 слов) - 06:50, 4 мая 2023 - ... -ex-02-19-p99 -->
Придумайте алгоритм динамического программирования для [[Maximum Integer d-dimentional Knapsack]].
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]295 байт (9 слов) - 06:50, 4 мая 2023 - Покажите, что если [https://en.wikipedia.org/wiki/L_(complexity) DLOGSPACE] = P, то PSPACE = EXPTIME.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]235 байт (11 слов) - 06:50, 4 мая 2023 - ... для времени работы $T_M(x)$ машины M выполняется:
\[
\mathrm{E} T_M(x) \leq p(|x|).
\]
Докажите, что $ZPP_{NotNull}=ZPP$.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]617 байт (24 слова) - 06:50, 4 мая 2023 - ... повторений для заданного уровня вероятности правильного ответа <tt>q</tt> в алгоритме <tt>B</tt>.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]754 байт (35 слов) - 06:50, 4 мая 2023 - ...
Если:
* <m>p\left(|x|\right)=\frac{1}{|x|}</m>
* <m>p\left(|x|\right)=\frac{1}{\log_2{|x|}}</m>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]673 байт (43 слова) - 06:50, 4 мая 2023 - ... <m>n</m> вероятность события <m>A(f_n(x))=x</m> меньше (случайно взятый <m>x</m> длины <m>n</m> и случайное бросание алгоритма).
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]769 байт (26 слов) - 06:50, 4 мая 2023 - ... первой кости Бобу.
Покажите, что несмотря на это «благородство», что вероятность выигрыша Алисы больше ½.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]1 КБ (3 слова) - 06:50, 4 мая 2023 - ... выиграет <tt>n</tt>-раз.
Какова вероятность, что проигравший к концу игры выиграет <tt>k</tt>-раундов?
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]519 байт (9 слов) - 06:50, 4 мая 2023 - ... >0<i<6</tt>, <tt>i</tt>-й и <tt>11-i</tt>-й броски будут одинаковы.
* Будет выброшено подряд четыре «орла».
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]551 байт (11 слов) - 06:50, 4 мая 2023 - ... некоторое число <m>\kappa</m> экспериментов и взяв среднее значение. Оценить сверху <m>\kappa</m> как функцию от <m>\delta</m>.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]665 байт (20 слов) - 06:50, 4 мая 2023 - ... <tt>n</tt>-ходов, число существ типа A будет равновероятно распределено между <tt>1</tt> и <tt>n+1</tt>.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]706 байт (14 слов) - 06:50, 4 мая 2023 - ... , чем на второй.
* Сумма обоих результатов — четная.
* Произведение результатов — квадрат какого-то целого числа.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]685 байт (1 слово) - 06:50, 4 мая 2023 - Докажите, что <m>PSPACE \subseteq EXPTIME </m>.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]234 байт (8 слов) - 06:50, 4 мая 2023 - {{:QSAT}}
Докажите, что [[QSAT]] in [[PSPACE]].
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]235 байт (7 слов) - 06:50, 4 мая 2023 - ... ldots
\item[$\notin L$] $)($, \ldots
\end{description}
Докажите, что $L \in LOGSPACE$.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]488 байт (26 слов) - 06:50, 4 мая 2023 - ... \MT{M} останавливается на $x$ не позже, чем через $t$ шагов.
Докажите: $L \in EXPTIME$.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]447 байт (18 слов) - 06:50, 4 мая 2023 - <latex>
\[
LOGSPACE=DSPACE(O(\log n)).
\]
Покажите, что $LOGSPACE \subseteq P$.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]276 байт (13 слов) - 06:50, 4 мая 2023 - ... не выиграет определенную сумму <math>n \geq k</math>. Какова вероятность, что игрок проиграет все деньги?
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]670 байт (6 слов) - 06:50, 4 мая 2023 - Покажите, что метод случайного блуждания не работает для решения задачи связности на ориентированных графах.
Представьте пример ориентированного графа c ''n'' вершинами, в котором даже есть путь из ...650 байт (11 слов) - 06:50, 4 мая 2023 - ... сфере плотностью бросают $N$~точек.
Найти медиану расстояния от центра сферы до ближайшей точки.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]505 байт (4 слова) - 06:50, 4 мая 2023 - ... на ленте не считается.
(можно представить многоленточную машину, в которой первая лента не считается).
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]465 байт (8 слов) - 06:50, 4 мая 2023 - ... ) DLOGSPACE] ≠ P
* PSPACE ≠ P
* Заметим, что если у вас вряд ли получится доказать эти неравенства по отдельности.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]522 байт (11 слов) - 06:50, 4 мая 2023 - ... зарождения ребра — ½.
;Hint: Сначала надо правильно решить [[MAX-CUT: вероятностное округление/Задачи/Матожидание разреза]].
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]589 байт (8 слов) - 06:50, 4 мая 2023 - ... 3--5
}
</neato>
----
Доказать, что вероятностный алгоритм вычисляет минимальный разрез с вероятностью <m>P \ge \frac{2}{n(n-1)}</m>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]2 КБ (92 слова) - 06:50, 4 мая 2023 - ... состоит не более чем из <m>|E|</m> ребер,
то данный алгоритм гарантированно даст 2-приближенное решение задачи MAX-CUT).
Разрезом называется разбиение <m>V</m> на два непересекающихся подмножества ...1 КБ (53 слова) - 06:50, 4 мая 2023 - ... формулу матожидания средней величины разреза по всем таким случайным графам из <tt>n</tt>-вершин.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]499 байт (7 слов) - 06:50, 4 мая 2023 - ... «MAX-SAT», только в КНФ в каждой скобке ровно три литерала.
Предложите вероятностный алгоритм с точностью <m>\frac{7}{8}</m>.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]382 байт (6 слов) - 06:50, 4 мая 2023 - ... ), для которой на любом наборе переменных выполнено не более половины скобок.
* А менее половины скобок?
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]515 байт (1 слово) - 06:50, 4 мая 2023 - ... совместной подсистемы системы линейных булевых уравнений (сложения и умножения по модулю 2).
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]586 байт (6 слов) - 06:50, 4 мая 2023 - ... алгоритма «alg-derand-max-sat» (кроме решения линейной релаксации) будет $O(mn)$.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]470 байт (10 слов) - 06:50, 4 мая 2023 - ... - к разорению…
Обоснуйте.
Подсчитайте матожидание выигрыша для каждой из стратегий.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]3 КБ (23 слова) - 06:50, 4 мая 2023 - ... путем дерандомизации построения
<m>\frac{3}{4}</m>-приближенного детерминированного полиномиального алгоритма для задачи MAX-SAT?
[[Category:Решенные задачи]]
[[Категория:Теоретические задачи]]366 байт (6 слов) - 06:50, 4 мая 2023 - ... алгоритм для задачи о коммивояжере на полном графе с положительными весами, где f любая функция, то P=NP.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]417 байт (6 слов) - 06:50, 4 мая 2023 - ... вероятности не больше ½
для проверки этой матрицы на вырожденность ($\det A \equiv 0$).
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]641 байт (22 слова) - 06:50, 4 мая 2023 - ... Лаутемана (не палите из пушек по воробьям!).
Просто посмотрите на определения обоих классов.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]447 байт (9 слов) - 06:50, 4 мая 2023 - Докажите, что <m>RP \subseteq P/poly </m>.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]229 байт (9 слов) - 06:50, 4 мая 2023 - Есть оптимизационный алгоритм <tt>A</tt>, который для входа <tt>x</tt> находит оптимальное решение с вероятностью <tt>1/|x|</tt>.
Как сделать из него максимально эффективный алгоритм <tt>B</tt>, ...565 байт (24 слова) - 06:50, 4 мая 2023 - ... >
* <tt>Prob(A(x)=w) <= ¼</tt>
Можно ли как-то из <tt>A</tt> сделать полезный алгоритм?
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]604 байт (30 слов) - 06:50, 4 мая 2023 - ... алгоритм, который правильно вычисляет $F(x)$ с вероятностью не меньше $\frac{2}{3}$.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]2 КБ (31 слово) - 06:50, 4 мая 2023 - ... в опытную эксплуатацию),
и нужно восстановить
значение этой функции за время $O(N^2)$.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]660 байт (12 слов) - 06:50, 4 мая 2023 - ... выполнить
больше чем <tt>K</tt>, количество скобок.
Покажите, что эта задача NP-полна.
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]557 байт (12 слов) - 06:50, 4 мая 2023 - ... -03-01-p116 -->
Опишите алгоритм локального поиска для MAX-SAT, покажите, что он находит решение не хуже половины от оптимума.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]342 байт (6 слов) - 06:50, 4 мая 2023 - ... ли
* а). перечислимым
* б). ко-перечислимым множество описаний машин Тюринга, останавливающихся на пустом входе?
Ответ обосновать.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]373 байт (1 слово) - 06:50, 4 мая 2023 - ... . Доказать, что если его слова можно лексикографически упорядочить, то <latex> L </latex> тогда является и разрешимым.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]383 байт (7 слов) - 06:50, 4 мая 2023 - ... ($p=1/2$) приписать к~множеству $T$ или $S$.
Докажите, что этот вероятностный алгоритм является $0.5$-приближенным.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]582 байт (6 слов) - 06:50, 4 мая 2023 - ... оставшиеся вершины, к множеству, с которым у этой вершины меньше ребер-связей.
Прав ли студент?
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]673 байт (6 слов) - 06:50, 4 мая 2023 - ... ) паросочетания минимального размера.
Сложность алгоритма не больше $O( (n+m)^2 )$.
</latex>
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]507 байт (9 слов) - 06:50, 4 мая 2023 - ... каждом уравнении то они разные! Система уравнений из двух переменных это абсолютная банальщина}}
<!--Вообще-то, решения уже есть-->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]1 КБ (16 слов) - 06:50, 4 мая 2023 - ... вершин, а делить вершины надо на две одинаковые команды.
Придумайте полиномиальный алгоритм для этой задачи.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]496 байт (6 слов) - 06:50, 4 мая 2023 - ... через
** PySAT
** Показанное сведение 3SAT → задача → Pyomo → ЦЛП-солвер.
** Сверять
*** если PySAT не нашел решения — то и вы не должны)
*** если нашел — то и у вас должно быть корректное ...946 байт (9 слов) - 12:30, 24 апреля 2023 - ... >U'⊆ U</em> переменных которых выставили в «истину», а остальные <em>U-U'</em> соответственно выставлены в «ложь». Значение решения <em>R</em> будет
** либо <em>B</em>, если <em>F</em> ложно
** либо ...1 КБ (104 слова) - 22:05, 17 апреля 2023 - ... алгоритмические аспекты теории решеток и их применение в криптографии, в частности, сложность решения систем линейных диофантовых уравнений, сложность нахождения кратчайшего ненулевого вектора решетки ...7 КБ (363 слова) - 11:43, 21 марта 2023
Файл: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Файл:01 решение задачи SCCP методом улучшенной Лагранжевой релаксации 2017.pdf (При чтении оригинала учесть, что Cast -- заказ, состоит из нескольких плавок, Charge -- плавка, Job = Charge)
#Постановка.
Имеются некоторые заказы. Каждый заказ состоит из нескольких плавок.
...(595 × 793 (1 МБ)) - 16:10, 22 января 2023Файл:Resetmtrx.png [[Category:Возможно_ошибка]] [[Category:Проблемы_в_решении]](417 × 563 (19 КБ)) - 07:28, 23 декабря 2022- Решения в бизнес-задачах, где высоковероятно ошибка (не совпадает с решением Стаса). Но может ошибки и нет. Если «перехватить чужое решение» и найти в нем ошибку — 5 бонусных баллов.5 вхождений (0 подкатегорий, 5 файлов) - 11:37, 11 декабря 2022
Файл:Производство штучных изделий 2022-12-09 16-45-10 image0.png [[Category:Проблемы_в_решении]](932 × 273 (47 КБ)) - 13:45, 9 декабря 2022- ... /advalg-2022-homeworks/?session=default advalg-2022-homeworks]»
* Учимся на готовых решениях коллег в соседних папках и решениях прошлых лет → [https://discopal-lab.0x1.tv/projects/3b41be68-a970-4f60 ...4 КБ (121 слово) - 12:05, 9 декабря 2022 - Статьи про эвристики приближенного решения сложных задач (NP-полные, планирование-расписания и т.п.), к которым есть тестовые данные, но которых надо воспроизвести в виде ...0 вхождений (0 подкатегорий, 0 файлов) - 21:33, 6 декабря 2022
- ... desc
output=template
template=IncludeCardSolved
redirect=no
category=OptimizationProblems
category=Solved
ignore=Permission denied
ignore=Решенные бизнес задачи
silent=true
</templatedpagelist>302 байт (27 слов) - 12:29, 1 декабря 2022 - ...
redirect=no
category=Reserved
category=OptimizationProblem
ignore=Permission denied
ignore=Решенные бизнес-задачи
ignore=Зарезервированные бизнес-задачи
silent=true
</templatedpagelist>356 байт (29 слов) - 15:57, 21 октября 2022 - Оптимизационные задачи для формулирования и решения через Pyomo.1 вхождение (0 подкатегорий, 0 файлов) - 09:23, 21 октября 2022
- ... 0;
}
</source>
[[Участник:StasFomin|StasFomin]] 02:39, 19 мая 2022 (UTC): Вы невнимательны и игнорировали и курс и задания. Решения ожидается только на Python.
{{:Практикуемся_В_Алгоритмах}}2 КБ (217 слов) - 12:30, 7 октября 2022 - ... 0;
}
</source>
[[Участник:StasFomin|StasFomin]] 02:40, 19 мая 2022 (UTC): Вы невнимательны и игнорировали и курс и задания. Решения ожидается только на Python.
{{:Практикуемся_В_Алгоритмах}}3 КБ (269 слов) - 12:29, 7 октября 2022 - ... ||800px]]
-----
[[File:Status_2022-09-08_10-29-08_image0.png||800px]]
</slides>
==== Файл-решение ====
* [[:Файл:Output-gurobi-2022-09-07-18-27-31-4226.xls]]
=== На древнем компе 2008 ...8 КБ (504 слова) - 10:09, 21 сентября 2022 - ... ), что позволяет использовать более широкий класс приложений, требующих большего, чем просто решение задач минимизации.
В этой работе мы рассматриваем недавно предложенную настройку PFL с целевой ...3 КБ (29 слов) - 07:05, 24 марта 2022 - ... вычисляющие эти политики.
С другой стороны, мы показываем, что для любого α > 1 проблема решения вопроса о том, достигает ли данная универсальная политика коэффициента α, является coNP-полной. Если ...3 КБ (14 слов) - 06:38, 17 марта 2022 - ... «поиска кукушки» (CS) с улучшенным алгоритмом «перетасованного лягушачьего прыжка» (ISFLA) для решения
0-1 ранцевой задачи. Прежде всего, в рамках SFLA разработан улучшенный оператор «прыжка лягушки ...2 КБ (33 слова) - 06:38, 17 марта 2022 - ... серии экспериментов мы исследуем PLS как автономный алгоритм, начиная со случайных и жадных решений.
<p>
Во втором наборе мы анализируем PLS как постоптимизирующую процедуру.
</html>}}
{{enddiv ...1 КБ (30 слов) - 06:38, 17 марта 2022 - ... |arxiv/Distributed Saddle-Point Problems Under Similarity 2021 2107.10706|
Мы изучаем методы решения (сильно) выпуклых- (сильно) вогнутых задач перевала (SPP) в сетях двух типов - с основной / рабочей ...2 КБ (20 слов) - 06:37, 17 марта 2022 - ... решить.
Мы обсуждаем новый способ решения упомянутой проблемы с использованием рекурсивного подход ... эти методы вместе, чтобы получить ближайшее решение оптимального маршрута, так как исследования и ...2 КБ (17 слов) - 06:36, 17 марта 2022 - ... [[File:Minesweeper_2022-03-03_08-50-39_image0.png|center|800px]]
== Суперкомпьютер для решения SAT ==
== Передача сигнала . ==
<slides split="-----" width="800">
[[File:Minesweeper_2022-03-03_08 ...1 КБ (130 слов) - 06:38, 3 марта 2022 - ... интерес не только к многоцелевые модели, но также и в специализированных многоцелевых метаэвристиках для решения этих моделей. Широкий спектр методов, например NSGA-II, SPEA, IBEA, Таким образом ...3 КБ (33 слова) - 22:16, 9 декабря 2021
- ... как в едином гибридном генетическом поиске (UHGS) приводит к значительным повышение точности решения. Находятся новые лучшие решения для на удивление небольшие экземпляры всего с 256 клиентами. Эти ...3 КБ (20 слов) - 22:12, 9 декабря 2021
- Arxiv/An Empirical Investigation of Four Well-Known Polynomial-Size VRP Formulations 2018 1810.00199... количества ВП определенного типа.
Нижняя и верхняя граница производительности и эффективность решения формулировок и соответствующие конфигурации VI проверены на современных коммерческих программное ...2 КБ (20 слов) - 22:04, 9 декабря 2021 - ... ) для маршрутизации транспортных средств, которая объединяет изученную эвристику для создания новых решения. Механизм обучения основан на глубокой нейронной сети с механизм внимания и был специально ...3 КБ (24 слова) - 21:59, 9 декабря 2021
- ... глубокую архитектуру, основанную на самовнимании, как сеть политик для руководства выбором следующего решения. Мы применяем наш метод к две важные проблемы маршрутизации, то есть проблема коммивояжера ...2 КБ (14 слов) - 21:56, 9 декабря 2021
- ... алгоритм (MFEA) в последнее время получил широкое распространение. заметный импульс при решении нескольких задач оптимизации. Эта работа способствует этой тенденции, предлагая первую адаптацию ...3 КБ (24 слова) - 21:52, 9 декабря 2021
- ... многозадачности — это недавно представленная парадигма, ориентированная на одновременное решение нескольких экземпляров оптимизационных задач (задач).
Цель многозадачных сред — динамическое ...3 КБ (24 слова) - 21:47, 9 декабря 2021
Просмотреть (предыдущие 250 | следующие 250) (20 | 50 | 100 | 250 | 500)