Запитання з тегом «complexity-theory»

У нас є багато проблем, таких як факторизація, які є сильно вигаданими, але не доведеними, поза межами P. Чи є питання з протилежною властивістю, а саме з тим, що вони сильно здогадуються, але не знаходяться всередині P?

12 complexity-theory  polynomial-time 

У мене виникають проблеми з обгортанням голови навколо проблем ПРАЙМ, КОМПОЗИТ, ФАКТОР і те, як вони пов'язані за складністю. Я розумію, що PRIME показав, що він знаходиться в тестом на первинність AKS, і я вважаю, що це працює і для COMPOSITE.ПPP Що стосується ФАКТОРА, ЖА СТO R = { ( …

12 complexity-theory  factoring 

Я просто прочитав деякі сторінки в книзі Сіпсера «Вступ до теорії обчислень про проблему поштової кореспонденції», і я думаю, що PCP насправді знаходиться в NP. Сертифікатором є: для вхідної конфігурації палі об'єднує як рядок і об'єднує як рядок , а потім порівняйте і щоб побачити, чи є два рівні, а …

12 complexity-theory  decision-problem  np 

Я усвідомлюю, що це здається дуже дурним (або занадто очевидним, щоб заявити). Однак я в якийсь момент розгубився. Ми можемо показати, що P NP=== тоді і тільки тоді, коли ми можемо розробити алгоритм, який вирішує будь-який заданий екземпляр задачі в NP у поліноміальний час. Однак я не розумію, як на …

12 complexity-theory  p-vs-np 

Мені цікаво, чи є якісь повні проблеми в класі складності Артура-Мерліна. Графічний неізоморфізм (ВНД), здається, є канонічним прикладом проблеми в АМ, але, мабуть, не є повною. Я думаю, мені також цікаво, чи добре визначена "повна" проблема для AM. Оскільки AM = BP.NP, схоже, що перехід на "зменшення" до AM покладається …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Я бачив, як XOR-3-SAT ефективно вирішується (наприклад, див. Розділ "Задовільність XOR" у статті Вікіпедії щодо булевої проблеми задоволеності ). Мене цікавить основне запитання: чи ефективно вирішується XOR-k-SAT для формул з різною кількістю буквених значень на пункт? Мені дуже хотілося б знати, чи можемо ми збільшити кількість буквених значень на пункт …

12 complexity-theory  satisfiability 

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

12 complexity-theory  graph-isomorphism  group-theory 

Чи передбачає повнота coNP твердість NP? Зокрема, у мене є проблема, яку я показав, що він завершено. Чи можу я стверджувати, що це важко? Я розумію, що я можу претендувати на твердість coNP, але я не впевнений, що ця термінологія є стандартною. Мені подобається твердження, що якщо проблема, повна NP, …

12 complexity-theory  np-hard 

Я намагаюся вирішити цю проблему і дуже боюся. Монотонна булева формула являє собою формулу в логіці висловлювань , де все літерали є позитивними. Наприклад, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) є монотонною булевою функцією. З іншого боку, щось подібне ( х1∨ x2∨ …

12 complexity-theory  np-complete  satisfiability 

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

12 complexity-theory  time-complexity  np-complete 

У мене це дуже просте "доказ" для NP = CoNP, і я думаю, що я десь щось зробив неправильно, але не можу знайти те, що не так. Може хтось допоможе мені? Нехай A є деякою проблемою в NP, і нехай M є рішенням для А. Нехай B є доповненням, тобто …

12 complexity-theory  p-vs-np  check-my-proof  np 

Нижче, припустимо, ми працюємо з нескінченною стрічковою машиною Тюрінга. Коли я пояснював комусь поняття часової складності та чому його вимірюють відносно вхідного розміру примірника, я натрапив на таке твердження: [..] Наприклад, природно, що вам потрібно буде більше кроків для множення двох цілих чисел на 100000 біт, ніж, скажімо, множення двох …

12 complexity-theory  time-complexity  intuition 

Визначення: Зменшення Карпа Мова - Карп, приведена до мови B, якщо є функція, що обчислюється в поліномі-часі f : { 0 , 1 } ∗ → { 0 , 1 } ∗ така, що для кожного x , x ∈ A тоді і лише тоді, коли f ( x ) …

12 complexity-theory  reductions  check-my-proof 

Питання було задано на "Переповнення стека" ( тут ): Беручи під увагу ціле число , роздрукувати всі можливі комбінації цілочисельних значень A , B , C і D , які вирішують рівняння A 2 + B 2 + C 2 + D 2 = N .NNNA,B,CA,B,CA,B,CDDDA2+B2+C2+D2=NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N Це питання, …

12 complexity-theory  time-complexity  number-theory  enumeration 

Як довести, що ? Я просто шукаю такий оракул TM і рекурсивну мову для якої це справедливо.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Я знаю доказ, де ви показуєте, що існує oracle такий, що і oracle такий, що . У мене є натяк, що мені слід знайти такий оракул , поширивши доказ …

12 complexity-theory  relativization