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

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

1
Курс для вивчення алгебраїчної складності
Я хочу дізнатися про алгебраїчні алгоритми та складність торій. Зокрема, мене цікавить ПДФО. Чи є набір конспектів лекцій, книг, статей та опитувань для студентів, які прочитали стандартний підручник з теорії, як книга Сіпсера чи підручник зі складнощами Арори-Барака. Набір посилань включатиме недавні передові результати.
1
Чи передбачає повнота PSPACE твердість наближення?
У коментарі в іншому повідомленні cstheorySE зазначається, що повнота PSPACE передбачає твердість APX. Чи може хто-небудь пояснити / поділитися посиланням на це? Це "тісно"? (тобто, чи є проблеми, повні PSPACE, проблема оптимізації яких передбачає постійне наближення фактора в полі час?) Як щодо повноти для деякого рівня PH? Чи означає це …
2
Теоретичні гарантії методів поширення віри в тривалість часу?
За допомогою досліджень в імовірнісних графічних моделях було показано, що поширення віри є дуже потужним методом. Однак я не знаю нічого про БП, що можна порівняти з методами МСМС, де ми можемо мати повністю поліноміальні схеми рандомізованого наближення (FPRAS) для проблем із # P-завершенням. Чи міг би хтось вказати мені …
1
Перетворення Бейгеля-Таруя перекладів ACC
Я читаю додаток про нижчі межі ACC для NEXP в Арорі та книзі обчислювальної складності Барака . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Однією з ключових лем є перетворення з ланцюгів на багатолінійні поліноми над цілими числами з полілогіартичним ступенем та квазіполіноміальними коефіцієнтами, або рівнозначно , клас схеми S Y M + , що представляє …
4
Чи сумісна ета-еквівалентність функцій з послідовною операцією Haskell?
Лема: якщо припустити, що у нас є ета-еквівалентність (\x -> ⊥) = ⊥ :: A -> B. Доведення: ⊥ = (\x -> ⊥ x)ета-еквівалентністю та (\x -> ⊥ x) = (\x -> ⊥)зменшенням під лямбда. Звіт Haskell 2010, розділ 6.2, визначає seqфункцію двома рівняннями: seq :: a -> b -> …
1
Яка мінімально необхідна глибина скорочень для NP-твердості SAT?
Як всім відомо, SAT є завершеним для wrt багаточленних багаторазових скорочень. Це все ще повне скорочення wrt багато-одного.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Мої запитання - яка мінімально необхідна глибина для скорочень? Більш офіційно, Що найменше такого, що SAT - \ mathsf {NP} -hard wrt \ mathsf {AC ^ 0_d} багато-один скорочення?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Мені здається, що …
6
варіації САТ
Я подивився в Інтернеті, але не зміг знайти жодного «великого списку» варіантів проблеми SAT. Крім (загального) СБ, k-SAT, MAX-kSAT, Пів-СБ, XOR-SAT, NAE-SAT які ще варіанти є? (також буде дуже корисно, якщо там будуть задані класи складності (де це можливо))
2
Чи паритет-Р міститься в ПП?
Це запитання задав Ян Пакс у списку розсилки "Основи математики" . Звичайно , але я підозрюю , що з відповідей на це питання , що це не відомо , є чи ⊕ P ⊆ P P ( в іншому випадку, P P буде один з можливих відповідей на це питання). …
1
Як проблема може бути в NP, бути NP-жорсткою і не NP-повною?
Найдовше я думав, що проблема була NP-повною, якщо вона одночасно (1) NP-жорстка і (2) є NP. Однак у відомій роботі "Еліпсоїдний метод та його наслідки у комбінаторній оптимізації" автори стверджують, що проблема дробового хроматичного числення належить до NP та є важкою для NP, але, як відомо, не є повною NP. …
1
Чи існує квантовий алгоритм NC для обчислення GCD?
З коментарів до одного з моїх запитань щодо MathOverflow у мене виникає відчуття, що питання про те, що GCD знаходиться в NCNC\mathsf{NC} проти є подібним до питання про те, що факторизація знаходиться в vs. .PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} Чи є щось на зразок алгоритму "квантовий " для GCD, оскільки існує квантовий алгоритм багаточленного …
2
Найменший набір не входить до колекції наборів
Подано як вхід ціле число nnn і безліч множин елементів , яка складність пошуку множиниSSS{1,...,n}{1,...,n}\{1, ..., n\}TTT елементів {1,...,n}{1,...,n}\{1, ..., n\} таким, що TTT має мінімальну кардинальність і TTT не входить у жоден з множин SSS ?
1
Клас складності, пов'язаний з вичерпним пошуком
Який клас складності пов'язаний з вичерпними алгоритмами пошуку? (якщо є) Це NP чи PSPACE? Чи існують обмежені моделі обчислень, що фіксують клас вичерпних алгоритмів пошуку, схожих на моделі жадібного та динамічного програмування?
2
Підходи до GI, натхненні проблемою вузлів
GI та Knot Problem - це проблема вирішення структурної еквівалентності математичних об'єктів. Чи є результати, що встановлюють зв'язки між ними? Хороші зв’язки проблеми вузла зі статистичною фізикою були досліджені за допомогою вузлів поліномів , чи є подібні результати для ?Г яГЯGI Було б особливо корисно знати, чи є якісь стандартні …
1
Чи можна довести
Результат 1: Теорема Лініяля-Мансура-Нісана говорить, що вага фур'є функцій, обчислених ланцюгами А С0АС0\mathsf{AC}^0 , зосереджений на підмножинах невеликого розміру з високою ймовірністю. Результат 2: має свою фур'єрну масу, сконцентровану на коефіцієнті ефективності ступеня n .PARITYPARITY\mathsf{PARITY}nnn Запитання: Чи є спосіб довести (якщо це можна довести) не можна обчислити за допомогою ланцюгів …
2
Ландшафт інтерактивних систем доказування
Перше моє запитання - чи відома інтерактивна характеристика системи доказів для всіх класичних класів складності. Я б назвав P, NP, PSPACE, EXP, NEXP, EXPSPACE, рекурсивні та рекурсивно перелічені функції класичні (серед інших). Зокрема, чи відома інтерактивна характеристика системи доказування рекурсивних та рекурсивно перелічуваних функцій? Я знаю лише, що IP = …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.