Запитання з тегом «csp»

Читаючи статтю "Чи пора оголосити перемогу в підрахунку складності?" в блозі "Загублений лист Годеля та Р = НП" вони згадали про дихотомію для ДСП. Після деякого посилання, слідуючи за гуглами та wikipeding, я натрапив на теорему Ладнера : Теорема Ладнера : Якщо , то в N P ∖ P є …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

При розробці алгоритмів наближення іноді вирішується півмісячна програма з наступним кроком округлення. Часто вживаний приклад для ілюстрації цього - Max-Cut. (Див., Наприклад, Алгоритми апроксимації Віджая Вазірані.) Чи є добрі освітні джерела чи опитування, що виходять за рамки проблеми Max-Cut, щоб пояснити більш складні алгоритми округлення та методи, що використовуються для …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

Раніше я впроваджував моделі координації, використовуючи SAT та регулярне задоволення обмежень як основну робочу коня у своїх двигунах. Продовжуючи цей напрямок роботи, я хотів би зробити моделі більш інтерактивними, і найкращий спосіб, який я бачу зробити, це відкрити вирішувач обмежень, щоб він більше не був чорним ящиком. Таким чином, мені …

17 sat  lo.logic  csp 

Фон : У оригінальному документі UGC ( PDF ) Subhash Khot він доводить твердість UG для вирішення питання про те, чи заданий екземпляр CSP з обмеженнями всієї форми Не всі рівні (a, b, c) над потрійним алфавітом допускає завдання, що задовольняє 1 - обмежень або не існує завдань, що задовольняють …

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

Проблема обслуговування замовлення (або "підтримка порядку в списку") полягає в підтримці операцій: singleton: створює список з одним елементом, повертає на нього вказівник insertAfter: дається вказівник на елемент, вставляє після нього новий елемент, повертаючи вказівник на новий елемент delete: надавши вказівник на елемент, видаляє його зі свого списку minPointer: надавши два …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Теорема про дихотомію Шефера показує, що кожна задача CSP над або вирішується в поліноміальний час, або NP-повна. Це стосується лише проблем CSP обмеженої ширини, виключаючи, наприклад, SAT та Horn-SAT. Загальні проблеми CSP з необмеженою шириною можуть бути дуже складними (навіть незрозумілими), тому давайте обмежимось проблемами, які є "природними" і є …

12 cc.complexity-theory  lo.logic  csp 

Нехай - формула 2CNF, - негативне ціле число. У цій роботі доведено, що проблема вирішення питання про те, чи можна видалити максимум пунктів, щоб зробити задовільним, є tractable-tractable, де - параметр. Моє запитання: чи є якась робота, яка б узагальнила цей результат на іншій бінарній бульній CSP? (Тобто вирішити, чи …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Наступне питання виникає неодноразово під час тестування безпеки системи чи моделі. Мотивація: Програми безпеки програмного забезпечення часто виникають не від помилок через дійсні входи, а від помилок, що виникають внаслідок недійсних входів, достатньо близьких до дійсних входів, щоб пройти безліч прямолінійних перевірок дійсності. Класичний приклад - це звичайно переповнення буфера, …

12 lo.logic  csp  security 

Еквівалентним формулюванням теореми PCP є: Для Max 3-SAT слід твердо розрізняти задоволені формули та формули, де не більше фракції пропозицій є задоволеними (для деяких ).r r < 1NПNPNPrrrr < 1r<1r\lt 1 Чи існує якась відома теорема про дихотомію, яка класифікує всі Max CSP на основі того, чи мають вони важкі …

12 cc.complexity-theory  pcp  csp 

Проблема N-queen така: Вхід: N Вихід: розміщення N "королеви" на шаховій дошці NXN таким чином, що жодна дві королеви не лежать на одному рядку, стовпчику чи діагоналі. Здійснюючи пошук у Google, я виявив, що багато слайдів багатьох професорів стверджують, що це проблема NP-Hard. (Наприклад, web.mst.edu/~ercal/387/slides/NP-Hard.ppt) Однак мені не вдалося знайти …

11 cc.complexity-theory  np-hardness  csp 

а´a´\acute{\rm a}НHHНHH∈ PТЯМЕ∈PTIME\in PTIME Визначення тощо. Для чудового огляду стандартних декомпозицій дерев і широкої ширини дивіться тут (Дякую заздалегідь, JeffE!). Нехай - гіперграф.НHH Тоді для гіперграфа та відображення ,НHHγ: Е( Н) → [ 0 , ∞ )γ:E(H)→[0,∞)\gamma : E(H) \rightarrow [0,\infty) B ( γ) =B(γ)=B(\gamma) = { }.v ∈ V( …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

При фіксованому орієнтований граф (орграф) , то Проблема Рішення -розмальовка запитує , може вхідний Орграф має гомоморфізм до . (Гомоморфізм від до - це відображення від до яке зберігає дуги, тобто якщо - дуга , то - дуга )DDDDDDГGGDDDГGGDDDfffV( G )V(G)V(G)V( D )V(D)V(D)u vuvuvГGGf( u ) f( v )f(u)f(v)f(u)f(v)DDD Клас …

9 reference-request  graph-theory  np-hardness  csp  homomorphism