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

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

1
Монотонна схема складності обчислювальних функцій на рідких входах
Вагадвійкового рядка - кількість одиниць у рядку. Що станеться, якщо нам цікаво обчислити монотонну функцію на входах з кількома?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n Ми знаємо, що вирішити, чи має графік -clique, важко для монотонних схем (див. Серед інших Alon Boppana, 1987), але якщо граф має, наприклад, щонайбільше ребер, то можна знайти монотонну обмежену схему …
1
Oracle відносно якого
Зоологія складності Грега Куперберга стверджує, що існує мова така, що B P P X X ⊈ Δ 2 P X - іншими словами, B P P X ⊈ P N P X - але не дає посилання на цей результат. Чому це дотримується? Або де можна знайти доказ?XXXBPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 …
2
Теорема про ієрархію відношень апроксимації?
Як відомо, проблеми з оптимізацією жорсткої NP можуть мати безліч різних коефіцієнтів наближення, починаючи від наявності PTAS і не бути приблизним в жодному факторі. Між ними у нас є різні константи, , тощо.O(logn)O(log⁡n)O(\log n)poly(n)poly(n)poly(n) Що відомо про безліч можливих співвідношень? Чи можемо ми довести будь-яку «ієрархію наближення»? Формально для яких …
1
Унікальна модель SAT проти саме
Унікальний SAT - це добре відома проблема: враховуючи формулу CNF , чи правда, що F має саме одну модель?FFFFFF Мене цікавить проблема «Рівно -SAT»: з урахуванням формули CNF F і цілого числа m > 1 , чи правда, що F має саме m моделей?mmmFFFm>1m>1m>1FFFmmm Обидві проблеми виглядають схоже. Отже, мої …
1
Оптимальний алгоритм сортування за кількістю свопів
Враховуючи послідовність чисел, чи можна її сортувати за O (n \ ln n) порівняннями та O (n) замінами / рухами? Будь-який вказівник на публікації з цього питання або контраргументи, що показують нижню межу \ Omega (n \ ln n) , допоможе.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)
2
PARITY із обмеженим вентилятором: простий доказ?
AC0AC0AC^0 - клас мікросхем поліноміального розміру постійної глибини з воротами НЕ та немежуючими вентиляційними входами ІЛ та АБО, де входи та ворота також мають необмежену вентиляцію. Тепер розглянемо новий клас, називаємо його який схожий на але для якого входи та ворота мають максимум . Цей клас чітко в . Насправді …
2
Модальна логіка, аксіоматизована глибиною вкладення, яка навряд чи буде в PSPACE?
Я шукаю модальні логіки, які аксіоматизовані кінцевим набором аксіом модальної глибини вкладки один і проблема задоволеності / продуктивності навряд чи буде в PSPACE. Без обмеження на модальну глибину гніздування це не проблема, див., Наприклад, PDL. Але видається, що, наприклад, для підтвердження твердості EXPTIME шляхом зменшення до якоїсь проблеми плитки або …
1
NP-твердість у спеціальному випадку розділення чисел
Розглянемо наступну проблему, Враховуючи набір додатних чисел { a 1 , … , a n }, у яких k ≥ 3 - константа, ми хочемо розділити множину на m підмножини розміром k так, що добуток суми кожного підмножини максимізовано.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk Проблема досить …
3
NP-важкі проблеми на кографах
Це питання схоже на важкі проблеми з NP на деревах : Існує велика кількість проблем, повних NP, які можна відстежити на кографах . Чи є відомі проблеми, які залишаються NP-повною, якщо обмежуватись лише кографами? Якщо точніше, мене цікавлять приклади, коли вхід складається виключно з непрямої, не зваженої кограми . Два …
1
Вимірювання випадковості формул CNF
Широко відомо, що формули CNF можна грубо розділити на 2 широкі класи: випадкові та структуровані. Структуровані формули CNF на противагу випадковим формулам CNF демонструють певний порядок, показуючи шаблони, які навряд чи трапляться випадково. Однак можна знайти структуровані формули, що показують певну ступінь випадковості (тобто певні конкретні групи пропозицій здаються значно …
2
Яке точне визначення Random K-SAT?
Існують 4 різні обмеження, які ми можемо мати при визначенні випадкових K-SAT. 1) Загальна кількість буквених значень у заданих застереженнях становить рівно K або AT, найбільше K 2) Даний літерал може бути використаний із заміною або без заміни в одному і тому ж пункті (A або A або A) 3) …
1
Покращена нижня межа складності монотонної схеми ідеального узгодження?
Розборов довів, що кожен монотонний контур, який обчислює ідеальну функцію узгодження для двопартійних графіків, повинен мати принаймні ворота (він назвав це "логічним постійним"). Чи було доведено кращу нижню межу для тієї ж проблеми відтоді? (скажімо, ?) Наскільки я пам'ятаю, ця проблема була відкрита в середині 1990-х.нΩ ( логn )нΩ(журнал⁡н)n^{\Omega(\log n)}2нϵ2нϵ2^{n^\epsilon} …
2
Мінімальні максимальні рішення ЛП
Лінійне програмування, звичайно, сьогодні дуже добре зрозуміло. У нас багато роботи, яка характеризує структуру можливих рішень та структуру оптимальних рішень. Ми маємо сильну подвійність, багаточастові алгоритми тощо. Але що відомо про мінімальні максимальні рішення LP? Або, що рівно, максимально мінімальні рішення? (Це насправді не дослідницьке запитання, але, можливо, у нас …
2
Який зв'язок між QMA та AM?
Я читав у С.П. Джордана, Д. Госсета, "Дж. Дж. Дж. Госсе," проблеми для стоматичних матриць Гамільтоніана та Маркова ", що навряд чи .Q МАQМАQMAQ МА ⊆ А МQМА⊆АМQMA \subseteq AM Мене здивувало це твердження. То які належні стосунки між та ?A MQ МАQМАQMAА МАМAM
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.