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

як можна показати, що є співвідношенням між "Унікальною ігровою гіпотезою" та "теоремою PCP"? як можна пояснити "Унікальна гіпотеза" - сильніша форма "теореми PCP"?

17 cc.complexity-theory  pcp  unique-games-conjecture 

Як відомо, PARITY не може бути виконаний в контурах постійної глибини з величиною полімерів, і фактично схеми const-dept вимагають EXP-кількості воріт. А як щодо ланцюгів QUANTUM? а) Чи можна виконати PARITY за допомогою квантового кола, що має постійну глибину та полі число воріт? б) Чи моє питання навіть має сенс?

17 cc.complexity-theory  quantum-computing  circuit-complexity 

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

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Неважко помітити, що будь-яка проблема, яка вирішується в детермінованому просторі журналів ( ), працює не більше, ніж у поліномії ( P ). Багато відомих алгоритмів журнального простору (наприклад: непряме з'єднання st, плоский ізоморфізм графа) працюють в O ( n k ), де k шалено велике.LLLPPPO(nk)O(nk)O(n^k)kkk Я шукаю приклади природних задач, …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Я хочу розібратися, чи є якісь загальні результати щодо чи приклади, що стосуються NP-повноти проблеми пошуку другого рішення проблеми, завершеної NP. Точніше, мене цікавлять будь-які проблеми такої форми: З огляду на рішення до примірника I як NP-повної задачі є рішення S ' ≠ S в I ?SSSIЯIS′≠SS'≠SS' \neq SIЯI Будемо …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

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

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Розподіл називається ε -fool функцію F , якщо | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . І, як кажуть, обдурити клас функцій, якщо він обдурює кожну функцію цього класу. Відомо, що ϵ …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Я знайшов книгу « Пара незалежності та дендандомізація» на цю тему, але вона більше орієнтована на дослідження, ніж орієнтована на навчальний посібник. Я новачок у темі "Дерандомізація", і тому я хотів знати, з якого посилання почати? Я віддаю перевагу той, який обговорює літературу та історію, а також технічні деталі.

17 cc.complexity-theory  derandomization  randomized-algorithms 

Нехай 0≤p≤10≤p≤10\le p\le 1 і розглянемо проблему рішення CLIQUE p Введення: ціле число s , графік G з t вершинами та ребрами Питання: чи містить кліку принаймні вершин?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsсs Екземпляр CLIQUE містить пропорцію з усіх можливих ребер. Очевидно CLIQUE легко для деяких значень . CLIQUE містить лише …

17 cc.complexity-theory  np  parameterized-complexity  clique 

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

17 cc.complexity-theory  interactive-proofs 

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

17 cc.complexity-theory 

Припустимо, вам подано зв'язаний, простий, непрямий графік H. Проблема H-вільного вирізу визначається так: З огляду на простий, непрямий графік G, чи існує розріз (розподіл вершин на два непусті множини, L, R), такий, що графіки, індуковані нарізаними множинами (L і R), обидва не містять підграф, ізоморфний H . Наприклад, коли H …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Плоскі графіки мають рід нуля. Графіки, вбудовані на торі, мають максимум 1. Моє питання просте: Чи є проблеми, які поліноміально вирішуються на плоских графах, але NP-жорсткі на графіках роду 1? Більш загально, чи є проблеми, поліноміально розв'язувані на графах роду g, але NP-жорсткі на графах роду> g?

17 cc.complexity-theory  ds.algorithms  graph-theory  planar-graphs 

У "останньому абзаці" "першої сторінки" наступного документу: Вікраман Арвінд , Йоганнес Кеблер , Уве Шьонінг , Райнер Шулер , "Якщо NP має схеми розмірів полінома, то MA = AM", Теоретична інформатика, 1995. Я зіткнувся з дещо контрінтуїтивним твердженням: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 Я думаю, що особистість, викладена …

17 cc.complexity-theory  complexity-classes 

Ми знаємо (зараз близько 40 років, дякую Адлеману, Беннету та Гіллу), що включення BPP P / poly та ще сильніший BPP / poly P / poly. "/ Poly" означає, що ми працюємо нерівномірно (окрема схема для кожної вхідної довжини ), тоді як P без цього "/ poly" означає, що ми …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization