Запитання з тегом «approximation-hardness»

Твердість наближення, також непереборність.

1
Підтримання порядку в списку в
Проблема обслуговування замовлення (або "підтримка порядку в списку") полягає в підтримці операцій: singleton: створює список з одним елементом, повертає на нього вказівник insertAfter: дається вказівник на елемент, вставляє після нього новий елемент, повертаючи вказівник на новий елемент delete: надавши вказівник на елемент, видаляє його зі свого списку minPointer: надавши два …
1
Попадання набір пар, що перетинаються
Набір ударів сімейства - це підмножина H of ⋃ n i = 1 S i така, що H ∩ S i ≠ ∅ при 1 ≤ i ≤ n . Проблема знайти мінімальний набір наборів для даної родини загалом є важкою, оскільки вона узагальнює проблему покриття вершин. Тепер моє питання:S= …
1
Чи передбачає повнота PSPACE твердість наближення?
У коментарі в іншому повідомленні cstheorySE зазначається, що повнота PSPACE передбачає твердість APX. Чи може хто-небудь пояснити / поділитися посиланням на це? Це "тісно"? (тобто, чи є проблеми, повні PSPACE, проблема оптимізації яких передбачає постійне наближення фактора в полі час?) Як щодо повноти для деякого рівня PH? Чи означає це …
4
Чи сумісна ета-еквівалентність функцій з послідовною операцією Haskell?
Лема: якщо припустити, що у нас є ета-еквівалентність (\x -> ⊥) = ⊥ :: A -> B. Доведення: ⊥ = (\x -> ⊥ x)ета-еквівалентністю та (\x -> ⊥ x) = (\x -> ⊥)зменшенням під лямбда. Звіт Haskell 2010, розділ 6.2, визначає seqфункцію двома рівняннями: seq :: a -> b -> …
1
Згладжений аналіз алгоритмів наближення
Згладжений аналіз застосовується багато разів для розуміння часу виконання точних алгоритмів для багатьох проблем, таких як лінійне програмування та k-засоби. У цій царині є досить загальні результати, наприклад, Хайко Рьоглін та Бертольд Векінг, Згладжений аналіз цілого програмування , 2005. Деякі з цих загальних результатів, схоже, покладаються на ізоляційні леми, щоб …
4
твердість наближення хроматичного числа в графах із обмеженим ступенем
Я шукаю результати твердості на вершинні забарвлення графіків з обмеженим ступенем. Враховуючи графік , ми знаємо, що для будь-якого важко наблизити в межах коефіцієнта якщо [ 1 ]. Але що робити, якщо максимальний ступінь обмежений ? Чи є в цьому випадку коефіцієнти твердості форми (для деяких )?ϵ > 0 χ …
2
Теорема про ієрархію відношень апроксимації?
Як відомо, проблеми з оптимізацією жорсткої NP можуть мати безліч різних коефіцієнтів наближення, починаючи від наявності PTAS і не бути приблизним в жодному факторі. Між ними у нас є різні константи, , тощо.O(logn)O(log⁡n)O(\log n)poly(n)poly(n)poly(n) Що відомо про безліч можливих співвідношень? Чи можемо ми довести будь-яку «ієрархію наближення»? Формально для яких …
1
Майже завжди майже правильно
Шукаю клас складності , яка відноситься до APX , як BPP відноситься до P. Я вже ставив це питання тут , але , можливо , ТКС буде більш плідним , місцем для відповідей. Причина для цього полягає в тому, що в практичних проблемах часто потрібно знаходити приблизні відповіді (таким чином …
2
Наближеність проблеми роду
Що на даний момент відомо про наближеність проблеми роду? Попередній пошук говорить мені, що наближення постійного фактора тривіальне для досить щільних графіків, а алгоритм апроксимації nϵnϵn^\epsilon виключений. Чи ця інформація актуальна, чи відомі кращі межі?
2
Які ігри 2P1R потенційно різкі?
Двоповерхові однокругові ігри (2P1R) є важливим інструментом для твердості наближення. Зокрема, паралельне повторення одновіршових ігор на два типи дає змогу збільшити розмір прогалини у варіанті рішення проблеми апроксимації. Дивіться огляд опитування Ran Raz на CCC 2010 для огляду цього питання. Паралельне повторення гри має дивовижну властивість, що, хоча рандомізований верифікатор …
2
Твердість вершинних сепараторів
Для даного графіка задача сепаратора задає питання про те, чи існує вершина чи ребровий набір малої кардинальності (чи ваги), чиї вилучення розділяють G на два неперервні графіки приблизно однакових розмірів. Це називається Проблема розділення вершин, коли видалений набір є набором вершин, і проблема Розділення країв, коли це набір ребер. Обидві …
3
Коли нульовий розрив напіввизначеного програмування (СДП) дорівнює нулю?
Я не зміг знайти в літературі точну характеристику зникнення розриву дуалізму СДП. Або коли тримається "сильна подвійність"? Наприклад, коли між «Лассером» і «SOS SDP» рухається туди-сюди, в принципі виникає розрив у подвійності. Однак якось, здається, є якась "тривіальна" причина, чому цього розриву немає. Стан Слейтера здається достатнім, але не потрібним, …
2
Запит на довідку: Асимптотична твердість
Я чув про результат у приблизному забарвленні графіка, але не можу знайти джерело. Результат: Для кожної постійної існує достатньо великий k такий, що забарвлення k -кольорового графіка кольорами h k є NP-важким.годhhкkkкkkч кhkhk Може хтось, будь ласка, вкаже мене на відповідний документ?
2
Наявність
Розглянемо задачу домінантного набору в загальних графах, і нехай - кількість вершин у графі. Жадібний алгоритм наближення дає гарантію наближення коефіцієнта 1 + log n , тобто можна знайти в многочлени час рішення S таким, що | S | ≤ ( 1 + log n ) o p t , …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.