Эвристика - это процедура, которая может применяться ко многим задачам (например, градиентный спуск, чередующаяся оптимизация, имитация отжига), но обычно не имеет формальных гарантий, связанных с ее использованием.
Какие теоретические объяснения есть для практического успеха решателей SAT, и может ли кто-нибудь дать обзор и объяснение в стиле «википедии», связав их всех вместе? По аналогии, сглаженный анализ ( версия arXiv ) для симплексного алгоритма делает большую работу, объясняя, почему он так хорошо...
Проблема стабильного брака: http://en.wikipedia.org/wiki/Stable_marriage_problem Мне известно, что для случая SMP возможны многие другие стабильные браки, кроме одного, возвращенного алгоритмом Гейла-Шепли. Однако, если нам дается только , число мужчин / женщин, мы задаем следующий вопрос: можем ли...
Я хотел бы вычислить ширину дерева графика. Есть действительно хорошая эвристика для других задач NP-сложных графов, таких как VF2 для изоморфизма подграфа, например, с кодом, доступным в igraph . Я попробовал их на своих графиках и обнаружил, что они работают очень быстро для моих данных....
Существуют ли какие-либо NP-полные проблемы с бесконечным подмножеством экземпляров такие, что принадлежность к может быть решена за полиномиальное время, и для всех , может быть решена за полиномиальное время? (Предполагая )ΦΦ\Phix ∈ Φ x P ≠ N PΦΦ\Phix ∈ Φx∈Φx \in \PhiИксxxп≠ NпP≠NPP \neq...
Я готовлю некоторые учебные материалы по эвристике для оптимизации и изучаю методы координатного спуска. Здесь настройка представляет собой многовариантную функцию которую вы хотите оптимизировать. f имеет свойство, ограниченное какой-либо одной переменной, его легко оптимизировать. Таким образом,...
Ветвление и ограничение - эффективная эвристика для задач поиска, и в Википедии перечислен ряд сложных проблем, где использовались ветвление и привязка. Тем не менее, мне не удалось найти ссылки, позволяющие предположить, что это больше, чем просто «один метод» решения этих проблем. Как ни странно,...
В этой статье Kempe-Kleinberg-Tardos авторы предлагают жадные алгоритмы, основанные на субмодульных функциях, для определения наиболее влиятельных узлов в графе с приложениями к социальным сетям.kkk В основном алгоритм работает следующим образом: S=empty setS=empty setS = {\rm empty~set} выберите...
Поскольку это пятница, пришло время для CW вопроса. Я ищу эвристики, которые широко используются в задачах оптимизации. Чтобы ограничить область применения более «дружественной теории» эвристики, вот правила (некоторые произвольные, некоторые нет) Это должен быть четко определенный метод без...
Я преподаю курс метаэвристики, и мне нужно создать интересные примеры классических комбинаторных задач для термина «проект». Давайте сосредоточимся на TSP. Мы занимаемся графиками размерности200200200и больше. Я попытался, конечно, сгенерировать график с матрицей затрат со значениями, взятыми из...
Я ищу список задач оптимизации NP-hard, где активно изучаются практические эвристики для их решения и существуют общие критерии, которые люди пытаются побить. Примеры включают в себя: восстановление филогенетического дерева (эвристика, например, здесь ), коммивояжер (не очень активный, но LKH...
Решатели SMT, такие как Z3 или Boolector, используют сложный набор эвристик для решения проблем. Однако это также затрудняет прогнозирование производительности такого решателя для данной проблемы. Мой вопрос таков: Вопрос Есть ли способ понять или получить представление о производительности...