787 research outputs found
Clique coloring -EPG graphs
We consider the problem of clique coloring, that is, coloring the vertices of
a given graph such that no (maximal) clique of size at least two is
monocolored. It is known that interval graphs are -clique colorable. In this
paper we prove that -EPG graphs (edge intersection graphs of paths on a
grid, where each path has at most one bend) are -clique colorable. Moreover,
given a -EPG representation of a graph, we provide a linear time algorithm
that constructs a -clique coloring of it.Comment: 9 Page
Computing the vertices of tropical polyhedra using directed hypergraphs
We establish a characterization of the vertices of a tropical polyhedron
defined as the intersection of finitely many half-spaces. We show that a point
is a vertex if, and only if, a directed hypergraph, constructed from the
subdifferentials of the active constraints at this point, admits a unique
strongly connected component that is maximal with respect to the reachability
relation (all the other strongly connected components have access to it). This
property can be checked in almost linear-time. This allows us to develop a
tropical analogue of the classical double description method, which computes a
minimal internal representation (in terms of vertices) of a polyhedron defined
externally (by half-spaces or hyperplanes). We provide theoretical worst case
complexity bounds and report extensive experimental tests performed using the
library TPLib, showing that this method outperforms the other existing
approaches.Comment: 29 pages (A4), 10 figures, 1 table; v2: Improved algorithm in section
5 (using directed hypergraphs), detailed appendix; v3: major revision of the
article (adding tropical hyperplanes, alternative method by arrangements,
etc); v4: minor revisio
Dually conformal hypergraphs
Given a hypergraph , the dual hypergraph of is the
hypergraph of all minimal transversals of . The dual hypergraph is
always Sperner, that is, no hyperedge contains another. A special case of
Sperner hypergraphs are the conformal Sperner hypergraphs, which correspond to
the families of maximal cliques of graphs. All these notions play an important
role in many fields of mathematics and computer science, including
combinatorics, algebra, database theory, etc. In this paper we study
conformality of dual hypergraphs. While we do not settle the computational
complexity status of recognizing this property, we show that the problem is in
co-NP and can be solved in polynomial time for hypergraphs of bounded
dimension. In the special case of dimension , we reduce the problem to
-Satisfiability. Our approach has an implication in algorithmic graph
theory: we obtain a polynomial-time algorithm for recognizing graphs in which
all minimal transversals of maximal cliques have size at most , for any
fixed
Algorithmic Aspects of a General Modular Decomposition Theory
A new general decomposition theory inspired from modular graph decomposition
is presented. This helps unifying modular decomposition on different
structures, including (but not restricted to) graphs. Moreover, even in the
case of graphs, the terminology ``module'' not only captures the classical
graph modules but also allows to handle 2-connected components, star-cutsets,
and other vertex subsets. The main result is that most of the nice algorithmic
tools developed for modular decomposition of graphs still apply efficiently on
our generalisation of modules. Besides, when an essential axiom is satisfied,
almost all the important properties can be retrieved. For this case, an
algorithm given by Ehrenfeucht, Gabow, McConnell and Sullivan 1994 is
generalised and yields a very efficient solution to the associated
decomposition problem
- …