Запитання з тегом «heuristics»

Які теоретичні пояснення існують для практичного успіху вирішувачів SAT, і чи може хтось дати огляд "стилю вікіпедії" та пояснення, пов'язуючи їх разом? За аналогією, згладжений аналіз ( версія arXiv ) для алгоритму симплекс робить велику роботу, пояснюючи, чому він працює так добре на практиці, незважаючи на те, що він займає …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Проблема стабільного шлюбу: http://en.wikipedia.org/wiki/Stable_marriage_problem Мені відомо, що для прикладу SMP можливі багато інших стійких шлюбів, окрім повернутого алгоритмом Гале-Шаплі. Однак якщо нам задано лише , кількість чоловіків / жінок, ми задаємо наступне питання - Чи можемо ми побудувати список уподобань, який дає максимальну кількість стабільних шлюбів? Яка верхня межа такої …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

Чи існують повні NP-задачі без нескінченного підмножини екземплярів такі, що про членство в можна вирішити в поліномічний час, а для всіх , можна вирішити в поліноміальний час? (Припустимо, що )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq NP

18 cc.complexity-theory  np-complete  heuristics 

Я хотів би обчислити ширину графіка. Існують дуже хороші евристики для інших проблемних граф NP-жорстких, таких як VF2 для ізоморфізму підграфа, з кодом, наприклад, в igraph . Я спробував їх на своїх графіках, і я вважаю, що вони дуже швидко працюють для моїх даних. Чи є якісь швидкі алгоритми для …

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

Я готував деякий навчальний матеріал з евристики для оптимізації і розглядав методи координатного спуску. Тут встановлено багатофакторну функцію fff яку ви хочете оптимізувати. fff має властивість, яка обмежена будь-якою єдиною змінною, її легко оптимізувати. Таким чином, координування спуску триває, проїжджаючи по координатах, фіксуючи все, крім обраного, і мінімізуючи уздовж цієї …

14 ds.algorithms  reference-request  optimization  heuristics 

У цій роботі Кемпе-Кляйнберг-Тардос Автори пропонують жадібні алгоритми, засновані на субмодульних функціях для визначення найвпливовіших вузлів у графі, із додатками до соціальних мереж.кkk В основному алгоритм йде наступним чином: S= e m p t y s e t S=empty setS = {\rm empty~set} виберіть вузол з найбільшим індивідуальним впливом, назвіть …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

Відгалуження і прив'язка є ефективним евристичним для пошукових проблем, і Вікіпедія перераховує ряд важких проблем, де використовуються гілки та зв'язані. Однак мені не вдалося знайти посилання, щоб припустити, що це не просто "один метод" для вирішення цих проблем. Анекдотично я чув, що одні з найкращих евристик для програмування SAT та …

13 ds.algorithms  reference-request  optimization  heuristics 

Розв'язувачі SMT, такі як Z3 або Boolector, використовують складний набір евристики для вирішення проблем. Однак це також дуже важко передбачити ефективність такого рішення для даної проблеми. Моє питання таким чином: Питання Чи є спосіб зрозуміти чи отримати розуміння продуктивності розв'язувача SMT для конкретного в теорії біттераторів, що не містять кількісних …

9 ds.algorithms  sat  heuristics 

Я шукаю перелік проблем з оптимізацією NP-hard, де є активне дослідження в практичній евристиці для їх вирішення і є загальні орієнтири, які люди намагаються перемогти. Приклади включають в себе: дерево реконструкції філогенезу (евристика, наприклад , тут ) комівояжера (не так активно, але LKH досить добре відомо) Більш конкретно, я шукаю …

9 heuristics 

Я викладаю курс з метаевристики і мені потрібно створити цікаві екземпляри класичних комбінаторних проблем для терміна проект. Давайте зосередимось на TSP. Ми вирішуємо графіки розміром і більше. Я, звичайно, спробував створити графік із матрицею витрат зі значеннями, взятіми від випадкової , і з’ясував, що (як очікувалося) гістограма для вартості шляху …

9 ds.algorithms  co.combinatorics  optimization  tsp  heuristics 

Оскільки п’ятниця, настав час для питання CW. Я шукаю евристику, яка широко використовує проблеми оптимізації. Щоб обмежити сферу застосування більш «теоретично-приємної» евристики, ось правила (деякі довільні, деякі ні) Це повинен бути чітко визначений метод без численних параметрів і з конкретним часом роботи (можливо, за ітерацією) З нею повинні бути пов'язані …

9 ds.algorithms  reference-request  optimization  heuristics