Промежуточные проблемы между L и NL

Хорошо известно, что направленная st-связность является полной. Прорыв результат Рейнгольд показал , что неориентированный ст-связность в . Известно, что направленная st-связность находится в . Cho и Huynh определили параметризованную задачу о ранце и продемонстрировали иерархию проблем между и .$NL$$L$$UL \cap coUL$$L$$NL$

Я ищу больше проблем, которые являются промежуточными между и т.е. проблемы, которые:$L$$NL$

• известно, что оно находится в но не известно (или маловероятно), что оно является полным и$NL$$NL$
• Известно, что -Жесткий , но не известно, что в .$L$$L$

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

Полную с помощью RUL проблему достижимости в мангровых лесах можно решить в пространстве ( Allender, Lange , ). Мангровая роща - это ориентированный граф, где между любыми двумя вершинами существует не более одного пути.$O(\log^2 n / \log\log n)$$\text{RUSPACE}(\log n) \subseteq \text{DSPACE}(\log^2 n/\log\log n)$

Известно, что идеальное совпадение находится в (но не в ). Поскольку планарная достижимость сводится к этому, он является -hard.U L ∩ c o U L $\mathsf{UL}$$\mathsf{UL} \cap \mathsf{coUL}$$\mathsf{L}$

Ссылка: Самир Датта, Рагхав Кулкарни, Рагхунат Тевари: Идеальное соответствие в двудольных плоских графах в UL. Электронный коллоквиум по вычислительной сложности (ECCC) 17: 201 (2010)