630 research outputs found
Modification to planarity is fixed parameter tractable
A replacement action is a function L that maps each k-vertex labeled graph to another k-vertex graph. We consider a general family of graph modification problems, called L-Replacement to C, where the input is a graph G and the question is whether it is possible to replace in G some k-vertex subgraph H of it by L(H) so that the new graph belongs to the graph class C. L-Replacement to C can simulate several modification operations such as edge addition, edge removal, edge editing, and diverse completion and superposition operations. In this paper, we prove that for any action L, if C is the class of planar graphs, there is an algorithm that solves L-Replacement to C in O(|G| 2 ) steps. We also present several applications of our approach to related problems.publishedVersio
Modification to Planarity is Fixed Parameter Tractable
A replacement action is a function L that maps each k-vertex labeled graph to another k-vertex graph. We consider a general family of graph modification problems, called L-Replacement to C, where the input is a graph G and the question is whether it is possible to replace in G some k-vertex subgraph H of it by L(H) so that the new graph belongs to the graph class C. L-Replacement to C can simulate several modification operations such as edge addition, edge removal, edge editing, and diverse completion and superposition operations. In this paper, we prove that for any action L, if C is the class of planar graphs, there is an algorithm that solves L-Replacement to C in O(|G|^{2}) steps. We also present several applications of our approach to related problems
Fixed parameter tractability of crossing minimization of almost-trees
We investigate exact crossing minimization for graphs that differ from trees
by a small number of additional edges, for several variants of the crossing
minimization problem. In particular, we provide fixed parameter tractable
algorithms for the 1-page book crossing number, the 2-page book crossing
number, and the minimum number of crossed edges in 1-page and 2-page book
drawings.Comment: Graph Drawing 201
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
An Algorithmic Meta-Theorem for Graph Modification to Planarity and FOL
In general, a graph modification problem is defined by a graph modification
operation and a target graph property . Typically, the
modification operation may be vertex removal}, edge removal}, edge
contraction}, or edge addition and the question is, given a graph and an
integer , whether it is possible to transform to a graph in
after applying times the operation on . This problem has
been extensively studied for particilar instantiations of and
. In this paper we consider the general property
of being planar and, moreover, being a model of some First-Order Logic sentence
(an FOL-sentence). We call the corresponding meta-problem Graph
-Modification to Planarity and and prove the following
algorithmic meta-theorem: there exists a function
such that, for every and every FOL sentence , the Graph
-Modification to Planarity and is solvable in
time. The proof constitutes a hybrid of two different
classic techniques in graph algorithms. The first is the irrelevant vertex
technique that is typically used in the context of Graph Minors and deals with
properties such as planarity or surface-embeddability (that are not
FOL-expressible) and the second is the use of Gaifman's Locality Theorem that
is the theoretical base for the meta-algorithmic study of FOL-expressible
problems
- …