Чи існує якийсь проект, який офіційно перевіряє теореми та докази теорії складності, використовуючи помічника доказу, як Coq? Чи є якісь межі для цього?
Чи існує , NP- або P-повна мова, яка має якесь сімейство груп симетрії G n (або grouppoid , але тоді алгоритмічні запитання стають більш відкритими), що діють (у поліноміальний час) на множини L n = { l ∈ L ∣ | l | = n } таких, що орбіт мало, …
У грі з галькою на лінії розміщено N + 1 вузлів, позначених від 0 до N. Гра починається з камінчика на вузлі 0. Якщо на вузолі i є галька, ви можете додати або вийняти гальку з вузла i + 1. Мета - розмістити камінчик на вузлі N, не розміщуючи багато …
Відомо , що якщо той многочлен ієрархії коллапсирует Е Р 2 і M A = A M .NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Які найсильніші колапси, як відомо, трапляються, якщо ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly
У своїй книзі « Комп’ютерна складність» Пападімітріу визначає FNP так: Припустимо, що - мова в NP . Згідно з пропозицією 9.1, існує поліноміальний можна розв'язати, полиномиально збалансовано співвідношення таке , що для всіх рядків : Існує рядок с тоді і тільки тоді , коли . Проблема функції, пов'язана з , …
У статті Стівена Кука про проблему Р проти НП [1] він констатує наступне [2]: Теза техніко-економічного обґрунтування: природна проблема має здійсненний алгоритм, якщо вона має алгоритм поліноміального часу. Моє запитання: що саме він (або взагалі взагалі насправді, що означає) означає " природну проблему"? Говорити про природні проблеми, здається, досить часто, …
Чи означає, що проблема є завершеною EXP-часу, означає, що A не знаходиться в D T I M E ( 2 o ( n ) ) ?АAAАAAД ТЯМЕ( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Мені відомо, що за теоремою ієрархії часу не входить у E = D T I M E ( 2 …
КОРОТКЕ ЗАПИТАННЯ: Чи MAJ-3CNF є проблемою повного ПП при скороченні багато-одного? ДОВІЖНА ВЕРСІЯ: Загальновідомо, що MAJSAT (вирішуючи, чи задовольняє більшість присуджень пропозиційного речення вирок) є повним рівнем PP при скороченні багатьох-один, а #SAT є # P-повним при парсимонічних скороченнях. Очевидно також, що # 3CNF (тобто #SAT обмежений формулами 3-CNF) є …
Дані сильні генератори для групи ( G ≤Sн, ∗ )(G≤Sn,∗)(G \leq S_n, *) діючи на шматочки довжини нnn і елемент s ∈ { 0 , 1}нs∈{0,1}ns \in \{0, 1\}^n, як важко обчислити лексикографічно мінімальний елемент G . сG.sG.s, орбіта sss в GGG?
У нас є проблема, і ми знайшли алгоритм, який, здається, є 2-неxptime. Я хотів би знайти відомі проблеми, що закінчуються 2-х непптимом, щоб знайти нижню межу. В літературі я знайшов переважно дві такі проблеми: чи PCP як розчин розміром менше22н22н2^{2^n} і проблема обробітку для квадрата розміром22н22н2^{2^n} Однак мені не вдалося …
Невідомо, чи міститься NEXP в P / poly. Дійсно, що доведення, що NEXP не знаходиться в P / poly, мало б застосування в дерандомізації. Який найменший рівномірний клас C, для якого можна довести, що C не міститься в P / poly? Чи показало б, що показник того, що co-NEXP не …