Вопросы с тегом «reference-request»

Исследование сжатого представления графов было начато Гальперином и Вигдерсоном в статье 1983 года, где они доказывают, что для многих простых задач, таких как нахождение треугольника на графе, соответствующая краткая версия в NPNP\mathsf{NP} -полна. Papadimitriou и Yanakkakis дальнейшее это направление исследований, и доказать , что для задачи ΠΠ\Pi , которая является …

26 cc.complexity-theory  reference-request  complexity-classes 

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

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

Рассмотрим задачу покрытия минимального набора со следующими ограничениями: каждый набор содержит не более элементов, а каждый элемент юниверса встречается не более чем в f наборах.kkkfff Пример: случай и f = 2 эквивалентен задаче минимального покрытия вершин в графах с максимальной степенью 4.k=4k=4k = 4f=2f=2f = 2 Пусть будет наибольшим значением, …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Можно ли перевести булеву формулу B в эквивалентное соединение выражений Хорна? Статья в Википедии о HornSAT, похоже, подразумевает, что это так, но я не смог найти какую-либо ссылку. Обратите внимание, что я имею в виду не «за полиномиальное время», а скорее «вообще».

26 reference-request  lo.logic  sat 

Согласно D. den Hertog, «Подход с внутренней точки к линейному, квадратичному и выпуклому программированию», 1994 , линейная программа с переменными, n ограничениями и точностью L разрешима за O ( n 3 L ) времени. Это было улучшено?NNnNNnLLLO ( n3Л )О(N3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Том III книги Кнута « Искусство компьютерного программирования» (глава 5, стих 3.2) включает в себя следующую таблицу, в которой перечислено точное минимальное количество сравнений, необходимых для выбора наименьшего элемента TTt из несортированного набора размера NNn для всех 1 ≤ t ≤ n ≤ 101≤T≤N≤101\le t \le n\le 10 . Эта …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

Результат по Robertson и Seymour демонстрирует алгоритм для проверки , является ли фиксированной граф является минор . У меня есть два с половиной вопроса на эту тему:G HO ( n3)О(N3)O(n^3)ггGЧАСЧАСH 1) Похоже, что с тех пор были улучшены этот алгоритм. Какой алгоритм является самым известным в настоящее время? 2a) Что …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Что известно о сложности следующей задачи: Дано: рациональные числа .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n Вывод: целые числа .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Цель: минимизировать где∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e ( i , j ) = | ( уJ- уя) - ( хJ- хя) …

25 ds.algorithms  reference-request  optimization 

В свете недавнего результата Arora, Barak и Steurer, Субэкспоненциальные алгоритмы для уникальных игр и смежных задач , я заинтересован в графовых задачах, которые имеют субэкспоненциальные алгоритмы времени, но полагают, что они не являются полиномиально разрешимыми. Известным примером является изоморфизм графов, который имеет субэкспоненциальный алгоритм времени выполнения . Другим примером является …

25 cc.complexity-theory  reference-request 

Есть ли какие-либо ссылки на это?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

Конечно, некоторые результаты сложности могут рухнуть для унарных языков, но мне интересно, есть ли где-нибудь опрос, обобщающий известные результаты в этом случае: своего рода зоопарк сложности для унарных языков. Знаете ли вы о такой ссылке?

25 cc.complexity-theory  reference-request  big-list 

Я знаю, что неразрешимо определить, может ли набор плиток укладывать плитку в результате того, что Бергер использовал плитки Ванга . Мой вопрос состоит в том, известно ли также, что неразрешимо определить, может ли один данный фрагмент мозаики составить плоскость - моноэдральный фрагмент . Если это не будет решено, мне было …

24 reference-request  co.combinatorics  decidability  undecidability 

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

24 cc.complexity-theory  ds.algorithms  reference-request 

РЕДАКТИРОВАТЬ (v2): в конце добавлен раздел о том, что я знаю о проблеме. РЕДАКТИРОВАТЬ (v3): Добавлено обсуждение пороговой степени в конце. Вопрос Этот вопрос в основном справочный запрос. Я не знаю много о проблеме. Я хочу знать, была ли предыдущая работа по этой проблеме, и если да, может ли кто-нибудь …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

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

24 quantum-computing  reference-request  fault-tolerance