Результаты поиска
Материал из DISCOPAL
Показаны 301-400 из 532 результатов запроса Решение, выполненного за 0.001 секунд. Статистика:
- ... $ существует полный язык относительно полиномиальной сводимости по Карпу,
то для некоторого $k$ $\Sigma^p_k=PH$.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]340 байт (8 слов) - 06:50, 4 мая 2023 - Показать, что <m>P/poly</m> содержит некоторые невычислимые функции.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]232 байт (4 слова) - 06:50, 4 мая 2023 - ... не выиграет определенную сумму <math>n \geq k</math>. Какова вероятность, что игрок проиграет все деньги?
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]670 байт (6 слов) - 06:50, 4 мая 2023 - ... с номерами $n$ и $f(n)$ на одном и том же входе либо дают одинаковый ответ, либо оба зацикливаются.
</latex>
[[Category:Решенные задачи]]
[[Категория:Теоретические задачи]]536 байт (8 слов) - 06:50, 4 мая 2023 - Докажите корректность алгоритма Прима построения минимального остовного дерева взвешенного связного неориентированного графа.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]355 байт (0 слов) - 06:50, 4 мая 2023 - Доказать, что NP ≠ coNP, если P ≠ NP
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]172 байт (4 слова) - 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 - ... на x за конечное число шагов.
Является ли HALT:
* NP-полным
* NP-трудным
* PSPACE-полным
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]383 байт (10 слов) - 06:50, 4 мая 2023 - ... [[3SAT]] и [[TAUTOLOGY]] полиномиально сводятся к друг другу по Карпу, то
[[NP]] = [[CoNP]].
<!-- P1401 -->
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]301 байт (7 слов) - 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 - ... из таких 3КНФ, которые
* выполнимы
* и в этом выполняющем наборе, в каждой скобке ровно один истинный литерал.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]429 байт (2 слова) - 06:56, 4 мая 2023 - ... -программу, которая по входу (a,b), где a,b > 1, вычисляет a<sup>b</sup>. Время работы программы должно быть ''О''(log ''b'')
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]516 байт (15 слов) - 06:50, 4 мая 2023 - ... сфере плотностью бросают $N$~точек.
Найти медиану расстояния от центра сферы до ближайшей точки.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]505 байт (4 слова) - 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 - ... 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 - ... . Удивительным кажется то, что для этой задачи построен
детерминированный o( $n^2$ )-алгоритм. Он очень хитрый.
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]1 КБ (9 слов) - 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 - ... одна ниточка, а суммарная длина всех ниточек была минимальна.
Построить полиномиальный от N алгоритм решающий задачу.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]687 байт (2 слова) - 06:50, 4 мая 2023 - ... на ленте не считается.
(можно представить многоленточную машину, в которой первая лента не считается).
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]465 байт (8 слов) - 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 - ... в три цвета граф из ''n'' вершин, для которого алгоритм [[Smallest Last]] будет использовать <m>\Omega(n)</m> цветов.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]453 байт (13 слов) - 06:50, 4 мая 2023 - ... вершин, а делить вершины надо на две одинаковые команды.
Придумайте полиномиальный алгоритм для этой задачи.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]496 байт (6 слов) - 06:50, 4 мая 2023 - ... ''k''-оптимальный полиномиальный алгоритм.
;Hint: [[Minimum Hitting Set]] является обобщением минимального вершинного покрытия.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]530 байт (15 слов) - 06:50, 4 мая 2023 - ... -ex-02-19-p99 -->
Придумайте алгоритм динамического программирования для [[Maximum Integer d-dimentional Knapsack]].
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]295 байт (9 слов) - 06:50, 4 мая 2023 - ... -greedy-sat-is-2-approx]], только покажите, что 2-приближенность сохранится, если будет [[MAX-SAT-Weighted]]
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]332 байт (9 слов) - 06:50, 4 мая 2023 - ... элементов линейного пространства, на произвольное множество.} для доказательства оптимальности алгоритма?
\end{enumerate}
</latex>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]1 КБ (16 слов) - 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 - ... «?», при том есть хотя бы один путь к «0».
Покажите, что <m>L \in NP \cap \overline{NP}</m>
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]808 байт (24 слова) - 06:50, 4 мая 2023 - Покажите, что [[3ESAT]] — NP-полная задача.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]185 байт (2 слова) - 06:50, 4 мая 2023 - ... ) DLOGSPACE] ≠ P
* PSPACE ≠ P
* Заметим, что если у вас вряд ли получится доказать эти неравенства по отдельности.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]522 байт (11 слов) - 06:50, 4 мая 2023 - Покажите, что если [https://en.wikipedia.org/wiki/L_(complexity) DLOGSPACE] = P, то PSPACE = EXPTIME.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]235 байт (11 слов) - 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 - Докажите, что если каждый [[унарный язык]] из 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 - ... задача отыскания раскраски графа в три цвета сводится по Куку к задаче проверки три-раскрашиваемости графа
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]447 байт (8 слов) - 06:50, 4 мая 2023 - ... SAT, для которых есть по крайней мере два выполняющих набора.
Покажите, что <m>L \in NPC</m>.
[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]312 байт (7 слов) - 06:50, 4 мая 2023 Файл:Производство штучных изделий 2022-12-09 16-45-10 image0.png [[Category:Проблемы_в_решении]](932 × 273 (47 КБ)) - 13:45, 9 декабря 2022Файл:Resetmtrx.png [[Category:Возможно_ошибка]] [[Category:Проблемы_в_решении]](417 × 563 (19 КБ)) - 07:28, 23 декабря 2022- {{проверено|[[Участник:StasFomin|StasFomin]] 06:51, 18 декабря 2023 (UTC)}}
<!-- Probability and Computing -->
{{eupce-2-7}}
E[max(X, Y)] = ?
[[Категория:Теоретические задачи]]231 байт (14 слов) - 06:51, 18 декабря 2023 - {{проверено|[[Участник:StasFomin|StasFomin]] 12:29, 26 декабря 2023 (UTC)}}
<!-- Probability and Computing -->
Пытаемся передать один бит (0 или 1) через «n» промежуточных узлов, каждый из которых ...614 байт (23 слова) - 12:29, 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 - ... , что даже сам Голдратт, пропустил оптимальное решение.
В [http://lib.custis.ru/Toc- ... докладе Стас Фомина] была приведена модель на MathML и решение на GLPK (увы, вроде остались только слайды и видео ...3 КБ (259 слов) - 11:59, 23 декабря 2023 - ... N задач из M разных разделов.
* Либо одну бонусную задачу — считаем, что ее решение закрывает квест.
* Выбирайте задачи из [[Open Exercises]], переходите к редактированию по «Беру…»
** помечайте ...2 КБ (14 слов) - 12:15, 19 мая 2023 - ... -2023]», заведите там подпапку по вашему логину, желательно без пробелов.
* Учимся на готовых решениях коллег - [[Решенные бизнес задачи]], ну и в папке «[https://xn--17-6kce2c.xn--80apqgfe.xn--p1ai ...3 КБ (116 слов) - 16:23, 30 ноября 2023 - ... новую инициативу — те, кто решил хоть несколько задач, и понял принцип оформления, предлагайте задачи с решениями по теме курса (можно взять из любых знакомых вам курсов и книг с алгоритмами).
Этих ...20 КБ (494 слова) - 05:44, 3 февраля 2024 - ... ==
<graph>
digraph G{
node [shape=note]
"Нерешенные задачи" -> "Решения в подстраницах"
"Решения в подстраницах" -> "На проверку"
"Решения" [style=filled fillcolor=lightblue shape=box3d]
"На ...7 КБ (490 слов) - 22:53, 26 января 2017 - ... ==
<graph>
digraph G{
node [shape=note]
"Нерешенные задачи" -> "Решения в подстраницах"
"Решения в подстраницах" -> "На проверку"
"Решения" [style=filled fillcolor=lightblue shape=box3d]
"На ...5 КБ (306 слов) - 06:44, 9 марта 2017 - ... _питон._С_машинным_кодом]]
* Бонусные задачи вполне решаются, если их не боятся → вот из последних решений → [[Участник:Mishaglik/Solutions/Spoj/FRQPRIME]]
[[File:2021-10-15 Practical Block_2021-11-03 ...4 КБ (116 слов) - 04:57, 3 мая 2024 - ... о рюкзаке:динамическое программирование|Алгоритмы динамического программирования для задачи]] о рюкзаке дают точное решение за время ''O(nf<sup>*</sup>)'' или ''O(nB)''. Если величины ''f<sup>*</sup ...10 КБ (509 слов) - 16:48, 23 октября 2008
- ... , что предложенная схема сотрудничества с двумя политиками лучше, чем структура DRL с одной политикой, в решении различных NP-трудных проблем маршрутизации, включая TSP, TSP с получением призов (PCTSP ...3 КБ (29 слов) - 12:23, 9 декабря 2021
- ... эффективные алгоритмы построения асимптотически точных покрытий и упаковок, а также асимптотически точных решений задач целочисленного программирования. Одним из его важных научных достижений является ...9 КБ (35 слов) - 13:40, 11 февраля 2020
- ... как в едином гибридном генетическом поиске (UHGS) приводит к значительным повышение точности решения. Находятся новые лучшие решения для на удивление небольшие экземпляры всего с 256 клиентами. Эти ...3 КБ (20 слов) - 22:12, 9 декабря 2021
- ... случая без нарушений, в то время как в случае с нарушениями,
мы можем скорректировать решение с помощью простого алгоритма восстановления, который в нашем случае заключается в удалении элементов из ...3 КБ (24 слова) - 15:07, 23 ноября 2021 - Arxiv/Vehicle Routing Problem with Time Windows — A Deterministic Annealing approach 2016 1604.03590... с помощью настраиваемого параметра, что позволяет нам генерировать качественно хорошие решения.
Эти решения различаются степенью пересечения маршрутов, обоснование пунктов передачи, в которых можно ...2 КБ (24 слова) - 12:55, 9 декабря 2021 - ... . Правило оценки (GSA) для DS-VRPTW, и мы сравниваем его с существующими правила принятия решений, такие как MSA. В частности, мы показываем, что GSA полностью интегрирует ограничения непредвиденности ...2 КБ (24 слова) - 17:40, 9 декабря 2021
- ... Routing Problems 2021 2109.08345|
Подходы глубокого обучения показали многообещающие результаты в решении проблем маршрутизации. проблемы. Однако по-прежнему существует значительный разрыв в качестве ...3 КБ (22 слова) - 20:25, 9 декабря 2021 - ... поверхность значений) над пространство поиска; затем эта сеть ценностей используется для проверки решений, чтобы помочь агент оптимизации черного ящика для инициализации или перезапуска для навигации ...2 КБ (17 слов) - 21:35, 9 декабря 2021
- ... глубокую архитектуру, основанную на самовнимании, как сеть политик для руководства выбором следующего решения. Мы применяем наш метод к две важные проблемы маршрутизации, то есть проблема коммивояжера ...2 КБ (14 слов) - 21:56, 9 декабря 2021
- ... убрать красную фишку с доски. доски. В этом сценарии цель не ставится. Получение выполнимого решения будет означает, что красная фишка ушла с доски.
* Второй сценарий, как полная оптимизационная ...3 КБ (24 слова) - 11:59, 23 декабря 2023 - ... /advalg-2022-homeworks/?session=default advalg-2022-homeworks]»
* Учимся на готовых решениях коллег в соседних папках и решениях прошлых лет → [https://discopal-lab.0x1.tv/projects/3b41be68-a970-4f60 ...4 КБ (121 слово) - 12:05, 9 декабря 2022 - ... в его округе «j».
Надо минимизировать разницу между «Y_j», соблюдая вышеуказанные регуляции.
{{@|Не готово, проблемы с решением}}
{{enddiv}}
{{Cat4Term2|{{FULLPAGENAME}}|OptimizationProblems}}21 КБ (3349 слов) - 11:59, 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 - ... этой задачи, с ростом размера входных данных. Отсутствие же алгоритма субэкспоненциальной сложности для точного решения этой задачи следует из того, что эта задача является NP-полной, и общепринятой ...6 КБ (326 слов) - 17:52, 30 ноября 2011
- ... [student]: но разным весом, но оба допустимых
[13:46:25] Фаворская Алена [student]: оба равноценные решения?
[13:46:25] Суворикова Александра [student]: вот, это то о чем я говорила же
[13:46:38 ...16 КБ (250 слов) - 18:34, 17 октября 2011 - ... /~gohlke/pythonlibs/#cvxopt
* Придется вкурить документацию к CVXOPT (крутой оптимизационный пакет, очень полезно).
Собственно решение релаксации будет давать верхнюю оценку для MAX-CUT.
<blockquote ...893 байт (25 слов) - 07:38, 30 мая 2012 - ... -12-16_16-54-15_image0.png||400px]]
** Иногда это может быть сложно — понять длинное решение на C или Rust
*** Но в целом, полезный навык
*** по 2 балла за задачу
*** Таких много, несколько десятков ...1 КБ (55 слов) - 15:40, 16 декабря 2020 - ... «поиска кукушки» (CS) с улучшенным алгоритмом «перетасованного лягушачьего прыжка» (ISFLA) для решения
0-1 ранцевой задачи. Прежде всего, в рамках SFLA разработан улучшенный оператор «прыжка лягушки ...2 КБ (33 слова) - 06:38, 17 марта 2022 - ... длительного или общего времени в пути транспортного средства (транспортных средств) во флоте. Для решения этих проблем мы предлагаем метод DRL, основанный на механизм внимания с декодером выбора ...3 КБ (26 слов) - 20:09, 9 декабря 2021
- ... улучшения VRP, потому что его метод позиционного кодирования (PE) не подходит для представления решений VRP. В этой статье представлен новый Dual-Aspect Collaborative Transformer (DACT) для изучения ...2 КБ (35 слов) - 20:23, 9 декабря 2021
- ... 2021 2105.02730|
Для NP-сложных задач комбинаторной оптимизации обычно сложно находить качественные решения за полиномиальное время. Дизайн либо точный алгоритм или приближенный алгоритм для этих ...3 КБ (24 слова) - 20:58, 9 декабря 2021 - ... которые в основном вращаются вокруг использование различных эвристик. Глубокое обучение может предоставить решения, которые менее затратный по времени и более качественный в больших масштабах, как это ...2 КБ (14 слов) - 21:31, 9 декабря 2021
- ... через
** PySAT
** Показанное сведение 3SAT → задача → Pyomo → ЦЛП-солвер.
** Сверять
*** если PySAT не нашел решения — то и вы не должны)
*** если нашел — то и у вас должно быть корректное ...946 байт (9 слов) - 12:30, 24 апреля 2023
Просмотреть (предыдущие 100 | следующие 100) (20 | 50 | 100 | 250 | 500)