Phase transitions and complexity in computer science: an overview of the statistical physics approach to the random satisfiability problem

被引：20
|
作者：
Biroli, G
Cocco, S
Monasson, R
机构：
[1] ENS, CNRS, Phys Theor Lab, F-75005 Paris, France
[2] Rutgers State Univ, Dept Phys & Astron, Ctr Mat Theory, Piscataway, NJ 08854 USA
[3] Univ Illinois, Dept Phys, Chicago, IL 60607 USA
[4] Univ Chicago, James Franck Inst, Chicago, IL 60637 USA
来源：
PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS | 2002年 / 306卷 / 1-4期
关键词：
statistical physics; phase transitions; optimization; satisfiability; analysis of algorithm;
D O I：
10.1016/S0378-4371(02)00516-2
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
Phase transitions, ubiquitous in condensed matter physics, are encountered in computer science too. The existence of critical phenomena has deep consequences on computational complexity, that is the resolution times of various optimization or decision problems, Concepts and methods borrowed from the statistical physics of disordered and out-of-equilibrium systems shed new light on the dynamical operation of solving algorithms. (C) 2002 Published by Elsevier Science B.V.
引用
收藏
页码：381 / 394
页数：14
相关论文
共 50 条
  • [1] Phase transitions of the typical algorithmic complexity of the random satisfiability problem studied with linear programming
    Schawe, Hendrik
    Bleim, Roman
    Hartmann, Alexander K.
    [J]. PLOS ONE, 2019, 14 (04):
  • [2] Statistical physics analysis of the computational complexity of solving random satisfiability problems using backtrack algorithms
    S. Cocco
    R. Monasson
    [J]. The European Physical Journal B - Condensed Matter and Complex Systems, 2001, 22 : 505 - 531
  • [3] Statistical physics analysis of the computational complexity of solving random satisfiability problems using backtrack algorithms
    Cocco, S
    Monasson, R
    [J]. EUROPEAN PHYSICAL JOURNAL B, 2001, 22 (04): : 505 - 531
  • [4] On the Probabilistic approach to the random satisfiability problem
    Parisi, G
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 : 203 - 213
  • [5] Social balance as a satisfiability problem of computer science
    Radicchi, Filippo
    Vilone, Daniele
    Yoon, Sooeyon
    Meyer-Ortmanns, Hildegard
    [J]. PHYSICAL REVIEW E, 2007, 75 (02):
  • [6] Elementary excitations, random fields, and phase transitions in classical statistical physics
    Zakharov, A.Yu.
    Zakharova, A.V.
    [J]. Poverkhnost Rentgenovskie Sinkhronnye i Nejtronnye Issledovaniya, 2005, (06): : 95 - 99
  • [7] Phase transition in a random fragmentation problem with applications to computer science
    Dean, DS
    Majumdar, SN
    [J]. JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2002, 35 (32): : L501 - L507
  • [8] Phase Transitions for the Cavity Approach to the Clique Problem on Random Graphs
    Gaudilliere, Alexandre
    Scoppola, Benedetto
    Scoppola, Elisabetta
    Viale, Massimiliano
    [J]. JOURNAL OF STATISTICAL PHYSICS, 2011, 145 (05) : 1127 - 1155
  • [9] Phase Transitions for the Cavity Approach to the Clique Problem on Random Graphs
    Alexandre Gaudillière
    Benedetto Scoppola
    Elisabetta Scoppola
    Massimiliano Viale
    [J]. Journal of Statistical Physics, 2011, 145 : 1127 - 1155
  • [10] EQUIVALENCE OF GIBBS ENSEMBLES AND THE PROBLEM OF PHASE-TRANSITIONS IN CLASSICAL STATISTICAL PHYSICS
    GLUKHIKH, NV
    NAZIN, GI
    [J]. THEORETICAL AND MATHEMATICAL PHYSICS, 1979, 38 (03) : 276 - 278
12345