Projet tutoré avec Mr Gilles Zémor
Dans la théorie des codes correcteurs d’erreurs, les codes dits « Low Density Parity Check » (LDPC) occupent une place très importante. Ces codes sont définis par des équations de petit poids, que l’on peut donc regrouper dans une matrice de parité creuse, d’où leur nom. Ils ont été proposés dans les années 1960, et ont donné lieu à des développements extrêmement variés à partir des années 1990. Des variantes des codes LDPC trouvent également des applications en cryptographie. Il s’agira de comprendre comment fabriquer des instances de tels codes, ainsi que leur décodage, qui dans sa variante la plus simple consiste en une décision majoritaire sur le nombre d’équations non satisfaites par un mot de code erroné. On pratiquera un certain nombre d’expérimentations sur des exemples.