[PDF][PDF] The constrainedness of search

IP Gent, E MacIntyre, P Prosser, T Walsh - AAAI/IAAI, Vol. 1, 1996 - cdn.aaai.org
We introduce a parameter that measures the “constrainedness” of an ensemble of
combinatorial problems. If problems are over-constrained, they are likely to be insoluble. If …

Upper-bounding the k-colorability threshold by counting covers

A Coja-Oghlan - arXiv preprint arXiv:1305.0177, 2013 - arxiv.org
Let $ G (n, m) $ be the random graph on $ n $ vertices with $ m $ edges. Let $ d= 2m/n $ be
its average degree. We prove that $ G (n, m) $ fails to be $ k $-colorable with high probability …

Efficient Recognition of Random Unsatisfiable k-SAT Instances by Spectral Methods

A Goerdt, M Krivelevich - STACS 2001: 18th Annual Symposium on …, 2001 - Springer
It is known that random k-SAT instances with at least cn clauses where c= ck is a suitable
constant are unsatisfiable (with high probability). We consider the problem to certify …

Recognizing More Unsatisfiable Random k-SAT Instances Efficiently

J Friedman, A Goerdt, M Krivelevich - SIAM Journal on Computing, 2005 - SIAM
It is known that random k-SAT instances with at least cn clauses, where c=\nobreakc_k is a
suitable constant, are unsatisfiable (with high probability). We consider the problem to certify …

Small maximal matchings in random graphs

M Zito - Theoretical computer science, 2003 - Elsevier
We look at the minimal size of a maximal matching in general, bipartite and d-regular
random graphs. We prove that with high probability the ratio between the sizes of any two …

Recognizing more unsatisfiable random 3-SAT instances efficiently

J Friedman, A Goerdt - … : 28th International Colloquium, ICALP 2001 Crete …, 2001 - Springer
It is known that random k-SAT instances with at least dn clauses where d= dk is a suitable
constant are unsatisfiable (with high probability). This paper deals with the question to certify …

[图书][B] Threshold phenomena in random graph colouring and satisfiability.

D Achlioptas - 1999 - Citeseer
Threshold Phenomena in Random Graph Colouring and Satisfiability by Dimitris Achlioptas A
thesis submitted in conformity with th Page 1 Threshold Phenomena in Random Graph …

Graph minors and graphs on surfaces

B Mohar - London Mathematical Society Lecture Note Series, 2001 - books.google.com
Graph minors and the theory of graphs embedded in surfaces are fundamentally
interconnected. Robertson and Seymour used graph minors to prove a generalization of the …

A note on the non-colorability threshold of a random graph

AC Kaporis, LM Kirousis… - the electronic journal of …, 2000 - combinatorics.org
In this paper we consider the problem of establishing a value $ r_0 $ such that almost all
random graphs with $ n $ vertices and $ rn $ edges, $ r> r_0 $, are asymptotically not 3 …

On the non-3-colourability of random graphs

O Dubois, J Mandler - arXiv preprint math/0209087, 2002 - arxiv.org
arXiv:math/0209087v1 [math.CO] 9 Sep 2002 Page 1 arXiv:math/0209087v1 [math.CO] 9 Sep
2002 On the non-3-colourability of random graphs. Olivier Dubois ∗ Jacques Mandler† …