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

Розглянемо наступну проблему, Враховуючи набір додатних чисел { a 1 , … , a n }, у яких k ≥ 3 - константа, ми хочемо розділити множину на m підмножини розміром k так, що добуток суми кожного підмножини максимізовано.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk Проблема досить …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

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

12 cc.complexity-theory  np-hardness  graph-algorithms 

Знову проблема розбиття краю, складність якої мені цікаво, мотивована попереднім моїм питанням . Введення: кубічний графік G=(V,E)G=(V,E)G=(V,E) Запитання: чи є розділ на E 1 , E 2 , … , E s , таким чином, що підграф, індукований кожним E i, є або кігтом (тобто K 1 , 3 , …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Ширина дерева вимірює наближеність графіка до дерева. На графіках із обмеженою шириною дерева можна відстежити декілька проблем, пов'язаних з NP. Якщо проблема залишається непомітною на деревах, то ширина дерева не може нас врятувати. Це було мотивацією одного з моїх попередніх запитань, які задавали NP-важкі проблеми на деревах. Існує кілька спрямованих …

12 np-hardness  directed-acyclic-graph 

Наступне питання використовує ідеї криптографії, застосовані до теорії складності. Однак це питання теоретично складного і теоретичного питання, і для того, щоб відповісти на нього, не потрібно криптознань. Я навмисно пишу це питання дуже неофіційно. Не маючи деталей, можливо, це вказано трохи неправильно. Будь ласка, не соромтесь вказати на виправлення у …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Зафіксуємо кінцеву групу . Мене цікавить наступна проблема рішення: вхід - це деякі елементи з частковим порядком на них, і питання полягає в тому, чи існує перестановка елементів, яка задовольняє порядок і така, що склад елементів у цьому порядок дає нейтральний елемент групи .GGGGGGeee Формально проблема -test полягає в наступному, …

11 np-hardness  sorting  gr.group-theory  partial-order  order-theory 

Я думав про те, який клас належить ця мова: являє собою графік, натуральне число і є хроматичним числом G }L = { ⟨ G , до ⟩ | GL={⟨Г,к⟩∣ГL =\{ \langle G,k \rangle \mid G ккkккkG }Г}G\} Я подумав про як (1) "немає фарбування k-1 кольорів" і (2) "є забарвлення …

11 cc.complexity-theory  np-hardness  complexity-classes 

Перш за все, моє розуміння теореми про незавершеність (та формальної логіки взагалі) дуже наївно, а також мої знання з теоретичної інформатики (мається на увазі лише один аспірантура, який я брав, поки я ще магістрант), тому це питання може бути дуже наївний. Наскільки я міг знайти, спроможність P проти NP є …

11 np-hardness  proofs  p-vs-np 

Чи вивчалася ця проблема раніше? З огляду на метричний непрямий графік G (довжини ребер задовольняють нерівності трикутника), знайдіть набір S вершин, таких, що MST (G [S]) максимізовано, де MST (G [S]) є мінімальним розміщеним деревом підграфу, індукованим S. Чи вивчалася ця проблема раніше? Це NP-важко? Дуже дякую.

11 ds.algorithms  graph-algorithms  np-hardness  approximation-algorithms 

Я шукаю сильних NP-важких проблем для скорочення. Поки що я виявив такі проблеми: 3-роздільна проблема Проблема з упаковкою у смітник Числове 3-мірне узгодження TSP Будь-яка проблема, повна NP, без чисельних даних, наприклад, НАДІЙНІСТЬ, ГАМИЛТОНСЬКИЙ ЦИКЛ, 3-ЦВІТНІСТЬ. Хто-небудь знає перелік сильно важких проблем з NP? Якщо ні, то давайте побудуємо тут. …

11 np-hardness  big-list  hamiltonian-paths 

Чи є із такими властивостями:L ∈ N PL∈NPL\in {\bf NP} Відомо, що означає .P = N PL ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Там немає (відомо) Полінома Тьюринга скорочення (або які -небудь іншого -повної проблеми) в .N P LSА ТSATSATН ПNP{\bf NP}LLL Іншими словами, якщо алгоритм поліноміального …

11 cc.complexity-theory  np-hardness  reductions 

Це схоже на SAT, за винятком того, що ми знаємо присвоєння кожної змінної, але не знаємо присвоєння будь-якого булевого оператора. У такому випадку, чи знаходить призначення кожного оператора, щоб вираз оцінював задане булеве значення як NPC? Власне, мені було цікаво, чи не буде завершення пошуку арифметичних операторів для задоволення цілого …

11 cc.complexity-theory  np-hardness 

Проблема 3-Clique Partition - це проблема визначення, чи можна вершини графа, скажімо , розділити на 3 кліки. Ця проблема є важкою для NP шляхом простого скорочення від 3-х кольорових проблем. Не важко зрозуміти, що відповісти на цю проблему легко, коли diam ( G ) = 1 або diam ( G …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Nurikabe - це головоломка, заповнена сіткою, обмежена схожою на Міночистач / Нонограми; номери розміщуються на сітці, яку слід заповнити значеннями включення / вимкнення для кожної комірки, причому кожне число вказує область з’єднаних комірок "on" такого розміру, а також деякі незначні обмеження на область "off" комірок (це повинні бути підключені та …

11 cc.complexity-theory  np-hardness  puzzles 

Це питання було мотивоване запитанням про stackoverflow . Припустимо, вам задано вкорінене дерево (тобто є корінь і у вузлів є діти тощо) на вузлах (позначено ).n 1 , 2 , … , nТTTнnn1 , 2 , … , п1,2,…,n1, 2, \dots, n Кожна вершина має невід'ємну цілу вагу: .ш iiiiшiwiw_i …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory