Problemas intermediários entre L e NL

É sabido que a conectividade st direcionada é completa. Resultado da descoberta de Reingold mostrou que não direcionado conectividade st está em . Sabe -se que a conectividade st direcionada planar está na . Cho e Huynh definiram um problema de mochila parametrizado e exibiram uma hierarquia de problemas entre e .L U L ∩ c o U $NL$$L$$UL \cap coUL$N $L$$NL$

Eu estou procurando mais problemas que são intermediários entre e N G ou seja, problemas que são:$L$$NL$

• Sabe-se que em mas não conhecida (ou pouco provável) ser N L -completo e$NL$$NL$
• conhecido por ser -Hard mas não é conhecida a estar em L .$L$$L$

O problema RL-completo de acessibilidade nos gráficos dirigidos com mistura de tempo polinomial (mostrado por Reingold, Trevisan, e Vadhan em Pseudorandom caminha sobre digrafos regulares e o problema RL vs G ) é no espaço (ver BPHSPACE ( S ) ⊆ DSPACE ( S 3 / 2 ) por Saks e Zhou ), que é estritamente entre L e Savitch do ligado em NL de o ( log 2 N ) espaço.$\log^{3/2}(n)$$\text{BPHSPACE}(S) \subseteq \text{DSPACE}(S^{3/2})$$O(\log^2 n)$

O problema completo de RUL de alcançabilidade em manguezais pode ser resolvido no espaço ( Allender, Lange , RUSPACE ( log n ) ⊆ DSPACE ( log 2 n / log log n ) ). Um mangue é um gráfico direcionado onde existe no máximo um caminho entre dois vértices.$O(\log^2 n / \log\log n)$$\text{RUSPACE}(\log n) \subseteq \text{DSPACE}(\log^2 n/\log\log n)$

Bipartido planar correspondência perfeita é conhecido por ser em (embora não em L L ∩ c o L L ). Como a Acessibilidade Planar se reduz a ela, é L- dura.$\mathsf{UL}$$\mathsf{UL} \cap \mathsf{coUL}$$\mathsf{L}$

Ref: Samir Datta, Raghav Kulkarni, Raghunath Tewari: A correspondência perfeita nos gráficos planares bipartidos está na UL. Colóquio Eletrônico sobre Complexidade Computacional (ECCC) 17: 201 (2010)