Bornes inférieures superpolynomiales pour les circuits de profondeur constante


Sébastien Tavenas, LAMA (USMB). 2 juin 2022 16:00 geo 2:00:00
Abstract:

Tout polynôme multivarié P(X_1,...,X_n) peut être écrit comme une somme de monômes, i.e., une somme de produits de variables et de constantes du corps. La taille naturelle d'une telle expression est le nombre de monômes. Mais, que se passe-t-il si on rajoute un nouveau niveau de complexité en considérant les expressions de la forme : somme de produits de sommes (de variables et de constantes) ? Maintenant, il devient moins clair comment montrer qu'un polynôme donné n'a pas de petite expression. Dans cet exposé nous verrons que ce problème est lié à des conjectures célèbres de complexité algorithmique (comme P <> NP) et nous montrerons ensuite comment le résoudre. Plus précisément, nous pouvons montrer que certains polynômes explicites n'ont pas de représentations ``somme de produits de sommes'' (SPS) de taille polynomiale. Nous pouvons aussi obtenir des résultats similaires pour les SPSP, SPSPS, etc... pour toutes les expressions de profondeur constante.