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

Нехай - непрямий графік. Розкладання V на непересічні підмножини V я називаюся розкладанням Гамільтон з G , якщо підграф , індукований кожне безліч V я або граф Гамільтон , або складається з одного ребра з | V i | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Приклад : Повний двосторонній графік має розклад Гамільтона …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Встановлено . Для кожного елемента , ми маємо вага і вартість . Мета полягає у знаходженні підмножини розміром яка максимізує таку цільову функцію: .e i w i > 0 c i > 0 M k ∑ e i ∈ M w i + ∑ e i ∉ M w i …

10 np-hardness  optimization 

Мова знаходиться у класі iff, якщо є дві мови та L2 \ у coNP, так що L = L1 \ cap L2D P L 1 ∈ N P L 2 ∈ c o N P L = L 1 ∩ L 2LLLД ПDPDPL 1 ∈ NПL1∈NPL1 \in NPL 2 ∈ …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Хіроїмоно - популярна загадка неповна. Мене цікавить обчислювальна складність пов'язаної головоломки.NПNPNP Проблема полягає в наступному: Введення : Дано набір точок на x квадратній сітці та ціле число kn kнnnнnnкkk Запитання : Чи існує прямолінійний многокутник (його сторони, паралельні осі хxx або уyy ), таким, що кількість точок на кутах полігону …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Припустимо, P≠NPP≠NPP \neq NP Нехай використовувати наступні позначення для тетрації (тобтоiaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | х | - розмір екземпляра x. Нехай L - мова, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i \in …

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

Приклади обмежених -повних варіантів невизначених множин:NПNPNP Обмежена проблема зупинки = { | Машина NTM M зупиняє та приймає х протягом t кроків}( М, х , 1т)(M,x,1t)(M, x, 1^t)МMMхxxтtt Обмежена черепиця = { | є плитка квадрата площі t 2 плитками від T }( Т, 1т)(T,1t)(T, 1^t)т2t2t^2ТTT Задача на обмежену кореспонденцію …

10 cc.complexity-theory  np-hardness 

Зірка система являє собою сімейство п підмножин п-елементів , встановлених . Зірка система графічна якщо є граф таким чином, що є сімейством околиць вершин в . Це -повна , щоб визначити , чи є дана графічна система зірки.ЖFFG ( V , E ) F G N PSSSГ ( V, Е)G(V,E)G(V,E)ЖFFГGGNПNPNP …

10 cc.complexity-theory  np-hardness 

Постановка проблеми : Дозволяє MMM бути (потенційно недетермінованим) автоматичним натисканням та пускати AA\cal Aбути його вхідним алфавітом. Чи є словоw∈A∗w∈A∗w \in \cal A^* вул |w|≤k|w|≤k|w| \leq k що прийнято MМM ? Чи не завершена ця проблема NP? Це було вивчено? Чи існує алгоритм, що дозволяє знайти таке слово?

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Які найвідоміші асимптотичні верхні межі щодо розмірів вірогідних доказів? В ідеалі я шукаю сучасне опитування з цього широкого питання, але якщо такого немає, мене особливо цікавить непереборність 3-SAT. Нехай 7/8 + ε-3-SAT буде 3-SAT з обіцянкою, що якщо 7/8 + ε частка пропозицій є задоволеною, то екземпляр є задоволеним. Які …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Є приємний документ з 1991 року, який містить три діаграми про різні сімейства графіків, що показують, що відомо про твердість визначення хроматичного показника для них. Чи є з тих пір новини про ці? Мене найбільше цікавить те, що відомо про графіки з обмеженим хроматичним числом. Мою цікавість викликала /mathpro/238448/hypergraph-edge-colouring .

9 graph-theory  np-hardness  graph-colouring 

При фіксованому орієнтований граф (орграф) , то Проблема Рішення -розмальовка запитує , може вхідний Орграф має гомоморфізм до . (Гомоморфізм від до - це відображення від до яке зберігає дуги, тобто якщо - дуга , то - дуга )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 

Стандартна проблема 1-в-3 SAT (або XSAT або X3SAT) є: Примірник : формула КНФА з кожним пунктом , що містить рівно 3 литералов Питання : чи існує задовольняють установки точно 1 буквальними згідно з пунктом істинного призначення? Проблема не заповнена NP і залишається важкою, навіть якщо жодна змінна не заперечується. Цікаво, …

9 cc.complexity-theory  np-hardness  sat 

Мені цікаво, чи не є наступною проблемою NP-важко. Введення: простий графік і забарвлення ребер ( не перевіряє жодної конкретної властивості).G=(V,E)G=(V,E)G = (V,E)f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\}fff Питання: чи можна розділити на трикутники, щоб кожен трикутник мав по одному краю кожного кольору?EEE|E|/3|E|/3|E|/3 Я знаю, що без кольорів проблема "розділення краю" графіка …

9 graph-theory  np-hardness 

Мене цікавить варіант відповідності максимальної ваги у графіку, який я називаю "Максимальне справедливе співпадіння". Припустимо , що граф сповнений (тобто ), має парне число вершин, і що вага задається функцією прибуток р: {V \ вибрати 2} \ к \ mathbb N . З огляду на відповідність M , позначаємо M …

9 ds.algorithms  graph-algorithms  np-hardness  matching  bipartite-graphs 

Припустимо, що у мене є набори з елементами, взятіми з можливих . Кожен набір має розмір ( ), де множини можуть перетинатися. Я хочу визначити, чи є наступні дві проблеми NP-повною чи ні:PPPrrrnnnn&lt;rn&lt;rn<r Завдання А. Чи є ( ) різні набори в межах множин (тобто їх парне перетин порожньо)?MMM1≤M≤P1≤M≤P1 \le …

9 graph-theory  np-hardness