- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
基本説明
Intended to be a standard reference to statistical physics methods in computer science theory, particularly in relation to the study of phase transitions in combinatorial problems.
Full Description
Computer science and physics have been closely linked since the birth of modern computing. In recent years, an interdisciplinary area has blossomed at the junction of these fields, connecting insights from statistical physics with basic computational challenges. Researchers have successfully applied techniques from the study of phase transitions to analyze NP-complete problems such as satisfiability and graph coloring. This is leading to a new understanding of the structure of these problems, and of how algorithms perform on them. Computational Complexity and Statistical Physics will serve as a standard reference and pedagogical aid to statistical physics methods in computer science, with a particular focus on phase transitions in combinatorial problems. Addressed to a broad range of readers, the book includes substantial background material along with current research by leading computer scientists, mathematicians, and physicists. It will prepare students and researchers from all of these fields to contribute to this exciting area.
Contents
Allon G. Percus, Gabriel Istrate, and Cristopher Moore: Preface
Part 1: Fundamentals
1: Allon G. Percus, Gabriel Istrate, and: Introduction: Where Statistical Physics Meets Computation
Cristopher Moore
2: Gil Kalai and Shmuel Safra: Threshold Phenomena and Influence: Perspectives from Mathematics, Computer Science, and Economics
Part 2: Statistical Physics and Algorithms
3: Simona Cocco, Remi Monasson, Andrea Montanari, and Guilhem Semerjian: Analyzing Search Algorithms with Physical Methods
4: Alfredo Braunstein, Marc Mezard, Martin Weigt, and Riccardo Zecchina: Constraint Satisfaction by Survey Propagation
5: Stephan Mertens: The Easiest Hard Problem: Number Partitioning
6: Sigismund Kobe and Jarek Krawczyk: Ground States, Energy Landscape and Low-Temperature Dynamics of plus/minus Spin Glasses
Part 3: Identifying the Threshold
7: Lefteris M. Kirousis, Yannis C. Stamatiou, and Michele Zito: The Satisfiability Threshold Conjecture: Techniques Behind Upper Bound Improvements
8: Alexis C. Kaporis, Lefteris M. Kirousis, and Yannis C. Stamatiou: Proving Conditional Randomness Using the Principle of Deferred Decisions
9: Demetrios D. Demopoulos, and Moshe Y. Vardi: The Phase Transition in the Random HornSAT Problem
Part 4: Extensions and Applications
10: Tad Hogg: Phase Transitions for Quantum Search Algorithms
11: Zoltan Toroczkai, Gyorgy Korniss, Mark A. Novotny, and Hasan Guclu: Scalability, Random Surfaces and Synchronized Computing Networks
12: Christian M. Reidys: Combinatorics of Genotype-Phenotype Maps: An RNA Case Study
13: Harry B. Hunt, III, Madhav V. Marathe, Daniel J. Rosenkrantz, and Richard E. Stearns: Towards a Predictive Computational Complexity Theory for Periodically Specified Problems: A Survey
Bibliography
Index
