Preguntas etiquetadas con bounds

29
Coeficientes de Fourier Funciones booleanas descritas por circuitos de profundidad acotada con compuertas AND OR y XOR

Sea fff una función booleana y pensemos en f como una función desde {−1,1}n{−1,1}n\{-1,1\}^n hasta . En este lenguaje, la expansión de Fourier de f es simplemente la expansión de f en términos de monomios libres cuadrados. (Estos monomios forman una base para el espacio de funciones reales en . La...

22
¿Cómo el enfoque geométrico de Mulmuley-Sohoni para producir límites inferiores evita producir pruebas naturales (en el sentido de Razborov-Rudich)?

La redacción exacta del título se debe a Anand Kulkarni (quien propuso que se creara este sitio). Esta pregunta se hizo como una pregunta de ejemplo, pero tengo una curiosidad increíble. Sé muy poco acerca de la geometría algebraica y, de hecho, solo tengo una comprensión superficial y de pregrado...