Вопросы с тегом «heuristics»

Эвристика - это процедура, которая может применяться ко многим задачам (например, градиентный спуск, чередующаяся оптимизация, имитация отжига), но обычно не имеет формальных гарантий, связанных с ее использованием.

5
Теоретические объяснения практического успеха SAT решателей?
Какие теоретические объяснения есть для практического успеха решателей SAT, и может ли кто-нибудь дать обзор и объяснение в стиле «википедии», связав их всех вместе? По аналогии, сглаженный анализ ( версия arXiv ) для симплексного алгоритма делает большую работу, объясняя, почему он так хорошо работает на практике, несмотря на то, что …

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

2
Есть ли какие-нибудь неполные эвристические проблемы с NP?
Существуют ли какие-либо NP-полные проблемы с бесконечным подмножеством экземпляров такие, что принадлежность к может быть решена за полиномиальное время, и для всех , может быть решена за полиномиальное время? (Предполагая )ΦΦ\Phix ∈ Φ x P ≠ N PΦΦ\Phix ∈ Φx∈Φx \in \PhiИксxxп≠ NпP≠NPP \neq NP

5
Быстрые алгоритмы ширины дерева
Я хотел бы вычислить ширину дерева графика. Есть действительно хорошая эвристика для других задач NP-сложных графов, таких как VF2 для изоморфизма подграфа, например, с кодом, доступным в igraph . Я попробовал их на своих графиках и обнаружил, что они работают очень быстро для моих данных. Существуют ли быстрые алгоритмы для …

4
Теоретическое исследование методов координатного спуска
Я готовлю некоторые учебные материалы по эвристике для оптимизации и изучаю методы координатного спуска. Здесь настройка представляет собой многовариантную функцию которую вы хотите оптимизировать. f имеет свойство, ограниченное какой-либо одной переменной, его легко оптимизировать. Таким образом, спуск координат происходит путем циклического перемещения по координатам, фиксации всех, кроме выбранной, и минимизации …

2
Децентрализованный алгоритм определения влиятельных узлов в социальных сетях
В этой статье Kempe-Kleinberg-Tardos авторы предлагают жадные алгоритмы, основанные на субмодульных функциях, для определения наиболее влиятельных узлов в графе с приложениями к социальным сетям.kkk В основном алгоритм работает следующим образом: S=empty setS=empty setS = {\rm empty~set} выберите узел с наибольшим индивидуальным влиянием, назовите его ; S = S ∪ v …

3
Успешное применение отраслевых методов для NP-сложных задач
Ветвление и ограничение - эффективная эвристика для задач поиска, и в Википедии перечислен ряд сложных проблем, где использовались ветвление и привязка. Тем не менее, мне не удалось найти ссылки, позволяющие предположить, что это больше, чем просто «один метод» решения этих проблем. Как ни странно, я слышал, что некоторые из лучших …

1
Понимание производительности решателей QFBV SMT
Решатели SMT, такие как Z3 или Boolector, используют сложный набор эвристик для решения проблем. Однако это также затрудняет прогнозирование производительности такого решателя для данной проблемы. Мой вопрос таков: Вопрос Есть ли способ понять или получить представление о производительности решателя SMT для специалиста в теории битвекторов без кванторов (QFBV)? Это также …

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

2
Генерация интересных комбинаторных задач оптимизации
Я преподаю курс метаэвристики, и мне нужно создать интересные примеры классических комбинаторных задач для термина «проект». Давайте сосредоточимся на TSP. Мы занимаемся графиками размерности200200200и больше. Я попытался, конечно, сгенерировать график с матрицей затрат со значениями, взятыми из случайногоU(0,1)U(0,1)U(0,1)и обнаружил, что (как и ожидалось) гистограмма для стоимости пути (нарисованная путем выборки …

1
Эвристика для оптимизации
Поскольку это пятница, пришло время для CW вопроса. Я ищу эвристики, которые широко используются в задачах оптимизации. Чтобы ограничить область применения более «дружественной теории» эвристики, вот правила (некоторые произвольные, некоторые нет) Это должен быть четко определенный метод без многочисленных параметров и с конкретным временем выполнения (возможно, на одну итерацию) Он …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.