Проміжні проблеми між L та NL


26

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

Я шукаю більше проблем, які є проміжними між і N L, тобто, такі проблеми:LNL

  • як відомо, що знаходиться в але невідомо (або малоймовірно) бути N L -комплектним іNLNL
  • Відомо, що -Жорсткий , але не відомо, що в L .LL

Відповіді:


13

RL-повна проблема досяжності в орієнтованих графах з поліноміальних змішувальним часом (показано Рейнгольдом, Trevisan і Vadhan в псевдовипадкових прогулянках по регулярним орграфів і проблеми RL проти L ) в простір (див BPHSPACE ( S ) DSPACE ( S 3 / 2 ) від Сакс і Zhou ), який є строго між L і Савич Кордон на NL з O ( увійти 2 н ) простір.log3/2(n)BPHSPACE(S)DSPACE(S3/2)O(log2n)


10

O(log2n/loglogn)RUSPACE(logn)DSPACE(log2n/loglogn)


1
Дивіться також: Ланге, "Однозначний клас, що володіє повним набором" STACS '97.
Деррік Столі

6

ULULcoULL

Реферат: Самір Датта, Рагхав Кулкарні, Рагхунат Тьюарі: Ідеальне відповідність двоканальних площинних графіків є в UL. Електронний колоквіум з обчислювальної складності (ECCC) 17: 201 (2010)


Напевно, я повинен бути трохи збентежений щодо несвіжої відповіді - але лише заради повноти.
СаміД
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.