Вопросы с тегом «approximation-hardness»

Твердость аппроксимации, ака неприемлемость.

1
Поддержание порядка в списке в за раз
Задача обслуживания заказа (или «поддержание заказа в списке») заключается в поддержке операций: singleton: создает список с одним элементом, возвращает указатель на него insertAfter: дает указатель на элемент, вставляет новый элемент после него, возвращает указатель на новый элемент delete: дает указатель на элемент, удаляет его из списка minPointer: при наличии двух …
1
Ударять множество попарно пересекающихся семейств
Наезд набор из семейства является подмножеством из такое , что для . Задача найти минимальное множество попаданий данного семейства NP-трудна в общем, поскольку она обобщает проблему покрытия вершин. Теперь мой вопрос:S= { S1, … , SN}Sзнак равно{S1,...,SN}\mathcal{S} = \{S_1, \dots, S_n\}ЧАСЧАСH⋃Nя = 1Sя⋃язнак равно1NSя\bigcup_{i=1}^{n} S_iЧАС∩ Sя≠ ∅ЧАС∩Sя≠∅H \cap S_i \ne …
1
Означает ли PSPACE-полнота твердость аппроксимации?
В другом посте cstheorySE упоминается, что PSPACE-полнота подразумевает APX-жесткость. Кто-нибудь может объяснить / поделиться ссылкой на это? Это "плотно"? (т. е. существуют ли PSPACE-полные задачи, задача оптимизации которых допускает постоянную аппроксимацию множителя за много времени?) Как насчет полноты для некоторого уровня PH? Означает ли это приблизительную твердость?
4
Является ли eta-эквивалентность для функций совместимой с операцией seke в Haskell?
Лемма: Предполагая, что эта эквивалентность у нас есть (\x -> ⊥) = ⊥ :: A -> B. Доказательство: ⊥ = (\x -> ⊥ x)по eta-эквивалентности и (\x -> ⊥ x) = (\x -> ⊥)по сокращению под лямбду. В отчете Haskell 2010, раздел 6.2, seqфункция определяется двумя уравнениями: seq :: a …
1
Сглаженный анализ алгоритмов аппроксимации
Сглаженный анализ был применен много раз, чтобы понять время выполнения точных алгоритмов для многих задач, таких как линейное программирование и k-средних. В этой области есть довольно общие результаты, например, Хейко Рёглин и Бертольд Вёкинг, Сглаженный анализ целочисленного программирования , 2005. Некоторые из этих общих результатов, кажется, полагаются на леммы об …
4
сложность аппроксимации хроматического числа в графах с ограниченной степенью
Я ищу результаты твердости по раскраске вершин графов с ограниченной степенью. Учитывая граф , мы знаем, что для любого ϵ > 0 трудно приблизить χ ( G ) с множителем | V | 1 - ϵ, если NP = ZPP [ 1 ]. Но что, если максимальная степень G ограничена …
2
Теорема об иерархии для отношений аппроксимации?
Как хорошо известно, задачи NP-hard оптимизации могут иметь много разных коэффициентов аппроксимации, начиная от PTAS и заканчивая отсутствием аппроксимации ни по одному фактору. Между ними у нас есть различные константы, , и т. Д.p o l y ( n )O ( журналн )O(log⁡n)O(\log n)р о л у( н )poly(n)poly(n) Что …
1
Почти всегда почти правильно
Я ищу класс сложности, который относится к APX, так как BPP относится к P. Я уже задавал этот же вопрос здесь , но, возможно, TCS будет более плодотворным местом для ответов. Причина этого вопроса заключается в том, что в практических задачах часто приходится находить приблизительные ответы (например, APX) с достаточно …
2
Приближаемость проблемы рода
Что в настоящее время известно о приближаемости проблемы рода? Предварительный поиск говорит мне , что постоянное приближение фактора тривиально для достаточно плотных графов, и -приближение алгоритм было исключено. Является ли эта информация актуальной или известны более точные границы?nϵnϵn^\epsilon
2
Какие игры 2P1R являются потенциально острыми?
Игры с двумя пруверами в один раунд (2P1R) являются важным инструментом для определения приближенности. В частности, параллельное повторение однокруговых игр с двумя проверками дает возможность увеличить размер пропуска в версии решения задачи аппроксимации. См . Обзорный доклад Ран Раза на КХЦ 2010 для обзора предмета. Параллельное повторение игры обладает удивительным …
2
Твердость вершинных сепараторов
Для заданного графа в задаче сепаратора задается вопрос, существует ли вершина или множество ребер малой мощности (или веса), удаление которых разбивает на два непересекающихся графа приблизительно равных размеров. Это называется проблемой разделения вершин, когда удаленный набор является набором вершин, и проблемой разделения краев, когда это набор границ. Обе задачи являются …
3
Когда разрыв в двойственности полуопределенного программирования (SDP) равен нулю?
Я не смог найти в литературе точную характеристику исчезновения разрыва двойственности СДП. Или когда держится «сильная двойственность»? Например, когда кто-то переходит между Лассерром и SDP SDP, в принципе у него есть пробел в дуальности. Однако, почему-то, кажется, есть какая-то «тривиальная» причина, почему этого разрыва нет. Условие Слейтера кажется достаточным, но …
2
Справочный запрос: Асимптотическая твердость
Я слышал о результате в приблизительной окраске графика, но не могу найти источник. Результат: Для каждой константы существует достаточно большое k, такое, что раскраска k- раскрашиваемого графа в h k цветов NP-трудна.часhhКkkКkkч кhkhk Может ли кто-нибудь указать мне соответствующую статью?
2
Существование -аппроксимации доминирующего множества с ?
Рассмотрим проблему доминирующего множества в общих графах, и пусть будет количеством вершин в графе. Алгоритм жадного приближения дает гарантию приближения фактора , т. Е. В полиномиальное время можно найти решение такое, что , где - размер минимального доминирующего множества. Есть оценки , показывающие , что мы не можем улучшить зависимость …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.