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

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

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

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

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

$O(\log^2 n / \log\log n)$$\text{RUSPACE}(\log n) \subseteq \text{DSPACE}(\log^2 n/\log\log n)$

$\mathsf{UL}$$\mathsf{UL} \cap \mathsf{coUL}$$\mathsf{L}$

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