Phase Transitions and Critical Phenomena in NP-complete Problems
Phase Transitions and Critical Phenomena in NP-complete Problems
批准号:
0200909
负责人:
Cristopher Moore
金额:
$16.6万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-08-15 至 2006-07-31
中文摘要
0200909摩尔许多搜索和优化问题,发生在真实的世界constitof“约束满足”的任务,我们希望同时满足许多需求。 这些问题发生在调度、制造、编译器和许多其他环境中。这些问题中的许多是“NP完全”的,这意味着它们可能无法用少于指数级的计算工作量来解决。 然而,这种计算复杂性的定义关注的是最坏的情况,而不是我们在真实的世界中可能发现的典型情况。作为最坏情况和真实世界问题之间的数学桥梁,我们将考虑NP完全问题的随机或平均情况。 许多人已经观察到,当约束密度超过临界阈值时,这些问题经历了从可解到不可解的相变。物理学的方法已经帮助我们理解了这种转变。 我们将证明严格的上限和下限的值,这个阈值,分析性能的统计学,试图解决这些问题迅速,并研究在这方面的统计物理学的“欺骗伎俩”的有效性。
英文摘要
0200909 MooreMany search and optimization problems that occur in the real world consistof "constraint satisfaction" tasks where we wish to simultaneously satisfymany demands. These problems occur in scheduling, manufacturing,compilers, and many other contexts. Many of these problems are"NP-complete," meaning that they can probably not be solved with less thanan exponential amount of computational effort. However, this definitionof computational complexity focuses on the worst case, not on the typicalcases we might find in the real world.As a mathematical bridge between the worst case and real-world problems,we will consider random, or average, cases of NP-complete problems. Manypeople have observed that when the density of constraints passes acritical threshold, these problems undergo a phase transition fromsolvability to unsolvability. Approaches from physics have already helpedus understand this transition. We will prove rigorous upper and lowerbounds on the value of this threshold, analyze the performance ofheuristics that attempt to solve these problems quickly, and research theeffectiveness of the "Replica Trick" of statistical physics in this area.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
BIGDATA: F: Collaborative Research: Mining for Patterns in Graphs and High-Dimensional Data: Achieving the Limits
-
批准号:1838251
-
项目类别:Standard Grant
-
资助金额:$73.76万
-
财政年份:2018
-
负责人:Cristopher Moore
-
依托单位:
REU Site: Computational and Mathematical Modeling of Complex Systems
-
批准号:1757923
-
项目类别:Standard Grant
-
资助金额:$32.38万
-
财政年份:2018
-
负责人:Cristopher Moore
-
依托单位:
Convergence QL: Ideas Lab Workshop: Practical Fully-Connected Quantum Computer Challenge (PFCQC), Santa Fe Institute, August 28 - September 1, 2017
-
批准号:1744320
-
项目类别:Standard Grant
-
资助金额:$9.88万
-
财政年份:2017
-
负责人:Cristopher Moore
-
依托单位:
REU Site: Computational and Mathematical Modeling of Complex Systems
-
批准号:1358567
-
项目类别:Standard Grant
-
资助金额:$34.7万
-
财政年份:2014
-
负责人:Cristopher Moore
-
依托单位:
AF: Small: Collaborative Research: Representation-theoretic techniques for pseudorandomness and lower bounds
-
批准号:1247081
-
项目类别:Standard Grant
-
资助金额:$21.77万
-
财政年份:2012
-
负责人:Cristopher Moore
-
依托单位:
AF: Small: Collaborative Research: The Physics of Markov Chains: Closing the Gap Between Theory and Practice
-
批准号:1219117
-
项目类别:Standard Grant
-
资助金额:$8.8万
-
财政年份:2012
-
负责人:Cristopher Moore
-
依托单位:
AF: Small: Collaborative Research: Representation-theoretic techniques for pseudorandomness and lower bounds
-
批准号:1117426
-
项目类别:Standard Grant
-
资助金额:$24.1万
-
财政年份:2011
-
负责人:Cristopher Moore
-
依托单位:
Collaborative Research: EMT/QIS: Quantum Algorithms and Post-Quantum Cryptography
-
批准号:0829931
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:2008
-
负责人:Cristopher Moore
-
依托单位:
QnTM: Collaborative Research: The Quantum Complexity of Algebraic Problems
-
批准号:0524613
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Cristopher Moore
-
依托单位:
Collaborative Research: Dynamics of Boolean Networks and Gene Expression
-
批准号:0417660
-
项目类别:Continuing Grant
-
资助金额:$18.0万
-
财政年份:2004
-
负责人:Cristopher Moore
-
依托单位:
Collaborative Research: Quantum Monte Carlo Algorithms and Quantum Circuit Complexity
-
批准号:0218563
-
项目类别:Standard Grant
-
资助金额:$17.5万
-
财政年份:2002
-
负责人:Cristopher Moore
-
依托单位:
ITR Collaborative Research: Complexity-Theoretic Applications of Fourier Analysis
-
批准号:0220070
-
项目类别:Standard Grant
-
资助金额:$19.5万
-
财政年份:2002
-
负责人:Cristopher Moore
-
依托单位:
Computational Complexity in Statistical and Quantum Physics
-
批准号:0071139
-
项目类别:Continuing Grant
-
资助金额:$8.0万
-
财政年份:2000
-
负责人:Cristopher Moore
-
依托单位:
海外基金