Savický y Woods (El número de funciones booleanas calculadas por fórmulas de un tamaño dado) demuestran el siguiente resultado.
Teorema [SW98]: Para cada constante , casi todas las funciones booleanas con complejidad de fórmula como máximo n k tienen complejidad de circuito al menos n k / k .
La prueba consiste en derivar un límite inferior en , el número de funciones booleanas en n entradas calculadas por fórmulas de tamaño n k . Al comparar B ( n , n k ) con el número de circuitos de tamaño C = n k / k , que es a lo sumo C C e C + 4 n , puede darse cuenta de que para n grande , C C e C + 4, y el resultado sigue.
Me parece que el resultado podría fortalecerse al observar que el número de circuitos no deterministas de tamaño con m entradas no deterministas no es mucho mayor que el número de circuitos deterministas de tamaño n k (para m no demasiado grande, digamos m = n ) Por lo tanto, creo que el siguiente corolario es válido:
Corolario: por cada constante , casi todas las funciones booleanas con complejidad de fórmula como máximo n k tienen una complejidad de circuito no determinista al menos n k / k (para circuitos no deterministas con n entradas no deterministas).
Preguntas:
(1) ¿Hay implicaciones / consecuencias interesantes del corolario anterior?
(2) ¿Hay otros resultados en la misma dirección? Por ejemplo, ¿qué se sabe sobre la siguiente proposición? Para problemas en P, el cambio de TM a NTM no puede, en promedio, disminuir la complejidad en más de un factor constante.
(Gil Kalai también tiene una pregunta algo relacionada con esta).
fuente