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

Нехай позначає (NP) задачу в NP, а # X позначає її версію підрахунку.ХXXХXX За яких умов відомо, що "X є NP-повним" ⟹⟹\implies "#X є # P-завершеним"? Звичайно, наявність парсимонічного скорочення є однією з таких умов, але це очевидно і єдина така умова, про яку я усвідомлюю. Кінцевою метою було б …

29 cc.complexity-theory  np-hardness  counting-complexity 

Були два питання нещодавно запитав про cs.se , які були або пов'язані або мали особливий випадок , еквівалентний наступного питання: Припустимо , у вас є послідовність 1 , а 2 , ... п з чисел таких , що Розкладемо його в суму двох перестановок, і , з , так що …

29 cc.complexity-theory  ds.algorithms  co.combinatorics  np-hardness  permutations 

Ми знаємо, що (див., Наприклад, теореми 1 та 3 [1]), грубо кажучи, при відповідних умовах функції, які можна ефективно обчислити машиною Тьюрінга в поліноміальний час ("ефективно обчислюватися"), можна виразити поліноміальними нейронними мережами з розумними розмірами, і, таким чином, можна пізнати складність поліноміального зразка ("навчається") при будь-яких вхідних розподілах. Тут «вивчається» …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

Чи має сенс розглядати категорію всіх проблем, повних NP, з морфізмами як скорочення у багато разів між різними випадками? Хтось коли-небудь публікував документ про це, і якщо так, то де його знайти?

28 cc.complexity-theory  np-hardness  ct.category-theory 

Я вважав цей документ дуже цікавим. Підводячи підсумок: тут обговорюється, чому на практиці ви рідко зустрічаєте найгірший випадок проблеми, що завершується NP. Ідея статті полягає в тому, що екземпляри, як правило, дуже або недостатньо обмежені, обидва з них досить легко вирішити. Потім він пропонує для кількох проблем міру "обмеженості". Ці …

27 np-hardness  worst-case 

Враховуючи двійкову матрицю mmm від m (записи дорівнюють 0 або 1 ), задача полягає у визначенні, чи існує два двійкові вектори v 1 ≠ v 2, такі, що M v 1 = M v 2 (усі операції, що виконуються над Z ). Ця проблема NP-важка?nnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} Це …

27 cc.complexity-theory  np-hardness  linear-algebra 

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

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

Я певний час думав над наступною проблемою, і не знайшов рішення для поліномів. Лише груба-чотирикласна. Я також намагався зменшити проблему NP-Complete, не маючи успіху. Ось проблема : У вас відсортований набір пар натуральних чисел. {(A1,B1),(A2,B2),…,(An,Bn)}{(A1,B1),(A2,B2),…,(An,Bn)}\{(A_1, B_1), (A_2, B_2), \ldots, (A_n, B_n)\} (Ai,Bi)&lt;(Aj,Bj)⇔Ai&lt;Aj∨(Ai=Aj∧Bi&lt;Bj)(Ai,Bi)&lt;(Aj,Bj)⇔Ai&lt;Aj∨(Ai=Aj∧Bi&lt;Bj)(A_i, B_i) < (A_j, B_j) \Leftrightarrow A_i < A_j …

27 ds.algorithms  np-hardness  sorting 

Наступна проблема NP-важка? Враховуючи конфігурацію дошки для міжнародних проектів , знайдіть єдиний законний крок.n×nн×нn\times n Відповідна задача для американських шашок (також англійських чернеток) тривіально вирішується в поліноміальний час. Існують три основні відмінності між цими двома іграми.n×nн×нn\times n Перша і найбільш істотна відмінність - це правило «літаючого короля». У шашках король …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

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

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

Для будь-якого , я говорю , що послідовність s цілих чисел { 1 , ... , п } є п -повне , якщо для будь-якої перестановки р з { 1 , ... , п } , записується в вигляді послідовності попарно різних цілих чисел р 1 , … , p …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Розглянемо наступну проблему: враховуючи формулу CNF та завдання, яке задовольняє цій формулі, чи є ще одна задовольняюча задача для цієї формули? У чому полягає складність цієї проблеми? (Це, безумовно, є в NP, але це також NP-важко?) Що робити, якщо вам не дано завдання, і ви просто хочете вирішити, чи має …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

Чи є посилання на це?

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

Чи вивчена складність наступної проблеми? Введення : кубічний (або 333 -регулярний) графік , природна верхня межаG = ( V, Е)Г=(V,Е)G=(V,E)ттt Запитання : чи є розділ на частини розміром таким, що сума замовлень (необов'язково підключених) відповідних підграфів не більше ?ЕЕE| Е| / 3|Е|/3|E|/3333ттt Супутня робота У літературі я знайшов досить багато …

25 graph-theory  np-hardness  co.combinatorics 

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

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