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

В моїй освіті з інформатики я все частіше помічаю, що більшість дискретних проблем є повними NP (принаймні), тоді як оптимізація безперервних проблем майже завжди легко досяжна, як правило, градієнтними методами. Чи є з цього винятки?

27 cc.complexity-theory  co.combinatorics  optimization 

Це питання було перенесено з обміну стека інформатики, оскільки на нього можна відповісти на Теоретичній біржі стека комп'ютерних наук. Мігрували 6 років тому . Здається, що багато людей вважають, що , частково тому, що вони вважають, що факторинг не розв'язується у поліметрі. (Шива Кінталі перерахував тут кілька інших проблемних питань …

27 cc.complexity-theory  np  conditional-results 

Враховуючи двійкову матрицю mmm від m (записи дорівнюють 0 або 1 ), задача полягає у визначенні, чи існує два двійкові вектори v 1 ≠ v 2, такі, що M v 1 = M v 2 (усі операції, що виконуються над Z ). Ця проблема NP-важка?nnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} Це …

27 cc.complexity-theory  np-hardness  linear-algebra 

Читаючи статтю "Чи пора оголосити перемогу в підрахунку складності?" в блозі "Загублений лист Годеля та Р = НП" вони згадали про дихотомію для ДСП. Після деякого посилання, слідуючи за гуглами та wikipeding, я натрапив на теорему Ладнера : Теорема Ладнера : Якщо , то в N P ∖ P є …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Яка складність вирішити, чи ланцюг з вхідними бітами і вихідними бітами обчислює перестановку ? Іншими словами, чи кожен бітовий рядок у - це вихід схеми для деякого входу? Це виглядає як проблема, яку вивчали, але я не можу знайти жодних посилань. nn{0,1 } n {0,1 } nN C0NC0\mathsf{NC}^0нnnнnn{ 0 , …

27 cc.complexity-theory  circuit-complexity  permutations 

Я хотів би запитати про особливий випадок питання " Вирішення, чи заданий ланцюг NC 0 обчислює перестановку " від QiCheng, який не залишився без відповіді. Булева ланцюг називається ланцюгом NC 0 k, якщо кожен вихідний затвор синтаксично залежить від максимум k вхідних воріт. (Ми говоримо, що вихідний затвор g синтаксично …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

У складності обчислень є важлива відмінність між монотонними та загальними обчисленнями, і відома теорема Різборова стверджує, що 3-SAT і навіть МАТЧИНГ не є поліномом у монотонній булевій схемі. Моє запитання просте: чи існує квантовий аналог для монотонних схем (або більше одного)? Чи існує квантова теорема Разборова?

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

Пітер Шор показав, що дві найважливіші NP-проміжні проблеми, факторинг та проблема дискретного журналу, знаходяться в BQP. Навпаки, найвідоміший квантовий алгоритм для SAT (пошук Гровера) дає лише квадратичне вдосконалення порівняно з класичним алгоритмом, натякаючи на те, що проблеми, повні NP, все ще нерозв'язні на квантових комп'ютерах. Як зазначають Арора та Барак, …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

Що таке "легкі регіони" для задоволення? Іншими словами, достатньо умов, щоб вирішувач SAT міг знайти задовольняюче завдання, якщо припустити, що воно існує. Один із прикладів - коли кожна пропозиція ділить змінні кількома іншими пунктами, завдяки конструктивному доказуванню LLL, будь-які інші результати за цими напрямками? Існує значна література про легкі регіони …

27 cc.complexity-theory  sat 

Я є вченим-комп’ютером, який курсує з топології (розсипання топологічної заданої точки, сильно приправленої теорією континууму). Мене зацікавили проблеми вирішення, перевіряючи опис простору (за простостями) для топологічних властивостей; ті, що збереглися до гомеоморфізму. Відомо, наприклад, що визначення роду вузла є в PSPACE і є NP-Hard. (Agol 2006; Hass, Lagarias, Pippenger 1999) …

27 cc.complexity-theory  big-list  topology 

У моделі чорної скриньки задача визначення виходу машини BPP на вході x - це приблизна проблема підрахунку визначення E r M ( x , r ) з помилкою добавки 1/3 (скажімо) .M(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) Чи є аналогічна проблема для BQP? Цей коментар Кена Регана говорить про таку проблему Ви можете звести …

27 cc.complexity-theory  quantum-computing  black-box 

Хочу знати, чи нерівномірність допомагає обчислювальній функції на практиці. Неважко показати, що в є функції , візьміть будь-яку незрівнянну функцію і розгляньте мову { }, яка чітко має прості нерівномірні схеми , але зовсім не обчислюється рівномірно, але це не той тип функцій, який мене цікавить.f 0 f ( n …

27 cc.complexity-theory  uniformity 

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

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Parity-L - це набір мов, розпізнаваний недетермінованою машиною Тюрінга, який може розрізняти лише парне число чи непарне число шляхів "прийняття" (а не нульове чи не нульове число шляхів прийняття), і який є далі обмежена робота в логарифмічному просторі. Розв’язання лінійної системи рівнянь над ℤ 2 є повною задачею для Parity-L, …

27 cc.complexity-theory  complexity-classes  conditional-results 

НехайMMM - квадратна ціла матриця, а nnn - додатне ціле число. Мене цікавить складність наступної проблеми рішення: Чи є позитивним праворуч зверху позитивним?MnMnM^n Зауважимо, що очевидний підхід ітераційного квадратування (або будь-який інший явний обчислення) вимагає від нас потенційно обробляти цілі числа подвійної експоненціальної величини, тобто мають експоненціально багато біт. Однак …

26 cc.complexity-theory  linear-algebra  matrices