Questions marquées «lower-bounds»

questions sur les limites inférieures des fonctions, généralement la complexité d'un algorithme ou un problème

29
Fonctions booléennes de coefficients de Fourier décrites par des circuits de profondeur bornés avec des portes ET OU et XOR

Soit une fonction booléenne et considérons f comme une fonction de à . Dans ce langage, l'expansion de Fourier de f est simplement l'expansion de f en termes de monômes libres carrés. (Ces monômes forment une base pour l'espace des fonctions réelles sur . La somme des carrés des coefficients est...

22
Comment l'approche géométrique de Mulmuley-Sohoni pour produire des bornes inférieures évite-t-elle de produire des preuves naturelles (au sens de Razborov-Rudich)?

La formulation exacte du titre est due à Anand Kulkarni (qui a proposé la création de ce site). Cette question a été posée à titre d'exemple, mais je suis incroyablement curieux. Je connais très peu de choses sur la géométrie algébrique, et en fait, je n'ai aussi qu'une compréhension superficielle...