643 research outputs found
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
Recognizing Graph Theoretic Properties with Polynomial Ideals
Many hard combinatorial problems can be modeled by a system of polynomial
equations. N. Alon coined the term polynomial method to describe the use of
nonlinear polynomials when solving combinatorial problems. We continue the
exploration of the polynomial method and show how the algorithmic theory of
polynomial ideals can be used to detect k-colorability, unique Hamiltonicity,
and automorphism rigidity of graphs. Our techniques are diverse and involve
Nullstellensatz certificates, linear algebra over finite fields, Groebner
bases, toric algebra, convex programming, and real algebraic geometry.Comment: 20 pages, 3 figure
-WORM colorings of graphs: Lower chromatic number and gaps in the chromatic spectrum
A -WORM coloring of a graph is an assignment of colors to the
vertices in such a way that the vertices of each -subgraph of get
precisely two colors. We study graphs which admit at least one such
coloring. We disprove a conjecture of Goddard et al. [Congr. Numer., 219 (2014)
161--173] who asked whether every such graph has a -WORM coloring with two
colors. In fact for every integer there exists a -WORM colorable
graph in which the minimum number of colors is exactly . There also exist
-WORM colorable graphs which have a -WORM coloring with two colors
and also with colors but no coloring with any of colors. We
also prove that it is NP-hard to determine the minimum number of colors and
NP-complete to decide -colorability for every (and remains
intractable even for graphs of maximum degree 9 if ). On the other hand,
we prove positive results for -degenerate graphs with small , also
including planar graphs. Moreover we point out a fundamental connection with
the theory of the colorings of mixed hypergraphs. We list many open problems at
the end.Comment: 18 page
Computation with Polynomial Equations and Inequalities arising in Combinatorial Optimization
The purpose of this note is to survey a methodology to solve systems of
polynomial equations and inequalities. The techniques we discuss use the
algebra of multivariate polynomials with coefficients over a field to create
large-scale linear algebra or semidefinite programming relaxations of many
kinds of feasibility or optimization questions. We are particularly interested
in problems arising in combinatorial optimization.Comment: 28 pages, survey pape
Exhaustive generation of -critical -free graphs
We describe an algorithm for generating all -critical -free
graphs, based on a method of Ho\`{a}ng et al. Using this algorithm, we prove
that there are only finitely many -critical -free graphs, for
both and . We also show that there are only finitely many
-critical graphs -free graphs. For each case of these cases we
also give the complete lists of critical graphs and vertex-critical graphs.
These results generalize previous work by Hell and Huang, and yield certifying
algorithms for the -colorability problem in the respective classes.
Moreover, we prove that for every , the class of 4-critical planar
-free graphs is finite. We also determine all 27 4-critical planar
-free graphs.
We also prove that every -free graph of girth at least five is
3-colorable, and determine the smallest 4-chromatic -free graph of
girth five. Moreover, we show that every -free graph of girth at least
six and every -free graph of girth at least seven is 3-colorable. This
strengthens results of Golovach et al.Comment: 17 pages, improved girth results. arXiv admin note: text overlap with
arXiv:1504.0697
- …