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

Ми говоримо , що мова є щільним , якщо існує такий поліном р такою , що | J c ∩ Σ n | ≤ р ( п ) для всіх п ∈ N . Іншими словами, для будь-якої заданої довжини п існують тільки поліноміальний безліч слів довжини п , які …

16 complexity-theory  time-complexity  np-complete  satisfiability 

У мене складається враження, що для кожної задачі, завершеної NP, для нескінченно багатьох вхідних розмірів кількість екземплярів так за всіма можливими входами розміру n є (принаймні) експоненціальною в n .ннnннnннn Це правда? Чи можна це довести (ймовірно, лише за умови, що )? Або ми можемо, штучно, знайти проблему, коли для …

15 complexity-theory  np-complete  np-intermediate 

У нас є сітка N1×N2N1×N2N_1 \times N_2 . У нас є колекція прямокутників на цій сітці, кожен прямокутник може бути представлений у вигляді бінарної матриці N1N1N_1 -by- N2N2N_2RRR . Ми хочемо покрити сітку тими прямокутниками. Чи завершена версія рішення цього набору для вирішення проблеми NP? Введення: Колекція C={R1,R2,…,RL}C={R1,R2,…,RL}\mathcal{C}=\{R_1,R_2,\dots,R_L\} прямокутників на …

15 complexity-theory  np-complete  set-cover 

У нас є DAG. Ми маємо функцію на вузлах F:V→NF:V→NF\colon V\to \mathbb N (вільно кажучи, нумеруємо вузли). Ми хотіли б створити новий спрямований графік із цими правилами: F(x)≠F(y)⇒x′≠y′F(x)≠F(y)⇒x′≠y′F(x) \neq F(y) \Rightarrow x' \neq y'x′≠y′⇏F(x)≠F(y)x′≠y′⇏F(x)≠F(y)x' \neq y'\nRightarrow F(x) \neq F(y) Додамо всі старі ребра між новими вузлами: .(x,y)∈E∧x′≠y′⟺(x′,y′)∈E'(x,y)∈Е∧х'≠у'⟺(х',у')∈Е'(x,y) \in E \land …

15 algorithms  graphs  np-complete  reductions 

Мабуть, якщо , всі мови в за винятком та , будуть -повними.P ∅ Σ ∗ N PP=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} Чому саме ці дві мови? Чи не можемо ми зменшити будь-яку іншу мову в до них, видавши їх, приймаючи чи не приймаючи?PP{\sf P}

15 complexity-theory  np-complete  reductions 

Нехай А зводиться до B, тобто . Таким чином, машина Тьюринга прийому має доступ до оракула для . Нехай машина Тьюрінга, що приймає буде а оракул для - . Типи скорочень:A B A M A B O BA≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} Скорочення скорочення: може робити кілька запитів до . О БMAMAM_{A}OBOBO_{B} …

15 complexity-theory  np-complete  reductions  complexity-classes 

Чи доведено, що квантові обчислення не є кращими для вирішення повних задач NP, ніж класичні обчислення, або це просто вірили?

14 np-complete  quantum-computing 

Я впевнений, що хтось замислювався над цим раніше або негайно відхилив це, але чому теорія дихотомії Шефера разом з теоремою Махані про рідкісні множини не означає P = NP? Ось моє міркування: Створіть мову , рівну SAT, перетинається нескінченним розрізненим набором. Тоді L також повинен бути рідким. Оскільки L за …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

Мені цікаво, який найвідоміший алгоритм, з точки зору нотації Big- , вирішує лінійне програмування Integer?OOO Я знаю, що проблема є незавершеною, тому я не чекаю нічого багаточлена. І я знаю, що є багато евристики і таких, які використовуються в практичних програмах, таких як CPLEX, але мене більше цікавить формальна, найгірша …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Якщо насправді дорівнює N P , як би це покращило наші алгоритми швидше розбивати цілі числа. Іншими словами, яке розуміння дасть нам цей факт у розумінні цілочислової факторизації?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Планар 3SAT завершено NP. Планарний екземпляр 3SAT - це екземпляр 3SAT, для якого графік, побудований за допомогою таких правил, є планарним: додати вершину для кожного хiхix_i тахi¯хi¯\bar{x_i} додати вершину для кожного пунктуСjСjC_j додайте край для кожної пари( хi, хi¯)(хi,хi¯)(x_i,\bar{x_i}) додайте край вершини (або ) до кожної вершини, що представляє собою …

14 np-complete  reductions  satisfiability  3-sat 

Оскільки лінійне програмування Integer не є повноцінним NP, у будь-якій проблемі в NP виникає скорочення Карпа. Я вважав, що це означає, що ILP завжди має форму поліноміального розміру для будь-якої проблеми. Але я бачив статті про конкретні проблеми НП, де люди пишуть речі на кшталт "це перша композиція з розміром …

14 complexity-theory  np-complete  reductions  linear-programming 

Проблема з мінімальною пропускною здатністю полягає у знаходженні впорядкованості вузлів графіків за цілою лінією, що мінімізує найбільшу відстань між будь-якими двома сусідніми вузлами. Проблема рішення не відповідає NP навіть для двійкових дерев. Результати складності для мінімізації пропускної здатності. Гарі, Грем, Джонсон і Кнут, SIAM J. Appl. Math., Vol. 34, №3, …

14 complexity-theory  np-complete  reference-request  approximation 

Отже, як відомо, проблема рішення ІЛП 0-1 не є повною. Показати, що це в NP, легко, а початкове зниження було від SAT; з того часу було показано, що багато інших проблем, пов'язаних з NP-Complete, мають формули ILP (які функціонують як скорочення від цих проблем до ILP), оскільки ILP дуже корисний. …

14 np-complete  reductions  satisfiability  integer-programming 

Припустимо, в університеті є семінар-практикум. У нас є набір kkk питань Q={q1…qk}Q={q1…qk}Q = \{ q_1 \ldots q_k \} і набір nnn учнів S={s1…sn}S={s1…sn}S = \{ s_1 \ldots s_n \} . Кожен учень сумнівається у певній підгрупі питань, тобто для кожного студента sjsjs_j , нехай Qj⊆QQj⊆QQ_j \subseteq Q - це набір …

13 algorithms  complexity-theory  np-complete  np-hard