Problemas intermedios entre L y NL

Es bien sabido que la conectividad st dirigida es -completa. Consecuencia del avance Reingold mostró que no dirigido st-conectividad está en L . Planar dirigida st-conectividad es conocido por ser en U L ∩ c o U L . Cho y Huynh definen un problema de la mochila parametrizada y exhibieron una jerarquía de problemas entre L y N L .$NL$$L$$UL \cap coUL$$L$$NL$

Estoy buscando más problemas intermedios entre y N L , es decir, problemas que son:$L$$NL$

• se sabe que está en pero no se sabe (o es poco probable) que sea N L -completo y$NL$$NL$
• conocido por ser -Hard pero no sabe que en L .$L$$L$

El problema-RL completa de alcanzabilidad en grafos dirigidos con mezcla de tiempo polinómico (mostrado por Reingold, Trevisan, y Vadhan en Pseudorandom camina sobre dígrafos regulares y el problema RL vs. L ) está en el espacio (ver BPHSPACE ( S ) ⊆ DSPACE ( S 3 / 2 ) por Saks y Zhou ), que es estrictamente entre L y Savitch de atado en NL de O ( log 2 n ) el espacio.$\log^{3/2}(n)$$\text{BPHSPACE}(S) \subseteq \text{DSPACE}(S^{3/2})$$O(\log^2 n)$

El problema completo de RUL de accesibilidad en manglares se puede decidir en el espacio ( Allender, Lange , RUSPACE ( log n ) ⊆ DSPACE ( log 2 n / log log n ) ). Un manglar es un gráfico dirigido donde hay como máximo un camino entre dos vértices.$O(\log^2 n / \log\log n)$$\text{RUSPACE}(\log n) \subseteq \text{DSPACE}(\log^2 n/\log\log n)$

Se sabe que la coincidencia perfecta plana bipartita está en (aunque no en U L ∩ c o U L ). Dado que la accesibilidad planar se reduce a esto, es L- duro.$\mathsf{UL}$$\mathsf{UL} \cap \mathsf{coUL}$$\mathsf{L}$

Ref: Samir Datta, Raghav Kulkarni, Raghunath Tewari: La coincidencia perfecta en gráficos planos bipartitos está en UL. Coloquio electrónico sobre la complejidad computacional (ECCC) 17: 201 (2010)