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

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

3
Твердість наближення - добавна помилка
Існує багата література і принаймні одна дуже хороша книга, яка викладає відому твердість результатів апроксимації для задач, пов'язаних з твердими NP, в контексті мультиплікативної помилки (наприклад, 2-наближення для покриття вершин є оптимальним, якщо вважати UGC). Сюди також входять добре зрозумілі класи складності наближення, такі як APX, PTAS тощо. Що відомо, …
3
Які взаємозв'язки між цими гіпотезами в теорії тонкозернистої складності?
Теорія складності, через такі поняття, як NP-повнота, розрізняє обчислювальні задачі, які мають відносно ефективні рішення, і ті, які не можна вирішити. "Дрібнозерниста" складність має на меті вдосконалити цю якісну відмінність у кількісному посібнику щодо точного часу, необхідного для вирішення проблем. Детальніше можна ознайомитись тут: http://simons.berkeley.edu/programs/complexity2015 Ось кілька важливих гіпотез: ETH: …
4
Які переконливі причини вважати
Які переконливі причини вважати ? L - клас алгоритмів журнального простору з покажчиками на вхід.L≠PL≠PL\neq P Припустимо, L = P на даний момент. Як виглядатиме алгоритм логічного простору для проблеми, повного P, у загальних контурах?
3
Проблеми з оптимізацією з хорошою характеристикою, але без поліноміального часу алгоритму
Розглянемо проблеми оптимізації наступної форми. Нехай f(x)f(x)f(x) - поліномальна обчислювальна функція, яка відображає рядок в раціональне число. Завдання оптимізації полягає в наступному: що максимальне значення над -бітовий рядки ?xxxf(x)f(x)f(x)nnnxxx Скажемо, що така задача має характеристику мінімаксу , якщо є інша обчислювана багаточленна функція , така, що . Тут x працює …
1
Tardos Функція контрприклад Блюма Претензія
У цій темі спроба Норбета Блума доказування коротко спростована, зазначивши, що функція Tardos є контрприкладом до теореми 6.P≠NPP≠NPP \neq NP Теорема 6 : Нехай - будь-яка монотонна булева функція. Припустимо, що існує CNF-DNF-аппроксиматор який може бути використаний для доведення нижньої межі для . Тоді також можна використовувати для доказу тієї …
6
Заяви, які означають
Це свого роду відкрите запитання - за яке я заздалегідь вибачаюся. Чи є приклади тверджень, які (здавалося б, не мають нічого спільного зі складністю або машинами Тюрінга, але відповідь яких означатиме ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}
3
Проблеми поза P, які не є важкими
Читаючи відповідь Пітера Шор та попереднє запитання Адама Крюма, я зрозумів, що у мене є помилки щодо того, що означає бути -hard.PP\mathsf{P} Проблема - тверда, якщо будь-яка проблема в зводиться до неї за допомогою (або якщо ви віддаєте перевагу ) скорочення. Проблема знаходиться поза межами якщо не існує поліноміального алгоритму …
1
Чи є обґрунтування вважати, що
Цікаво, чи є обґрунтування вважати, що або вірити, що ?N L ≠ LNL=LNL=LNL=LNL≠LNL≠LNL\neq L Відомо, що . В літературі по derandomization з досить переконливо , що . Хтось знає про якісь статті чи ідеї, які переконують, що ? R L R L = L N L ≠ LNL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq …
1
Чи Р дорівнює перетину всіх часових класів суперполінома?
Назвемо функцію суперполіномічною, якщо виконується для кожного c> 0 .f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 Зрозуміло, що для будь-якої мови L∈PL∈PL\in {\mathsf P} справедливо, що L∈DTIME(f(n))L∈DTIME(f(n))L\in {\mathsf {DTIME}}(f(n)) для кожного суперполіноміального часу, пов'язаного f(n)f(n)f(n) . Цікаво, чим зворотне це твердження також вірно? Тобто, якщо ми знаємо L∈DTIME(f(n))L∈DTIME(f(n))L\in {\mathsf {DTIME}}(f(n)) для кожного суперполіноміального часу, …
3
Чи може введений лямбда-обчислення виражати * всі * алгоритми нижче заданої складності?
Я знаю, що складність більшості різновидів типізованих лямбда-обчислень без примітивістату Y комбінатора є обмеженою, тобто лише функції обмеженої складності можуть бути виражені, причому зв'язаність стає більшою в міру зростання виразності типової системи. Я пам'ятаю, що, наприклад, обчислення конструкцій може виражати щонайбільше подвійну експоненціальну складність. Моє запитання стосується того, чи можуть …
1
Яка відома в даний час твердість графіка Ізоморфізм?
Натхненний питанням факторингу, відомого як P-hard , мені цікаво, який сучасний подібний стан знань щодо твердості ізоморфізму графа. Я впевнений, що наразі невідомо, чи GI знаходиться в P, але: який відомий на даний момент найбільший клас, якому ГІ важче? (на подібне звучання не було відповіді ) Щоб вирішити деякі коментарі, …
2
Яка велика версія NC?
O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} фіксує ідею про ефективну паралелізацію, і одне її тлумачення - це проблеми, що вирішуються за часом використовуючи паралельні процесори для деяких констант , . Моє запитання, чи існує аналогічний клас складності, …
3
Обмеження паралельних обчислень
Мені цікаво в широкому сенсі про те, що відомо про алгоритми паралелізації в П. Я знайшов наступну статтю у Вікіпедії про цю тему: http://en.wikipedia.org/wiki/NC_%28complexity%29 Стаття містить таке речення: Невідомо, чи NC = P, але більшість дослідників підозрюють, що це помилково, це означає, що, ймовірно, є деякі простежувані проблеми, які "є …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.