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

Класи складності обчислювальної техніки та їх співвідношення

1
Підтримання порядку в списку в
Проблема обслуговування замовлення (або "підтримка порядку в списку") полягає в підтримці операцій: singleton: створює список з одним елементом, повертає на нього вказівник insertAfter: дається вказівник на елемент, вставляє після нього новий елемент, повертаючи вказівник на новий елемент delete: надавши вказівник на елемент, видаляє його зі свого списку minPointer: надавши два …
3
Теорії, що характеризують класи обчислювальної складності
Читаючи статтю " Прикладна теорія для FPH ", ви можете зіткнутися з таким уривком: Зважаючи на теорії, що характеризують класи обчислювальної складності, існує три різні підходи: в одному, функції, які можна визначити в теорії, "автоматично" знаходяться в межах певного класу складності. У такому обліковому записі синтаксис повинен бути обмежений, щоб …
2
Чи міститься APX в NP?
Кажуть, що проблема AP є в APX, якщо існує якась константа c> 0, така що існує алгоритм апроксимації поліноміального часу для P з коефіцієнтом наближення 1 + c. APX містить PTAS (видно просто вибираючи будь-яку константу c> 0) і P. APX в NP? Зокрема, чи означає існування алгоритму наближення багаточленного …
1
vs
У нашій недавній роботі ми вирішуємо обчислювальну задачу, яка виникла в комбінаторному контексті, за умови, що , де єEXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP}⊕EXP⊕EXP\mathsf{\oplus{}EXP}E X PЕХП\mathsf{EXP} -вернення . Єдиний папір на ⊕⊕П⊕П\mathsf{\oplus{}P} яку ми знайшли, - це документ Beigel-Buhrman-Fortnow1998,який цитується узоопарку складності. Ми розуміємощо ми можемо взяти версії парності N E X P …
5
Який клас складності для квантових підпрограм, які приймають в якості вхідних довільних квантових станів?
Клас складності BQP відповідає квантовим підпрограмм поліноміального часу, що приймають класичні входи і виплюнують імовірнісний класичний вихід. Квантова порада модифікує те, щоб включати копії деяких заздалегідь визначених квантових порад, але, як правило, з класичними введеннями. Який клас складності для квантових підпрограм поліноміальних часових розробок, які приймають довільні квантові стани як …
2
Квантові аналоги класів складності SPACE
Ми часто розглядаємо класи складності, де ми обмежені в кількості простору, яку може використовувати наш апарат Тьюрінга, наприклад: або . Здається, що на початку теорії складності було досягнуто великого успіху в таких класах, як теорема про ієрархію простору та створення таких важливих класів, як та . Чи є аналогічні визначення …
1
Проблеми в NC невідомо, що лежать в NC2
Чи є цікаві проблеми, які є в але невідомо, що в N C 2 ? У статті "Таксономія проблем з швидкими паралельними алгоритмами" Кук згадує, що МІС, як відомо, було лише в N C 5, але відтоді це було зведено до N C 2 . Мені цікаво, чи є якісь …
1
Перетворення Бейгеля-Таруя перекладів ACC
Я читаю додаток про нижчі межі ACC для NEXP в Арорі та книзі обчислювальної складності Барака . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Однією з ключових лем є перетворення з ланцюгів на багатолінійні поліноми над цілими числами з полілогіартичним ступенем та квазіполіноміальними коефіцієнтами, або рівнозначно , клас схеми S Y M + , що представляє …
2
Чи паритет-Р міститься в ПП?
Це запитання задав Ян Пакс у списку розсилки "Основи математики" . Звичайно , але я підозрюю , що з відповідей на це питання , що це не відомо , є чи ⊕ P ⊆ P P ( в іншому випадку, P P буде один з можливих відповідей на це питання). …
1
Як проблема може бути в NP, бути NP-жорсткою і не NP-повною?
Найдовше я думав, що проблема була NP-повною, якщо вона одночасно (1) NP-жорстка і (2) є NP. Однак у відомій роботі "Еліпсоїдний метод та його наслідки у комбінаторній оптимізації" автори стверджують, що проблема дробового хроматичного числення належить до NP та є важкою для NP, але, як відомо, не є повною NP. …
1
проти
Я знаю, що (логарифмічно багато дзвінків до NP oracle) еквівалентно P N P | | (поліноміальне число паралельних запитів до NP oracle). Мені було цікаво, чи «функціональна» версія цих класів також рівнозначна, тобто чиPNP[logn]PNP[log⁡n]\mathsf{P}^{\mathsf{NP}[\log n]}PNP||PNP||\mathsf{P}^{\mathsf{NP}||} Якщо це відомо, що це правда, вказівник був би дуже корисним.FPNP[logn]=FPNP||FPNP[log⁡n]=FPNP|| \mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||}
2
# P-повна проблема, версія рішення якої знаходиться в P
1) Чи можливе парсимонічне скорочення від проблеми # P-завершення #A до проблеми підрахунку #B, коли (версія рішення) A NP-повна, а B - P? Наприклад, чи може відбутися парсимонічне зниження від #SAT до #B, коли B знаходиться в P? 2) Якщо B знаходиться в P, які різні можливості щодо складності #B?
3
Складність перевірки наявності двох CNF однакової кількості рішень
Давши два CNF, якщо вони мають однакову кількість завдань, щоб зробити їх правдивими, відповідь "Так", інакше відповісти "Ні". Це легко помітити в , оскільки, якщо ми знаємо точну кількість рішень для цих двох CNF, ми просто розставляємо їх і відповідаємо "Так" або "Ні".P#PP#PP^{\#P} У чому полягає складність цієї проблеми?
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.