7,229 research outputs found
On the phase transitions of graph coloring and independent sets
We study combinatorial indicators related to the characteristic phase
transitions associated with coloring a graph optimally and finding a maximum
independent set. In particular, we investigate the role of the acyclic
orientations of the graph in the hardness of finding the graph's chromatic
number and independence number. We provide empirical evidence that, along a
sequence of increasingly denser random graphs, the fraction of acyclic
orientations that are `shortest' peaks when the chromatic number increases, and
that such maxima tend to coincide with locally easiest instances of the
problem. Similar evidence is provided concerning the `widest' acyclic
orientations and the independence number
On the strong chromatic number of random graphs
Let G be a graph with n vertices, and let k be an integer dividing n. G is
said to be strongly k-colorable if for every partition of V(G) into disjoint
sets V_1 \cup ... \cup V_r, all of size exactly k, there exists a proper vertex
k-coloring of G with each color appearing exactly once in each V_i. In the case
when k does not divide n, G is defined to be strongly k-colorable if the graph
obtained by adding k \lceil n/k \rceil - n isolated vertices is strongly
k-colorable. The strong chromatic number of G is the minimum k for which G is
strongly k-colorable. In this paper, we study the behavior of this parameter
for the random graph G(n, p). In the dense case when p >> n^{-1/3}, we prove
that the strong chromatic number is a.s. concentrated on one value \Delta+1,
where \Delta is the maximum degree of the graph. We also obtain several weaker
results for sparse random graphs.Comment: 16 page
A note on total and list edge-colouring of graphs of tree-width 3
It is shown that Halin graphs are -edge-choosable and that graphs of
tree-width 3 are -edge-choosable and -total-colourable.Comment: arXiv admin note: substantial text overlap with arXiv:1504.0212
Breaking Instance-Independent Symmetries In Exact Graph Coloring
Code optimization and high level synthesis can be posed as constraint
satisfaction and optimization problems, such as graph coloring used in register
allocation. Graph coloring is also used to model more traditional CSPs relevant
to AI, such as planning, time-tabling and scheduling. Provably optimal
solutions may be desirable for commercial and defense applications.
Additionally, for applications such as register allocation and code
optimization, naturally-occurring instances of graph coloring are often small
and can be solved optimally. A recent wave of improvements in algorithms for
Boolean satisfiability (SAT) and 0-1 Integer Linear Programming (ILP) suggests
generic problem-reduction methods, rather than problem-specific heuristics,
because (1) heuristics may be upset by new constraints, (2) heuristics tend to
ignore structure, and (3) many relevant problems are provably inapproximable.
Problem reductions often lead to highly symmetric SAT instances, and
symmetries are known to slow down SAT solvers. In this work, we compare several
avenues for symmetry breaking, in particular when certain kinds of symmetry are
present in all generated instances. Our focus on reducing CSPs to SAT allows us
to leverage recent dramatic improvement in SAT solvers and automatically
benefit from future progress. We can use a variety of black-box SAT solvers
without modifying their source code because our symmetry-breaking techniques
are static, i.e., we detect symmetries and add symmetry breaking predicates
(SBPs) during pre-processing.
An important result of our work is that among the types of
instance-independent SBPs we studied and their combinations, the simplest and
least complete constructions are the most effective. Our experiments also
clearly indicate that instance-independent symmetries should mostly be
processed together with instance-specific symmetries rather than at the
specification level, contrary to what has been suggested in the literature
- …