Probability and Computing: Randomized Algorithms and Probabilistic Analysis
Probability and Computing: Randomized Algorithms and Probabilistic Analysis
Many hard examples in exact phase transitions
Theoretical Computer Science
Random constraint satisfaction: Easy generation of hard (satisfiable) instances
Artificial Intelligence
Exact phase transitions in random constraint satisfaction problems
Journal of Artificial Intelligence Research
Consistency and random constraint satisfaction models
Journal of Artificial Intelligence Research
Where the really hard problems are
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Two hardness results on feedback vertex sets
FAW-AAIM'11 Proceedings of the 5th joint international frontiers in algorithmics, and 7th international conference on Algorithmic aspects in information and management
Phase transition of tractability in constraint satisfaction and bayesian network inference
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
On the threshold of having a linear treewidth in random graphs
COCOON'06 Proceedings of the 12th annual international conference on Computing and Combinatorics
Large hinge width on sparse random hypergraphs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
A general model and thresholds for random constraint satisfaction problems
Artificial Intelligence
Hi-index | 0.00 |
We show that in Erdös-Rényi random graph G(n, p) with high probability, when p = c/n and c is a constant, the treewidth is upper bounded by tn for some constant t c, but when p ≫ 1/n, the treewidth is lower bounded by n - o(n). The upper bound refutes a conjecture that treewidth in G(n, p = c/n) is as large as n - o(n), and the lower bound provides further theoretical evidence on hardness of some random constraint satisfaction problems called Model RB and Model RD.