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
关键词
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 条
  • [41] REMARKS ON A NON-STATISTICAL APPROACH TO F PHASE PROBLEM
    LOEFGREN, T
    [J]. ACTA CRYSTALLOGRAPHICA, 1961, 14 (04): : 434 - &
  • [42] Trajectories in phase diagrams, growth processes, and computational complexity: How search algorithms solve the 3-satisfiability problem
    Cocco, S
    Monasson, R
    [J]. PHYSICAL REVIEW LETTERS, 2001, 86 (08) : 1654 - 1657
  • [43] A RANDOM APPROACH TO THE PHASE PROBLEM, A WEIGHTED XMY-FUNCTION
    DEBAERDEMAEKER, T
    [J]. ZEITSCHRIFT FUR KRISTALLOGRAPHIE, 1993, 206 : 173 - 182
  • [44] Computer simulation of diffusion processes in microelectronics. Approach to the solution of statistical problem
    Nelayev, VV
    Kazitov, MV
    Vatlin, SI
    Voronkovskaya, AM
    Semenkova, AM
    [J]. INTERNATIONAL WORKSHOP ON NONDESTRUCTIVE TESTING AND COMPUTER SIMULATIONS IN SCIENCE AND ENGINEERING, 1999, 3687 : 342 - 346
  • [45] An approach to the problem of phase transitions in the continuum -: art. no. 053304
    Mesón, A
    Vericat, F
    [J]. JOURNAL OF MATHEMATICAL PHYSICS, 2005, 46 (05)
  • [46] COMPLEXITY AND TRACTABILITY - STATISTICAL-MECHANICS OF HELIX-COIL TRANSITIONS IN CIRCULAR DNA AS A MODEL-PROBLEM
    YERAMIAN, E
    [J]. EUROPHYSICS LETTERS, 1994, 25 (01): : 49 - 55
  • [47] THE PROBLEM OF TIME IN PHYSICS: AN EXISTENTIAL APPROACH TO SCIENCE FROM HEIDEGGER'S POINT OF VIEW
    Johnson, Felipe
    [J]. ARBOR-CIENCIA PENSAMIENTO Y CULTURA, 2016, 192 (777)
  • [48] A multi-block-spin approach for martensitic phase transformation based on statistical physics
    Fischlschweiger, M.
    Oberaigner, E. R.
    Antretter, T.
    Cailletaud, G.
    [J]. BEHAVIOR AND MECHANICS OF MULTIFUNCTIONAL MATERIALS AND COMPOSITES 2011, 2011, 7978
  • [49] Spin-glass phase transitions and minimum energy of the random feedback vertex set problem
    Qin, Shao-Meng
    Zeng, Ying
    Zhou, Hai-Jun
    [J]. PHYSICAL REVIEW E, 2016, 94 (02)
  • [50] Typical kernel size and number of sparse random matrices over Galois fields: A statistical physics approach
    Alamino, R. C.
    Saad, D.
    [J]. PHYSICAL REVIEW E, 2008, 77 (06):