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

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

35 cc.complexity-theory  np  np-complete 

Питання на cteory " Що NP обмежується свідками лінійного розміру? " Задає питання про клас NP, обмежений лінійними розмірами свідками, алеO ( n )O(n)O(n) Чи існують природні неповні проблеми, в яких (так) екземпляри розміру вимагають від свідків розміру більше ?nнnnнnn Очевидно, що ми можемо будувати штучні проблеми, такі як: L …

28 cc.complexity-theory  np  proof-complexity 

Редагувати : Як правильно вказав у своїй відповіді Раві Боппана, а Скотт Ааронсон також додав ще один приклад у свою відповідь , відповідь на це питання виявився «так» таким чином, якого я зовсім не очікував. Спочатку я подумав, що вони не відповідають на запитання, яке я хотів задати, але, подумавши, …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

Чи є приклад мови, яка є в , але де ми не можемо довести цей факт безпосередньо, показавши, що існує поліноміальний свідок членства в цій мові?NПNПNP Натомість той факт, що мова перебуває в було б доведено шляхом зменшення її до іншої мови в , де зв’язок між ними не є …

27 reductions  np 

Це питання було перенесено з обміну стека інформатики, оскільки на нього можна відповісти на Теоретичній біржі стека комп'ютерних наук. Мігрували 6 років тому . Здається, що багато людей вважають, що , частково тому, що вони вважають, що факторинг не розв'язується у поліметрі. (Шива Кінталі перерахував тут кілька інших проблемних питань …

27 cc.complexity-theory  np  conditional-results 

Пітер Шор показав, що дві найважливіші NP-проміжні проблеми, факторинг та проблема дискретного журналу, знаходяться в BQP. Навпаки, найвідоміший квантовий алгоритм для SAT (пошук Гровера) дає лише квадратичне вдосконалення порівняно з класичним алгоритмом, натякаючи на те, що проблеми, повні NP, все ще нерозв'язні на квантових комп'ютерах. Як зазначають Арора та Барак, …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

Чи є якісь природні проблеми в , які не є (як відомо, як вважається) в ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Очевидно, що найбільшим, про кого всі знають у є версія рішення факторингу (чи має n коефіцієнт розміру не більше k), але це насправді в .NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP

26 cc.complexity-theory  complexity-classes  np 

Чи існує (бажано природний) NP-повна мова , така, що для кожного утримує? Іншими словами, містить точно половину всіх бітних екземплярів. n ≥ 1 | L ∩ { 0 , 1 } n | = 2 п - 1 лL⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

Ця відповідь на основні невирішені проблеми теоретичної інформатики? Питання зазначає, що воно є відкритим, якщо певна проблема в NP вимагає часу.Ω ( n2)Ω(n2)\Omega(n^2) Дивлячись на коментарі під відповідь, мене здивувало: Окрім прокладки та подібних хитрощів, яка найвідоміша часова складність нижньої межі на детермінованій машині оперативної пам’яті (або багатоканальній детермінованій машині …

25 cc.complexity-theory  np  p-vs-np 

Це пов'язано з питанням: Чи вже відомий розмір членів свідків для кожної мови НП? Деякі природні (-повні) задачі мають лінійну довжину свідків: задовольняюче завдання для , послідовність вершин для тощо. S A T H A M P A T HNPNP\mathsf{NP}SATSATSATHAMPATHHAMPATHHAMPATH Розглянемо клас складності " обмежений для очевидців лінійної довжини". Формальне …

24 cc.complexity-theory  complexity-classes  np 

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

23 cc.complexity-theory  np  np-complete 

Короп-Ліптон Theoem стверджує , що якщо , то коллапсирует . Тому, якщо припустити розділення між та , жодна -повна проблема не буде належати до .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

У своїй роботі (стор. 503) зауваження Гарі та Джонсона: ... може існувати повна NP-проблема, яка не є ані повною в NP в сильному сенсі, ані вирішена алгоритмом часу псевдополінома ... Хтось знає якісь проблеми кандидата щодо згаданих вище властивостей? Я думаю, що можливою відповіддю на це питання може бути перелік …

19 ds.algorithms  np-hardness  np 

Проблему рішення CNF-SAT можна описати так: Вхідні дані: булева формула у сполучній нормальній формі.ϕϕ\phi Питання: Чи існує змінне призначення, яке задовольняє ?ϕϕ\phi Я розглядаю декілька різних підходів до вирішення CNF-SAT з недетермінованою двосмуговою машиною Тюрінга . Я вважаю, що існує NTM, який вирішує CNF-SAT в кроках.n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot \texttt{poly}(\log(n)) Запитання: Чи …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Чи відомий явний приклад алгоритму з властивістю таким, що якщо то цей алгоритм не запускається в поліноміальний час, а якщо то він працює в поліноміальний час?П≠ NПП≠NПP\neq NPП= NПП=NПP=NP

18 ds.algorithms  np  p-vs-np