Optimization and physics:: On the satisfiability of random Boolean formulae

被引：0
|
作者：
Mézard, M [1 ]
机构：
[1] Univ Paris 11, LPTMS, Orsay, France
来源：
ANNALES HENRI POINCARE | 2003年 / 4卷 / Suppl 1期
关键词：
D O I：
10.1007/s00023-003-0937-7
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
Given a set of Boolean variables, and some constraints between them, is it possible to find a configuration of the variables which satisfies all constraints? This problem, which is at the heart of combinatorial optimization and computational complexity theory, is used as a guide to show the convergence between these fields and the statistical physics of disordered systems. New results on satisfiability, both on the theoretical and practical side, can be obtained thanks to the use of physics concepts and methods.
引用
收藏
页码：S475 / S488
页数：14
相关论文
共 50 条
  • [1] Optimization and Physics: On the Satisfiability of Random Boolean Formulae
    Marc Mézard
    Annales Henri Poincaré, 2003, 4 : 475 - 488
  • [2] A satisfiability procedure for quantified Boolean formulae
    Plaisted, DA
    Biere, A
    Zhu, YS
    DISCRETE APPLIED MATHEMATICS, 2003, 130 (02) : 291 - 328
  • [3] Noisy random Boolean formulae: A statistical physics perspective
    Mozeika, Alexander
    Saad, David
    Raymond, Jack
    PHYSICAL REVIEW E, 2010, 82 (04):
  • [4] On the robustness of random Boolean formulae
    Mozeika, Alexander
    Saad, David
    Raymond, Jack
    INTERNATIONAL WORKSHOP ON STATISTICAL-MECHANICAL INFORMATICS 2010 (IW-SMI 2010), 2010, 233
  • [5] Autotuning a Random Walk Boolean Satisfiability Solver
    Cui, Tao
    Franchetti, Franz
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE (ICCS), 2011, 4 : 2176 - 2185
  • [6] Satisfiability-based algorithms for Boolean optimization
    Manquinho, VM
    Marques-Silva, J
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 40 (3-4) : 353 - 372
  • [7] Satisfiability-Based Algorithms for Boolean Optimization
    Vasco M. Manquinho
    João P. Marques-Silva
    Annals of Mathematics and Artificial Intelligence, 2004, 40 : 353 - 372
  • [8] What is the satisfiability threshold of random balanced Boolean expressions?
    Lindenstrauss, Naomi
    Talagrand, Michel
    RANDOM STRUCTURES & ALGORITHMS, 2022, 61 (03) : 599 - 615
  • [9] CRITICAL-BEHAVIOR IN THE SATISFIABILITY OF RANDOM BOOLEAN EXPRESSIONS
    KIRKPATRICK, S
    SELMAN, B
    SCIENCE, 1994, 264 (5163) : 1297 - 1301
  • [10] Algebraic characteristics and satisfiability threshold of random Boolean equations
    Guo, Binghui
    Wei, Wei
    Sun, Yifan
    Zheng, Zhiming
    PHYSICAL REVIEW E, 2010, 81 (03):
12345