ITP OpenIR

Browse/Search Results:  1-7 of 7 Help

Selected(0)Clear Items/Page:    Sort:
Witness of unsatisfiability for a random 3-satisfiability formula 期刊论文
PHYSICAL REVIEW E, 2013, 卷号: 87, 期号: 5, 页码: 52807
Authors:  Wu, LL;  Zhou, HJ;  Alava, M;  Aurell, E;  Orponen, P;  Wu, LL (reprint author), Chinese Acad Sci, Inst Theoret Phys, State Key Lab Theoret Phys, Beijing 100190, Peoples R China.
Adobe PDF(427Kb)  |  Favorite  |  View/Download:80/12  |  Submit date:2014/04/25
Constraint Satisfaction Problems  Random K-sat  Satisfiability Problems  Cavity Method  
Approaching the ground states of the random maximum two-satisfiability problem by a greedy single-spin flipping process 期刊论文
PHYSICAL REVIEW E, 2011, 卷号: 83, 期号: 5, 页码: 52101
Authors:  Ma, H;  Zhou, HJ;  Ma, H (reprint author), Chinese Acad Sci, Key Lab Frontiers Theoret Phys, Beijing 100190, Peoples R China.
Adobe PDF(211Kb)  |  Favorite  |  View/Download:119/34  |  Submit date:2013/05/17
Constraint Satisfaction Problems  Satisfiability Problems  Cavity Method  Optimization  
Glassy behavior and jamming of a random walk process for sequentially satisfying a constraint satisfaction formula 期刊论文
EUROPEAN PHYSICAL JOURNAL B, 2010, 卷号: 73, 期号: 4, 页码: 617-624
Authors:  Zhou, Haijun
Adobe PDF(1414Kb)  |  Favorite  |  View/Download:554/16  |  Submit date:2012/08/02
Random Satisfiability Problems  K-sat  Algorithm  Phase  
From one solution of a 3-satisfiability formula to a solution cluster: Frozen variables and entropy 期刊论文
PHYSICAL REVIEW E, 2009, 卷号: 79, 期号: 3, 页码: -
Authors:  Li, Kang;  Ma, Hui;  Zhou, Haijun;  Li, K , Chinese Acad Sci, Inst Theoret Phys, Beijing 100190, Peoples R China
Adobe PDF(199Kb)  |  Favorite  |  View/Download:153/9  |  Submit date:2012/08/02
Constraint Satisfaction Problems  Random Satisfiability Problems  Message-passing Algorithms  Computational-complexity  Glass-transition  
Stability analysis on the finite-temperature replica-symmetric and first-step replica-symmetry-broken cavity solutions of the random vertex cover problem 期刊论文
PHYSICAL REVIEW E, 2009, 卷号: 80, 期号: 2, 页码: -
Authors:  Zhang, Pan;  Zeng, Ying;  Zhou, Haijun;  Zhang, P , Chinese Acad Sci, Inst Theoret Phys, Key Lab Frontiers Theoret Phys, Beijing 100190, Peoples R China
Adobe PDF(532Kb)  |  Favorite  |  View/Download:274/21  |  Submit date:2012/08/02
Satisfiability Problems  Glass-transition  Bethe Lattices  Dynamics  Phase  
Long-range frustration in T=0 first-step replica-symmetry-broken solutions of finite-connectivity spin glasses 期刊论文
JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2007, 期号: 1, 页码: -
Authors:  Zhou, Jie;  Ma, Hui;  Zhou, Haijun;  Zhou, J , Chinese Acad Sci, Inst Theoret Phys, Beijing 100080, Peoples R China
Adobe PDF(431Kb)  |  Favorite  |  View/Download:110/28  |  Submit date:2012/08/02
Vertex-cover Problem  Satisfiability Problems  Cavity Method  Temperature  Phase  
Message passing for vertex covers 期刊论文
PHYSICAL REVIEW E, 2006, 卷号: 74, 期号: 4, 页码: -
Authors:  Weigt, Martin;  Zhou, Haijun;  Weigt, M , Inst Sci Interchange, Viale Settimio Severo 65, I-10133 Turin, Italy
Adobe PDF(431Kb)  |  Favorite  |  View/Download:256/18  |  Submit date:2012/08/02
Random Graphs  Satisfiability Problems  Cavity Method  Frustration  Algorithms  Transition  Dynamics  Number  Phase  Model