¿Reducciones entre idiomas de diferentes densidades?


12

La densidad de un lenguaje es una función d X : NN 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 )XdX:NN

dX(n)=|{xX|x|n}|.
ABABBL=DSPACE(logn). Funciones se polinomialmente relacionadas si hay polinomios p y q tal que para todo n N , f ( n ) p ( g ( n ) ) y g ( n ) q ( f ( n ) ) .f,g:NNpqnNf(n)p(g(n))g(n)q(f(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 ?ABBA


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.ALBA

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 GN (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 enBABA=BGGnSGSGNABG . 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.SGABB

Otro ejemplo es cuando es una mezcla de un lenguaje duro y A . Primero crea un lenguaje alegre A LBAAL 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 DCLGASGBADADGDes bastante difícil en comparación con , tales como D siendo 2EXPSPACE -Hard mientras que C PSPACEL , 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 .CD2EXPSPACECPSPACELDABA

Esto todavía deja la situación donde es más difícil queDCDCDCLNPNPPSPACE


44
A2o(n)Bn1

2
Creo que el comentario de daniello responde a la pregunta. En general, las reducciones de muchos le dicen muy poco sobre la densidad, incluso si tiene reducciones de muchos en ambas direcciones. 1-1 reducciones y 1-1 reducciones en ambas direcciones (o incluso p-isomorfismos más fuertes) dan relaciones entre la densidad (a saber, la conjetura del isomorfismo de Berman-Hartmanis que motiva el teorema de Mahaney; de hecho, creo que el isomorfismo de BH puede haber sido el motivación principal para mirar la densidad en absoluto en primer lugar ...)
Joshua Grochow

Respuestas:


8

A LA2o(n)

B={s1|s{0,1}}{s0|sA}.
BΩ(2n)2o(n)ABAB0BA10BL

BLAA

@ András Salamon, gracias por señalarlo, editó la respuesta para capturar el comentario.
daniello
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.