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

Відомо, що перевірити, чи існує гамільтонівський цикл у 3-регулярному графіку, навіть якщо це планарний (Гарей, Джонсон та Тарджан, SIAM J. Comput. 1976), або двопалітний (Акіяма, Нішизекі, і Saito, J. Inform. Proc. 1980) або перевірити, чи існує гамільтонів цикл у 4-регулярному графіку, навіть якщо це графік, утворений розташуванням кривих Йордану (Iwamoto …

24 graph-theory  np-hardness  hamiltonian-paths 

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

24 cc.complexity-theory  np-hardness 

Для константи можна визначити за лінійним часом, задавши вхідний графік , чи ширина його ширини дорівнює . Однак, коли і і G задані як вхідні дані, проблема є важкою для NP. ( Джерело ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Однак, коли графік введення планарний , про складність здається значно менше. Проблема, очевидно, …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

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

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

Очевидно, скорочення від CLIQUE до k-Color є тим, що вони обоє NP-Complete. Насправді я можу сконструювати його, склавши скорочення від CLIQUE до 3-SAT зі зменшенням від 3-SAT до k-Color. Мені цікаво, чи є розумне пряме скорочення між цими проблемами. Скажімо, скорочення, яке я міг би пояснити другові досить коротко, не …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

Мене цікавить проблема упаковки однакових копій (2-х мірних) прямокутників у опуклий (двовимірний) багатокутник без перекриттів. У моїй проблемі вам заборонено обертати прямокутники, і ви можете вважати, що вони орієнтовані паралельно осям. Ви щойно давали розміри прямокутника та вершини багатокутника і запитували, скільки однакових копій прямокутника можна упакувати в багатокутник. Якщо …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

Це питання пов'язане з відповіддю, яке я опублікував у відповідь на інше запитання. Проблема з 3 розділами полягає в наступній задачі: Екземпляр : Позитивні цілі числа a 1 ,…, a n , де n = 3m і сума n цілих чисел дорівнює mB, так що кожне a i задовольняє B …

23 cc.complexity-theory  np-hardness 

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

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

Проблема не всіх рівних -SAT (NAE -SAT) з урахуванням набору застережень над набором булевих змінних, таким чином, що кожне застереження містить максимум літералів, запитує, чи існує присвоєння істини змінних таким, що кожен пункт містить принаймні один істинний і хоча б один неправдивий буквальний текст.k C X kкkkкkkСCCХXXкkk Проблема PLANAR NAE …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Нехай змінні будуть . Відстань між двома змінними визначається як d ( x a , x b ) = | а - б | . Відстань між двома літералами - це відстань між відповідними двома змінними.x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b| Припустимо, у мене є …

22 np-hardness  sat 

У цій темі спроба Норбета Блума доказування коротко спростована, зазначивши, що функція Tardos є контрприкладом до теореми 6.P≠NPP≠NPP \neq NP Теорема 6 : Нехай - будь-яка монотонна булева функція. Припустимо, що існує CNF-DNF-аппроксиматор який може бути використаний для доведення нижньої межі для . Тоді також можна використовувати для доказу тієї …

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

Багато задач алгоритмічного графіка можна вирішити в поліноміальний час як на невагомих, так і на зважених графіках. Деякі приклади - найкоротший шлях, міні-нахилене дерево, найдовший шлях (у спрямованих ациклічних графіках), максимальний потік, хв. Зріз, макс. Зіставлення, оптимальна дендраресценція, певні найгустіші проблеми підграфа, макс. встановити в певних класах графів, різних задач …

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

Кубічні графіки - це графіки, де кожна вершина має ступінь 3. Вони були детально вивчені, і я знаю, що декілька NP-жорстких проблем залишаються NP-жорсткими навіть обмежуються підкласами кубічних графіків, але деякі інші стають легшими. Надклас кубічних графіків - це клас графіків з максимальним ступенем .Δ≤3Δ≤3\Delta \leq 3 Чи є якась …

22 graph-theory  graph-algorithms  np-hardness 

Якщо проблема є NP-жорсткою (використовуючи скорочення поліноміального часу), чи означає це, що вона є P-жорсткою (з використанням журнального простору або скорочення NC)? Начебто інтуїтивно зрозуміло, що якщо це так важко, як і будь-яка проблема в NP, це має бути настільки ж важко, як і будь-яка проблема в P, але я …

22 cc.complexity-theory  np-hardness 

Я розглядаю класи графів, які можна характеризувати забороненими підграфами. Якщо графічний клас має кінцевий набір заборонених підграфів, то існує тривіальний алгоритм розпізнавання поліноміального часу (можна просто використовувати грубу силу). Але нескінченна сім'я заборонених підграфів не передбачає твердості: є деякі класи з нескінченним списком заборонених підграфов, таким чином, що розпізнавання також …

22 cc.complexity-theory  graph-theory  np-hardness