Запитання з тегом «space-bounded»

Це може бути скоріше суб'єктивне питання, а не конкретне, але все одно. У теорії складності ми вивчаємо поняття ефективних обчислень. Є такі класи, як - значення для полінома , а - простір журналу . Обидва вони вважаються представленими як своєрідна "ефективність", і вони досить добре сприймають труднощі деяких проблем.ЛPP\mathsf{P}LL\mathsf{L} Але …

49 cc.complexity-theory  space-bounded  big-picture 

Визначте LOGLOG як клас мов, який можна обчислити в просторі O (log n) детермінованою машиною Тьюрінга (з двостороннім доступом до вводу). Аналогічно визначте NLOGLOG як клас мов, який можна обчислити в просторі O (журнал журналу n) недетермінованою машиною Тьюрінга (з двостороннім доступом до вводу). Невже невідомо, що ці класи відрізняються? …

32 cc.complexity-theory  reference-request  space-bounded 

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

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

Перш за все, я заздалегідь вибачаюся за будь-яку дурість. Я аж ніяк не фахівець з теорії складності (далеко не це! Я студент, який бере свій перший клас з теорії складності) Ось моє запитання. Тепер теорема Савича стверджує, що Мені цікаво, якби ця нижня межа була щільною, тобто це щось уздовж …

28 cc.complexity-theory  space-bounded 

Добре відомо , що направлено й-зв'язність є -повна. Прорив результат Рейнгольд показав , що неорієнтовний ст-зв'язність в L . Планарная спрямовані ST-підключення , як відомо, в U L ∩ C O U L . Чо і Хюіньте визначили параметризрвані завдання про рюкзаку і виставлені ієрархія проблем між L і N …

26 cc.complexity-theory  space-bounded 

Зрозуміло, що будь-яка проблема, яка вирішується в детермінованому просторі журналів ( ), виконується не більше, ніж у поліном ( ). Існує безліч класів складності між і . Приклади включають , , , , , . Широко поширена думка , що .LLLPPPLLLPPPNLNLNLLogCFLLogCFLLogCFLNCiNCiNC^iSACiSACiSAC^iACiACiAC^iSCiSCiSC^iL≠PL≠PL \neq P В одному з моїх повідомлень в блозі …

24 cc.complexity-theory  lower-bounds  space-bounded 

Ширина дерева вимірює наближеність графіка до дерева. Обчислити ширину дерева NP важко. Найвідоміший алгоритм наближення досягає коефіцієнта .O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Теорема Курсерлла стверджує, що будь-яка властивість графіків, визначена в монадійній логіці другого порядку (MSO2), може визначатися в лінійному часі на будь-якому класі графіків обмеженої ширини дерева . Нещодавній документ показав, що теорема …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Виходячи з попереднього запитання , які найкращі нижні межі поточного простору для SAT? Під нижньою межею пробілу я маю на увазі кількість комірок робочої стрічки, використовуваних машиною Тьюрінга, яка використовує алфавіт двійкової робочої стрічки. Постійний термін добавки неминучий, оскільки ТМ може використовувати внутрішні стани для імітації будь-якої фіксованої кількості комірок …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

Цікаво, чи є обґрунтування вважати, що або вірити, що ?N L ≠ LNL=LNL=LNL=LNL≠LNL≠LNL\neq L Відомо, що . В літературі по derandomization з досить переконливо , що . Хтось знає про якісь статті чи ідеї, які переконують, що ? R L R L = L N L ≠ LNL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Розглянемо мову .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Відомо, що не може бути розпізнана жодною сублогіаритмічною простірною машиною, що чергує Тюрінга (ATM) (Szepietowski, 1994) . (Є банкомат, що використовує сулогіарифмічний простір для членів, але не для всіх не членів!)EQUALITYEQUALITY \mathtt{EQUALITY} З іншого боку, Фрейвальдс (1981) показав, …

21 space-bounded  polynomial-time 

Іммерман і Щелепценій незалежно довели, що . Використовуючи свою техніку індуктивного підрахунку, Бородін та ін довели, що закривається при доповненні для . До теореми Рейнгольда ( ) Нісан і Та-Шма довели , використовуючи рівномірні скорочення проекцій журнального простору. У 1996 році документ Альвареса і Грінлоу держава «докази з використанням методів …

20 cc.complexity-theory  space-bounded 

Взагалі, запит-стрічка для оракула зараховується до просторової складності TM. Однак видається правдоподібним дозволити оракул-стрічку лише для запису (наприклад, що використовується у скороченні простору L). Чи корисна така конструкція? Чи дає якісь особливо абсурдні результати?

20 cc.complexity-theory  space-bounded  oracles 

USTCONN - проблема, яка вимагає вирішити, чи існує шлях від вихідної вершини до цільової вершини в графі , де всі вони задані як частина вводу.ssstttGGG Омер Рейнгольд показав, що USTCONN знаходиться в L (doi: 10.1145 / 1391289.1391291 ). Доказ будує розширювач постійного ступеня за допомогою zig-zag виробу. Розширювач постійного ступеня …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

Існує безліч алгоритмів, які можуть розібрати без контексту граматику за час . Використовуючи матричне множення, можна навіть пройти асимптотично швидше.О ( н.)3)О(н3)O(n^3) Однак усі алгоритми для розбору довільних CFG, які я знаю, мають найгірший простір у використанні простору (хоча, правда, я не маю поняття, що таке використання простору цього алгоритму …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Нещодавно Watrous та ін довели, що QIP (3) = PSPACE - чудовий результат. Це було для мене найменше дивовижним результатом, і це змусило мене думати ... Мені було цікаво, що робити, якщо квантові комп’ютери можуть бути ефективно змодельовані класичними комп'ютерами. Чи може це бути ПРОСТО пов’язано з розділенням між IP …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs