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

P проти НП та інших обчислень, обмежених ресурсами.

1
Вибірка задовольняючих формул 3-SAT
Розглянемо наступне обчислювальне завдання: Ми хочемо відібрати вибірку 3-SAT формули з змінних (варіант: змінних застережень) щодо рівномірного розподілу ймовірностей, що обумовлено задоволенням формули:ннnннnммm Q1: Чи можна цього досягти ефективно класичним комп'ютером (з випадковими бітами)? Q2: Чи можна цього досягти ефективно квантовим комп'ютером? Мене також цікавлять два варіанти: V2: Ви вибираєте …
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 працює …
6
Передові методики визначення складності нижчих меж
Деякі з вас, можливо, стежили за цим питанням , яке було закрито через відсутність рівня досліджень. Отже, я витягую частину питання, що знаходиться на дослідницькому рівні. Поза "простішими" методами, такими як зменшення до сортування або завдання, повне EXPTIME, які методи були використані для доведення нижчих меж для часової складності проблеми? …
2
Система підтвердження суми квадратів
Нещодавно я побачив кілька статей про arxiv, які стосуються системи доказування, званої sum-of-квадратами. Чи може хтось пояснити, що є доказом суми квадратів і чому такі докази важливі / цікаві? Як вони пов'язані з іншими алгебраїчними системами доказування? Вони якісь подвійні для Лассера?
1
Я хочу, щоб легкий гаджет довів планарний гамільтонівський цикл NP-завершений (з Гамільтонового циклу)
Відомо, що цикл гамільтонів (шинка коротко) NP-повний і що цикл планарної шинки NP-повний. Доказ для Планарного циклу шинки - це не від шин Хем. Чи є приємний гаджет, який, даючи графік G, замінить усі переправи на якийсь планарний гаджет, щоб у вас був планарний графік G 'такий, G має цикл …
2
Природний CLIQUE до k-зменшення кольору
Очевидно, скорочення від CLIQUE до k-Color є тим, що вони обоє NP-Complete. Насправді я можу сконструювати його, склавши скорочення від CLIQUE до 3-SAT зі зменшенням від 3-SAT до k-Color. Мені цікаво, чи є розумне пряме скорочення між цими проблемами. Скажімо, скорочення, яке я міг би пояснити другові досить коротко, не …
1
Алгоритми журнального простору на графіках із обмеженою шириною дерева
Ширина дерева вимірює наближеність графіка до дерева. Обчислити ширину дерева NP важко. Найвідоміший алгоритм наближення досягає коефіцієнта .O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Теорема Курсерлла стверджує, що будь-яка властивість графіків, визначена в монадійній логіці другого порядку (MSO2), може визначатися в лінійному часі на будь-якому класі графіків обмеженої ширини дерева . Нещодавній документ показав, що теорема …
1
Чи
У опитуванні «Малі глибинні квантові схеми» Д. Бера, Ф. Гріна та С. Гомера (стор. 36 Новин ACM SIGACT, червень 2007, т. 38, № 2) я прочитав таке речення: Класична версія (в якій ворота A N D і O R мають максимум постійну вентиляцію) виявляється слабкіше, ніж A C 0 .QAC0QАС0QAC^0ANDАNDANDORОRORAC0АС0AC^0 …
1
Що відомо про складність пошуку мінімальних схем для SAT?
Що відомо про складність пошуку мінімальних схем, які обчислюють SAT до довжини ? nnn Більш формально: яка складність функції, яка при введенні виводить мінімальну ланцюг таку, що для будь-якої формули з , ?1n1n1^{n}CCCφφ\varphi|φ|≤n|φ|≤n|\varphi| \leq nC(φ)=SAT(φ)C(φ)=SAT(φ)C(\varphi) = SAT(\varphi) (Мене спеціально цікавлять нижчі межі.) Наївний детермінований алгоритм (обчислити SAT по грубій силі …
1
Обчислювальна складність 3-роздільної задачі з різними числами
Це питання пов'язане з відповіддю, яке я опублікував у відповідь на інше запитання. Проблема з 3 розділами полягає в наступній задачі: Екземпляр : Позитивні цілі числа a 1 ,…, a n , де n = 3m і сума n цілих чисел дорівнює mB, так що кожне a i задовольняє B …
1
Який статус результату ізоморфізму графіка Бабая?
Минуло більше року з часу його вилучення та виправлення у січні 2017 року. Чи є новини? Якщо ні, це нормально, щоб перевірка тривала так довго? Я би сподівався, що це приверне багато уваги. Хтось із зауважень говорив, щоб підтримати / сумніватися в квазіполіномічному результаті?
4
Які існують докази того, що графний ізоморфізм не знаходиться в
Мотивований коментарем Fortnow до мого поста, Докази того, що проблема Ізоморфізму Графа не є незавершеноюNПNPNP G I N P N P P G I P , і тим, що є головним кандидатом на проміжну проблему (не незавершена і не ), мене цікавлять відомі докази що не в .Г яGIGINПNPNPNПNPNPПPPГ яGIGIПPP …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.