58 research outputs found
Graphs that are not pairwise compatible: A new proof technique (extended abstract)
A graph G = (V,E) is a pairwise compatibility graph (PCG) if there exists an edge-weighted tree T and two non-negative real numbers dminand dmax, dmin≤ dmax, such that each node u∈V is uniquely associated to a leaf of T and there is an edge (u, v) ∈ E if and only if dmin≤ dT(u, v) ≤ dmax, where dT(u, v) is the sum of the weights of the edges on the unique path PT(u, v) from u to v in T. Understanding which graph classes lie inside and which ones outside the PCG class is an important issue. Despite numerous efforts, a complete characterization of the PCG class is not known yet. In this paper we propose a new proof technique that allows us to show that some interesting classes of graphs have empty intersection with PCG. We demonstrate our technique by showing many graph classes that do not lie in PCG. As a side effect, we show a not pairwise compatibility planar graph with 8 nodes (i.e. C28), so improving the previously known result concerning the smallest planar graph known not to be PCG
Pairwise Compatibility Graphs: A Survey
International audienceA graph is a pairwise compatibility graph (PCG) if there exists an edge-weighted tree and two nonnegative real numbers and such that each leaf of is a node of and there is an edge if and only if , where is the sum of weights of the edges on the unique path from to in . In this article, we survey the state of the art concerning this class of graphs and some of its subclasses
More applications of the d-neighbor equivalence: acyclicity and connectivity constraints
In this paper, we design a framework to obtain efficient algorithms for
several problems with a global constraint (acyclicity or connectivity) such as
Connected Dominating Set, Node Weighted Steiner Tree, Maximum Induced Tree,
Longest Induced Path, and Feedback Vertex Set. We design a meta-algorithm that
solves all these problems and whose running time is upper bounded by
, , and where is respectively the clique-width,
-rank-width, rank-width and maximum induced matching width of a
given decomposition. Our meta-algorithm simplifies and unifies the known
algorithms for each of the parameters and its running time matches
asymptotically also the running times of the best known algorithms for basic
NP-hard problems such as Vertex Cover and Dominating Set. Our framework is
based on the -neighbor equivalence defined in [Bui-Xuan, Telle and
Vatshelle, TCS 2013]. The results we obtain highlight the importance of this
equivalence relation on the algorithmic applications of width measures.
We also prove that our framework could be useful for -hard problems
parameterized by clique-width such as Max Cut and Maximum Minimal Cut. For
these latter problems, we obtain , and time
algorithms where is respectively the clique-width, the
-rank-width and the rank-width of the input graph
Algebraic matroids with graph symmetry
This paper studies the properties of two kinds of matroids: (a) algebraic
matroids and (b) finite and infinite matroids whose ground set have some
canonical symmetry, for example row and column symmetry and transposition
symmetry.
For (a) algebraic matroids, we expose cryptomorphisms making them accessible
to techniques from commutative algebra. This allows us to introduce for each
circuit in an algebraic matroid an invariant called circuit polynomial,
generalizing the minimal poly- nomial in classical Galois theory, and studying
the matroid structure with multivariate methods.
For (b) matroids with symmetries we introduce combinatorial invariants
capturing structural properties of the rank function and its limit behavior,
and obtain proofs which are purely combinatorial and do not assume algebraicity
of the matroid; these imply and generalize known results in some specific cases
where the matroid is also algebraic. These results are motivated by, and
readily applicable to framework rigidity, low-rank matrix completion and
determinantal varieties, which lie in the intersection of (a) and (b) where
additional results can be derived. We study the corresponding matroids and
their associated invariants, and for selected cases, we characterize the
matroidal structure and the circuit polynomials completely
Complexity and Algorithms for ISOMETRIC PATH COVER on Chordal Graphs and Beyond
A path is isometric if it is a shortest path between its endpoints. In this article, we consider the graph covering problem Isometric Path Cover, where we want to cover all the vertices of the graph using a minimum-size set of isometric paths. Although this problem has been considered from a structural point of view (in particular, regarding applications to pursuit-evasion games), it is little studied from the algorithmic perspective. We consider Isometric Path Cover on chordal graphs, and show that the problem is NP-hard for this class. On the positive side, for chordal graphs, we design a 4-approximation algorithm and an FPT algorithm for the parameter solution size. The approximation algorithm is based on a reduction to the classic path covering problem on a suitable directed acyclic graph obtained from a breadth first search traversal of the graph. The approximation ratio of our algorithm is 3 for interval graphs and 2 for proper interval graphs. Moreover, we extend the analysis of our approximation algorithm to k-chordal graphs (graphs whose induced cycles have length at most k) by showing that it has an approximation ratio of k+7 for such graphs, and to graphs of treelength at most ?, where the approximation ratio is at most 6?+2
On Indexing and Compressing Finite Automata
An index for a finite automaton is a powerful data structure that supports
locating paths labeled with a query pattern, thus solving pattern matching on
the underlying regular language. In this paper, we solve the long-standing
problem of indexing arbitrary finite automata. Our solution consists in finding
a partial co-lexicographic order of the states and proving, as in the total
order case, that states reached by a given string form one interval on the
partial order, thus enabling indexing. We provide a lower bound stating that
such an interval requires words to be represented, being the order's
width (i.e. the size of its largest antichain). Indeed, we show that
determines the complexity of several fundamental problems on finite automata:
(i) Letting be the alphabet size, we provide an encoding for NFAs
using bits per transition
and a smaller encoding for DFAs using bits per transition. This is achieved by generalizing the
Burrows-Wheeler transform to arbitrary automata. (ii) We show that indexed
pattern matching can be solved in query time on NFAs.
(iii) We provide a polynomial-time algorithm to index DFAs, while matching the
optimal value for . On the other hand, we prove that the problem is
NP-hard on NFAs. (iv) We show that, in the worst case, the classic powerset
construction algorithm for NFA determinization generates an equivalent DFA of
size , where is the number of NFA's states
- …