Pour ceux qui sont intéressés, on est dans le bureau de Paulin (A203). On n'est que 3 donc pour l'instant ce n'est pas la peine d'aller en B107. Damiano On 26/01/2017 15:25, Damiano Mazza wrote:
Bonjour,
Finalement avec Flavien on a décidé de nous lancer sans hésitations dans les circuits booléens, donc
*demain*, vendredi 27 janvier 2017, à 11h en B107,
on fera une petite séance de groupe de travail concernant la borne inf sur PARITY, un résultat classique de complexité, prouvé dans les années 80 indépendemment par Ajtai et Furst-Saxe-Sipser, qui était, avant le résultat de Williams de 2010, à peu près la seule séparation non-triviale de classe de circuits connue.
Le gdt ne sera pas long : on n'a pas grande chose à raconter, je connais l'idée de la preuve mais je ne comprends pas les détails techniques, c'est un peu pour ça que j'ai lancé l'idée de ce groupe de lecture/trvail.
À demain,
Damiano
_______________________________________________ Gdtlogprog mailing list Gdtlogprog@lipn.univ-paris13.fr https://www-lipn.univ-paris13.fr/mailman/listinfo/gdtlogprog