Запитання з тегом «logspace»

ST-Зв'язок - це проблема визначення, чи існує спрямований шлях між двома розрізненими вершинами і у спрямованому графі . Чи можна цю проблему вирішити в просторі журналів, - це давня відкрита проблема. Це називається проблемою протиссsттtГ ( V, Е)Г(V,Е)G(V,E)NLNLNLLLL Яка складність ST-з'єднання, коли основний непрямий графік обмежив ширину ширини.ГГG Чи відомо, …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Шива Кінталі щойно оголосив (класний!) Результат, що ізоморфізм графіків для обмежених графіків ширини ширини є твердий≥4≥4\geq 4⊕L⊕L\oplus L . Неофіційно моє запитання: "Наскільки це важко?" Ми знаємо, що нерівномірно див. Відповіді на це питання . Ми також знаємо, що навряд чи , дивіться відповіді на це питання . Як дивно, …

26 cc.complexity-theory  complexity-classes  logspace 

Якщо L=NLL=NL\mathsf{L = NL} , то існує алгоритм журналу простору, який вирішує версію рішення 2-SAT. Чи відомо, що L=NLL=NL\mathsf{L = NL} означає, що існує алгоритм простору журналу для отримання задовольняючого завдання , коли в якості вхідного даних задається задоволений екземпляр 2-SAT? Якщо ні, то що з алгоритмами, які використовують підлінійний …

15 sat  search-problem  logspace 

Що станеться, якщо ми визначимо P P A DPPAD{\bf PPAD} таким чином, що замість багаточасної схеми Тюрінга-машини / полісистеми проблема логотипу Turing-машини або ланцюга A C 0AC0{\bf AC^0} кодує проблему? В останній час дає більш швидкі алгоритми для ланцюга здійсненності для невеликих ланцюгів виявилися важливими, так цікаво , що відбувається …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

1-тьмяний алгоритм Вейсфейлер-Леман (WL) широко відомий як канонічна маркування або алгоритм , кольору уточнення. Він працює наступним чином: Початкове забарвлення є рівномірним, C 0 ( v ) = 1 для всіх вершин v ∈ V ( G ) ∪ V ( H ) .С0С0C_0С0( v ) = 1С0(v)=1C_0(v) = 1v …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

Мова є якщо існує машина журналу простору Тьюрінга, яка визначає мову з поліноміальною кількістю порад.L/polyL/polyL/poly Дивіться тут для отримання додаткової інформації: https://en.wikipedia.org/wiki/L/poly Питання Які наслідки ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Питання. У своїй роботі « Покращене моделювання ланцюгів стабілізатора» Ааронсон та Готтсман стверджують, що моделювання ланцюга CNOT є ⊕L-незавершеним (при скороченні простору журналу). Зрозуміло, що він міститься в ⊕L ; як тримається результат твердості? Еквівалентно: чи існує скорочення простору журналу від ітераційних матричних продуктів за модулем 2, до ітераційних добутків …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

Доказ Омер Рейнгольда , що дає алгоритм USTCON (В U ndirected граф зі спеціальними вершинами і , вони Con під'єднані?) , Використовуючи тільки logspace. Основна ідея полягає в тому, щоб побудувати графік розширювача з початкового графіка, а потім виконати прогулянку в графіку розширення. Графік розширювачів складається шляхом логарифмічного вирівнювання оригінального …

13 graph-algorithms  nondeterminism  expanders  logspace 

Сторінка вікіпедії на PSPACE зазначає, що включення як відомо, не є суворим (на жаль, без посилань).NL⊂PHNL⊂PHNL\subset PH Q1: Що з та - чи відомо, що вони суворі?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} Q2: Якщо ні, чи існує встановлений клас який містить і для якого невідомо, чи включення суворе?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C Q3: Чи обговорюються такі …

12 cc.complexity-theory  complexity-classes  logspace 

Теорема Махейні говорить нам , що якщо є розріджена -повне безліч під поліноміальний час багато-одне скорочення, то P = N P . (Див. " Рідкісні комплекти для NP: рішення гіпотези Бермана та Хартманіса ")NПNПNPП= NПП=NПP = NP Чи відомі наслідки існування рідкісних комплектів для інших класів складності? Зокрема, якщо в …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace