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

Заданный вопрос состоит в том, является ли следующий вопрос разрешимым: Проблема Учитывая целое число kkk и обещанная машина Тьюринга MMM в P, является ли время выполнения MMM O(nk)O(nk){O}(n^k) относительно длины ввода nnn ? Узкий ответ «да», «нет» или «открытый» является приемлемым (со ссылками, наброском доказательства или обзором существующих знаний), но …

64 cc.complexity-theory  approximation-hardness 

Жадность, из-за отсутствия лучшего слова, это хорошо. Одной из первых алгоритмических парадигм, изучаемых в курсе вводных алгоритмов, является жадный подход . Жадный подход приводит к простым и интуитивно понятным алгоритмам для многих задач в P. Более интересно, что для некоторых NP-трудных задач очевидный и естественный жадный / локальный алгоритм приводит …

38 cc.complexity-theory  lower-bounds  approximation-algorithms  greedy-algorithms  approximation-hardness 

Важное применение теоремы PCP состоит в том, что она дает результаты типа «твердость приближения». В некоторых относительно более простых случаях такую ​​твердость можно доказать без PCP. Есть ли, однако, какой-либо случай, когда твердость результата аппроксимации была сначала доказана с использованием теоремы PCP, т. Е. Результат не был известен раньше, но …

36 cc.complexity-theory  approximation-hardness  pcp 

Два общих предположения для доказательства твердости результатов аппроксимации - это и гипотеза об уникальных играх. Есть ли какая-либо сложность результатов аппроксимации, предполагающих ? Я ищу проблему такую, что «трудно приблизить пределах коэффициента если ».N P ≠ c o N P A A α N P = c o N Pп≠ …

32 approximation-hardness  conditional-results 

В этом вопросе формула 3CNF означает формулу CNF, в которой каждое предложение включает ровно три различные переменные. Для константы 0 < s <1 Gap-3SAT s является следующей проблемой обещания: GAP-3sat сек экземпляра : а 3CNF формула φ. Да-обещание : φ выполнимо. Нет-обещание : Нет истину назначение удовлетворяет более чем ей …

32 cc.complexity-theory  sat  approximation-hardness 

Знаете ли вы какие-либо современные вики, посвященные задачам оптимизации NP, с их наилучшим приближением и результатом твердости? Судя по отзывам, можно предположить, что такого ресурса нет (см. В конце этого вопроса два близких варианта). - добавлено 8 февраля. Поскольку за последние два десятилетия появилось огромное количество результатов и проблем, наличие …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

Предположим, что мы решили проблему подсчета правильных раскрасок путем подсчета взвешенных раскрасок следующим образом: каждая правильная раскраска получает вес 1, а каждая неправильная раскраска получает вес где c - некоторая постоянная, а v - число ребер с конечными точками, окрашенными одинаково. Поскольку c переходит в 0, это сводится к подсчету …

26 graph-theory  approximation-algorithms  approximation-hardness  counting-complexity  graph-colouring 

Существует богатая литература и, по крайней мере, одна очень хорошая книга, в которой излагаются известные значения твердости аппроксимации для NP-трудных задач в контексте мультипликативной ошибки (например, 2-аппроксимация для покрытия вершин оптимальна при условии UGC). Это также включает хорошо понятные классы сложности аппроксимации, такие как APX, PTAS и так далее. Что …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Есть много результатов неприемлемости, которые основаны на гипотезе об уникальных играх. Например, Предполагая гипотезу об уникальных играх, трудно вычислить аппроксимацию задачи максимального разреза в пределах коэффициента R для любой константы R > R GW . (Здесь R GW = 0,878… - коэффициент аппроксимации алгоритма Геманса – Уильямсона.) Однако некоторые люди …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

В 1999 году Петра Шурман и Герхард Дж. Вёгингер опубликовали статью «Алгоритмы аппроксимации полиномиального времени для машинного планирования: десять открытых задач» . С тех пор, насколько мне известно, обзоры, которые касались бы одного и того же списка проблем, не появлялись. Таким образом, было бы здорово и полезно, если бы каждый …

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling 

Предположим, у нас есть проблема, параметризованная вещественным параметром p, который «легко» решить, когда и «трудно», когда для некоторых значений , . p = p 1 p 0 p 1p=p0p=p0p=p_0p=p1p=p1p=p_1п0p0p_0п1p1p_1 Одним из примеров является подсчет спиновых конфигураций на графиках. Считая взвешенные правильные раскраски, независимые множества, эйлеровы подграфы соответствуют функциям разбиения хардкорных …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

Существует стандартная теория приближений, в которой коэффициент приближения равен supAOPTвирAОпT\sup\frac{A}{OPT} (для задач сMINMяNMINзадачами),AAA- значение, возвращаемое некоторым алгоритмомAAAаOPTОпTOPT- оптимальное значение. И еще одна теории, что издифференциального приближениягде отношение приближенияinfΩ−AΩ−OPTинфΩ-AΩ-ОпT\inf\frac{\Omega-A}{\Omega-OPT} ,ΩΩ\Omega - наихудшее значение допустимого решения для данного случая. В Авторы этой теории утверждают , что она имеет определенные преимущества по сравнению …

16 ds.algorithms  approximation-algorithms  approximation-hardness 

Фон : В оригинальной статье UGC Субхаша Хота ( PDF ) он доказывает, что UG-сложность определения того, допускает ли заданный экземпляр CSP ограничения всех форм Не-все-равные (a, b, c) по троичному алфавиту 1 - ограничений или не существует никаких заданий, удовлетворяющих 8ϵϵ\epsilonиз ограничений, при сколь угодно маломе>0.89+ϵ89+ϵ\frac{8}{9}+\epsilonϵ>0ϵ>0\epsilon > 0 Я …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Предположим, нам дан набор из n булевых переменных x_1, ..., x_n и набора из m функций y_1 ... y_m, где каждый y_i является XOR (заданного) подмножества этих переменных. Цель состоит в том, чтобы вычислить минимальное количество операций XOR, которое необходимо выполнить для вычисления всех этих функций y_1 ... y_m. Обратите …

15 circuit-complexity  approximation-hardness  approximation  matrix-product 

Есть исследования об алгоритмах аппроксимации для NP полных задач за полиномиальное время и точных алгоритмов за экспоненциальное время. Проводятся ли исследования по алгоритмам аппроксимации для полных задач NP в субэкспоненциальном времени вида где ?2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Меня особенно интересуют то, что известно о проблемах, приближающихся к сложному полиномиальному времени, таких как число …

15 approximation-algorithms  approximation-hardness