La densidad de un lenguaje es una función d X : N → N definida como d X ( n ) = | { x ∈ X ∣ | x | ≤ n } | . Supongamos que A y B son lenguajes más de algún alfabeto finito, A muchos-uno logspace reduce a B , y B no está en L = DSPACE ( log n )
Si la densidad de no está polinómicamente relacionada con la densidad de B , ¿puede haber una reducción del espacio logarítmico de B a A ?
Antecedentes
Espero que la respuesta sea no, pero actualmente no puedo mostrar esto.
Claramente, si está en L , entonces no hay reducción logspace de B a A . Entonces, hay algunos ejemplos para los cuales es posible proporcionar una respuesta negativa definitiva.
Primero tuve en cuenta el caso en el que es un lenguaje difícil, y A se obtiene haciendo agujeros en B tomando A = B ∩ G , para un lenguaje de separación G que contiene todas las palabras de longitud n ∈ S G para algún conjunto S G ⊆ N (ver Schmidt 1985 y también Regan y Vollmer 1997 ). Esto garantiza una reducción insignificante de un a B . Los lenguajes de brecha G generalmente tienen brechas exponencialmente crecientes entre los intervalos de tamaños en . Esto asegura que las densidades de A y B no estén polinómicamente relacionadas. Sin embargo, no hay garantía de que los agujeros de soplado en un idioma siempre da lugar a un lenguaje que tiene muy poca estructura a ser el objetivo de una reducción de B . (El términosoplando agujeroses deDowney y Fortnow 2003). La diferencia en las densidades podría ser suficiente para garantizar esto, pero no veo de inmediato cómo.
Otro ejemplo es cuando es una mezcla de un lenguaje duro y A . Primero crea un lenguaje alegre A ∉ L por la intersección de algún lenguaje con un lenguaje brecha G . A continuación, sólo contienen los casos de tamaños que se encuentran en los intervalos de la gama de tamaños de S G determinación de la lengua brecha. Ahora cree B mezclando A con un lenguaje duro D en las lagunas, tomando la unión de A y la intersección de D con el complemento del G . Si Des bastante difícil en comparación con , tales como D siendo 2EXPSPACE -Hard mientras que C ∈ PSPACE ∖ L , a continuación, por la jerarquía espacio teorema no puede haber ninguna reducción logspace de D a A . Parece entonces posible extender esto para mostrar que no hay una reducción logspace de B a A .
Esto todavía deja la situación donde es más difícil que