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

Я тільки починаю вникати в теорію обчислень, яка вивчає, що можна обчислити, як швидко, використовуючи скільки пам'яті та за допомогою якої обчислювальної моделі. У мене досить основне питання, але я дуже сподіваюся, що хтось із вас, хлопці, може допомогти мені зрозуміти концепцію, що стоїть за ним: Чому все зосереджене на …

10 complexity-theory  formal-languages 

У нас було кілька питань щодо співвідношення скорочень Кука та Карпа . Зрозуміло, що скорочення Кука (скорочення Тюрінга в поліномічному часі) не визначають таке ж поняття NP-повноти, як скорочення Карпа (скорочення багаточленного часу багато-один), яке зазвичай використовується. Зокрема, скорочення Кука не можуть відокремити NP від ​​ко-NP, навіть якщо P NP. …

10 complexity-theory  reference-request  np-complete  reductions 

Вступ та позначення: Ось нова і проста версія мого алгоритму, яка, здається, припиняється (згідно моїх експериментів), і тепер я хотів би це довести. Нехай позначення посилається на розмірну точку даних (вектор). У мене є три множини A, B і C, такі, що , , : xi∈Rpxi∈Rpx_i \in \mathbb{R}^pppp|A|=n|A|=n|A| = n|B|=m|B|=m|B| …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Розглянемо наступну проблему, вхідним екземпляром якої є простий графік та натуральне ціле число k .ГГGккk Чи є такий набір такий, що G - S двосторонній і | S | ≤ k ?S⊆V( G )S⊆V(Г)S \subseteq V(G)G - SГ-SG - S|S| ≤k|S|≤к|S| \leq k Я хотів би показати, що ця проблема …

10 complexity-theory  np-complete  reductions 

Я беру курс на Комп'ютерна складність. Моя проблема полягає в тому, що я не розумію метод релятивізації . Я намагався знайти трохи інтуїції у багатьох підручниках, на жаль, поки що не мав успіху. Я буду вдячний, якщо хтось міг би пролити світло на цю тему, щоб я міг продовжувати самостійно. …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Я шукаю спеціальність з теоретичних комп'ютерних наук; конкретно, мене цікавлять теорія складності та теорія ймовірнісних автоматів. Коли я закінчую рік, які курси з математики (наприклад, теорія Галуа чи аналіз гармонійних), на вашу думку, було б корисно перейняти наступні два семестри? Чому?

10 complexity-theory  automata  education 

Яка складність обчислення ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

Питання - вправа 1.9 з книги "Арора-Барак" Обчислювальна складність - сучасний підхід : Визначте машину ОЗУ Тьюрінга як машину Тьюрінга, яка має пам'ять з випадковим доступом. Ми формалізуємо це так: Машина має нескінченний масив A, який ініціалізується на всі заготовки. Доступ до цього масиву здійснюється наступним чином. Одна з робочих …

10 complexity-theory  turing-machines  machine-models  simulation 

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

10 complexity-theory  np-complete  np-hard 

Я намагаюся розробити завдання (взято з книги « Алгоритми - С. Дасгупта, CH Пападімітріу та УФ Вазірані , гл. 8, проблема 8.6а), і я перефразовуючи те, що в ньому йдеться: Зважаючи на те, що 3SAT залишається NP-повним навіть тоді, коли обмежується формулами, в яких кожен літерал з’являється максимум двічі, покажіть, …

10 complexity-theory  satisfiability  3-sat 

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

10 complexity-theory  graphs  graph-theory  np-complete 

Моя книга констатує це Якщо проблема рішення B знаходиться в P, а A зменшується до B, то задача рішення A знаходиться в P. Проблема рішення B є повною NP, якщо B знаходиться в NP, а для кожної проблеми в A в NP A зменшується до B. Проблема рішення C є …

10 complexity-theory  np-complete  decision-problem 

Визначення P - це мова, яку можна визначити за допомогою багаточленного алгоритму часу. Визначення P / poly можна вважати мовою, яку можна визначити за схемою розміру полінома (див. Http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Тепер, чому не можна імітувати поліноміальну схему в поліноміальний час?

10 complexity-theory  time-complexity  circuits 

Насправді я виявив, що набір контекстно-чутливих мов, CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} прийняті мови) не так широко обговорюються, як REGREG\mathbf{REG} (звичайні мови) або CFLCFL\mathbf{CFL}(без контекстних мов). А також відкрита проблемаD S P A C E ( O ( n ) )=?N S P A C E ( O ( n ) …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

У Вікіпедії сказано, що об'єднання за рангом без стиснення траєкторії дає амортизовану часову складність , і що об'єднання за ступеневим, так і стисненим шляхом дає амортизовану часову складність (де є обернена функція Акермана). Однак у ньому не згадується час запуску стиснення контуру без рангового об'єднання, що зазвичай я реалізую сам.O(logn)O(log⁡n)O(\log …

10 complexity-theory  time-complexity  union-find