Esta pregunta puede hacerse en el marco de la complejidad del circuito de los circuitos booleanos, o en el marco de la teoría de la complejidad algebraica, o probablemente en muchos otros entornos. Es fácil mostrar, contando argumentos, que existen funciones booleanas en N entradas que requieren exponencialmente muchas puertas (aunque, por supuesto, no tenemos ningún ejemplo explícito). Supongamos que deseo evaluar la misma función M veces, para algún número entero M, en M conjuntos distintos de entradas, de modo que el número total de entradas sea MN. Es decir, sólo queremos evaluar para la misma funciónfen cada momento.
La pregunta es: ¿se sabe que existe una secuencia de funciones (una función para cada N) de modo que, para cualquier N, para cualquier M, el número total de puertas requerido es al menos igual a M veces una función exponencial de ¿NORTE? El argumento de conteo simple no parece funcionar ya que queremos que este resultado se mantenga para todos los M. Uno puede encontrar análogos simples de esta pregunta en la teoría de la complejidad algebraica y otras áreas.