Géométrie et inférence dans l'optimisation et en théorie de l'information

作者: Thierry Mora

DOI:

关键词:

摘要: Les problemes d'optimisation et de satisfaction contraintes sur des ensembles variables discretes sont l'objet principal la complexite algorithmique. Ces ont recemment beneficie outils concepts physique systemes desordonnes, a fois theoriquement algorithmiquement. En particulier, il ete suggere que les difficultes pratiques soulevees par certaines instances dures liees structure fragmentee leur espace solutions, qui rappelle une phase vitreuse. Parallelement, codes correction d'erreur pointe, peuvent etre ramenes d'optimisation, reposent separabilite leurs messages afin d'assurer communication fiable. L'objet cette these est d'explorer, dans un cadre commun, relation entre proprietes d'inference l'organisation geometrique, issus algorithmique theorie l'information. Apres introduction lies aux domaines sus-evoques, methodes passage messages, basees l'approximation Bethe, introduites. utiles d'un point vue physique, car elle permettent d'etudier thermodynamiques d'ensemble d'instances aleatoires. Elles egalement pour l'inference. L'analyse spectres distances ensuite effectuee l'aide combinatoires mises profit prouver l'existence fragmentation contraintes, d'en etudier aspects importants.

参考文章(24)
Guilhem Semerjian, Rémi Monasson, A Study of Pure Random Walk on Random Satisfiability Problems with “Physical” Methods theory and applications of satisfiability testing. pp. 120- 134 ,(2003) , 10.1007/978-3-540-24605-3_10
Marc Mézard, Giorgio Parisi, Riccardo Zecchina, Analytic and Algorithmic Solution of Random Satisfiability Problems Science. ,vol. 297, pp. 812- 815 ,(2002) , 10.1126/SCIENCE.1073287
Ehud Friedgut, appendix by Jean Bourgain, Sharp thresholds of graph properties, and the -sat problem Journal of the American Mathematical Society. ,vol. 12, pp. 1017- 1054 ,(1999) , 10.1090/S0894-0347-99-00305-7
Rémi Monasson, Riccardo Zecchina, Scott Kirkpatrick, Bart Selman, Lidror Troyansky, Determining computational complexity from characteristic 'phase transitions.' Nature. ,vol. 400, pp. 133- 137 ,(1999) , 10.1038/22055
S. Kirkpatrick, B. Selman, Critical Behavior in the Satisfiability of Random Boolean Expressions Science. ,vol. 264, pp. 1297- 1301 ,(1994) , 10.1126/SCIENCE.264.5163.1297
A. Braunstein, R. Mulet, A. Pagnani, M. Weigt, R. Zecchina, Polynomial iterative algorithms for coloring and analyzing random graphs. Physical Review E. ,vol. 68, pp. 036702- 036702 ,(2003) , 10.1103/PHYSREVE.68.036702
Dimitris Achlioptas, Yuval Peres, The threshold for random k-SAT is 2k (ln 2 - O(k)) symposium on the theory of computing. pp. 223- 231 ,(2003) , 10.1145/780542.780577
Andrea Montanari, The glassy phase of Gallager codes European Physical Journal B. ,vol. 23, pp. 121- 136 ,(2001) , 10.1007/S100510170089
M. Mézard, G. Parisi, The Bethe lattice spin glass revisited European Physical Journal B. ,vol. 20, pp. 217- 233 ,(2001) , 10.1007/PL00011099