9,122 research outputs found
Coloring Graphs with Forbidden Minors
Hadwiger's conjecture from 1943 states that for every integer , every
graph either can be -colored or has a subgraph that can be contracted to the
complete graph on vertices. As pointed out by Paul Seymour in his recent
survey on Hadwiger's conjecture, proving that graphs with no minor are
-colorable is the first case of Hadwiger's conjecture that is still open. It
is not known yet whether graphs with no minor are -colorable. Using a
Kempe-chain argument along with the fact that an induced path on three vertices
is dominating in a graph with independence number two, we first give a very
short and computer-free proof of a recent result of Albar and Gon\c{c}alves and
generalize it to the next step by showing that every graph with no minor
is -colorable, where . We then prove that graphs with no
minor are -colorable and graphs with no minor are
-colorable. Finally we prove that if Mader's bound for the extremal function
for minors is true, then every graph with no minor is
-colorable for all . This implies our first result. We believe
that the Kempe-chain method we have developed in this paper is of independent
interest
Bipartite Minors
We introduce a notion of bipartite minors and prove a bipartite analog of
Wagner's theorem: a bipartite graph is planar if and only if it does not
contain as a bipartite minor. Similarly, we provide a forbidden minor
characterization for outerplanar graphs and forests. We then establish a
recursive characterization of bipartite -Laman graphs --- a certain
family of graphs that contains all maximal bipartite planar graphs.Comment: 9 page
Generating families of surface triangulations. The case of punctured surfaces with inner degree at least 4
We present two versions of a method for generating all triangulations of any
punctured surface in each of these two families: (1) triangulations with inner
vertices of degree at least 4 and boundary vertices of degree at least 3 and
(2) triangulations with all vertices of degree at least 4. The method is based
on a series of reversible operations, termed reductions, which lead to a
minimal set of triangulations in each family. Throughout the process the
triangulations remain within the corresponding family. Moreover, for the family
(1) these operations reduce to the well-known edge contractions and removals of
octahedra. The main results are proved by an exhaustive analysis of all
possible local configurations which admit a reduction.Comment: This work has been partially supported by PAI FQM-164; PAI FQM-189;
MTM 2010-2044
Practical Minimum Cut Algorithms
The minimum cut problem for an undirected edge-weighted graph asks us to
divide its set of nodes into two blocks while minimizing the weight sum of the
cut edges. Here, we introduce a linear-time algorithm to compute near-minimum
cuts. Our algorithm is based on cluster contraction using label propagation and
Padberg and Rinaldi's contraction heuristics [SIAM Review, 1991]. We give both
sequential and shared-memory parallel implementations of our algorithm.
Extensive experiments on both real-world and generated instances show that our
algorithm finds the optimal cut on nearly all instances significantly faster
than other state-of-the-art algorithms while our error rate is lower than that
of other heuristic algorithms. In addition, our parallel algorithm shows good
scalability
Tutte Short Exact Sequences of Graphs
We associate two modules, the -parking critical module and the toppling
critical module, to an undirected connected graph . We establish a
Tutte-like short exact sequence relating the modules associated to , an edge
contraction and edge deletion ( is a non-bridge). As
applications of these short exact sequences, we relate the vanishing of certain
combinatorial invariants (the number of acyclic orientations on connected
partition graphs satisfying a unique sink property) of to the equality of
corresponding invariants of and . We also obtain a short
proof of a theorem of Merino that the critical polynomial of a graph is an
evaluation of its Tutte polynomial.Comment: 40 pages, 3 figure
Solving Hard Computational Problems Efficiently: Asymptotic Parametric Complexity 3-Coloring Algorithm
Many practical problems in almost all scientific and technological
disciplines have been classified as computationally hard (NP-hard or even
NP-complete). In life sciences, combinatorial optimization problems frequently
arise in molecular biology, e.g., genome sequencing; global alignment of
multiple genomes; identifying siblings or discovery of dysregulated pathways.In
almost all of these problems, there is the need for proving a hypothesis about
certain property of an object that can be present only when it adopts some
particular admissible structure (an NP-certificate) or be absent (no admissible
structure), however, none of the standard approaches can discard the hypothesis
when no solution can be found, since none can provide a proof that there is no
admissible structure. This article presents an algorithm that introduces a
novel type of solution method to "efficiently" solve the graph 3-coloring
problem; an NP-complete problem. The proposed method provides certificates
(proofs) in both cases: present or absent, so it is possible to accept or
reject the hypothesis on the basis of a rigorous proof. It provides exact
solutions and is polynomial-time (i.e., efficient) however parametric. The only
requirement is sufficient computational power, which is controlled by the
parameter . Nevertheless, here it is proved that the
probability of requiring a value of to obtain a solution for a
random graph decreases exponentially: , making
tractable almost all problem instances. Thorough experimental analyses were
performed. The algorithm was tested on random graphs, planar graphs and
4-regular planar graphs. The obtained experimental results are in accordance
with the theoretical expected results.Comment: Working pape
- …