Antecedentes:
Considere el modelo habitual de dos partes de la complejidad de la comunicación donde Alice y Bob reciben cadenas de bits e y tienen que calcular alguna función booleana , donde .
Definimos las siguientes cantidades:
(la complejidad de comunicación determinista de ): el número mínimo de bits que Alice y Bob necesitan para comunicarse para calcular determinista.
(el número de partición de ): el logaritmo (base 2) del número más pequeño de rectángulos monocromáticos en una partición (o una cubierta disjunta) de .
Un rectángulo monocromático en es un subconjunto R × C tal que f toma el mismo valor (es decir, es monocromático) en todos los elementos de R × .
También tenga en cuenta que el número de partición es diferente del "número de partición de protocolo", que fue el tema de esta pregunta .
Vea el texto de Kushilevitz y Nisan para más información. En su notación, lo que he definido como es log 2 C D ( f .
Nota : Estas definiciones se generalizan fácilmente a funciones no booleanas , donde la salida de f es un conjunto más grande.
Resultados conocidos:
Se sabe que es un límite inferior en D ( f ) , es decir, para todos (booleanos o no booleanos) f , P n ( f ) ≤ D ( f ) . De hecho, la mayoría de las técnicas de límite inferior (¿o quizás todas?) Para D ( f ) en realidad es un límite inferior P n ( f . (¿Alguien puede confirmar que esto es cierto para todas las técnicas de límite inferior?)
También se sabe que este límite es a lo sumo cuadráticamente suelto (para funciones booleanas o no booleanas), es decir, . Para resumir, sabemos lo siguiente:
Se conjetura que . (Este es el problema abierto 2.10 en el texto por texto de Kushilevitz y Nisan.) Sin embargo, que yo sepa, la separación más conocida entre estos dos para las funciones booleanas es solo por un factor multiplicativo de 2, como se muestra en "El La conjetura de matriz lineal en la complejidad de la comunicación es falsa "por Eyal Kushilevitz, Nathan Linial y Rafail Ostrovsky.
Más precisamente, exhiben una familia infinita de funciones booleanas , tal que D ( f ) ≥ ( 2 - o ( 1 ) ) P n ( f ) .
Pregunta:
¿Cuál es la separación más conocida entre y D ( f ) para funciones no booleanas? ¿Sigue siendo la separación del factor 2 mencionada anteriormente?
Agregado en v2 : como no he recibido una respuesta en una semana, también estoy feliz de escuchar respuestas parciales, conjeturas, rumores, evidencia anecdótica, etc.