29,479 research outputs found
On the Recognition of Fuzzy Circular Interval Graphs
Fuzzy circular interval graphs are a generalization of proper circular arc
graphs and have been recently introduced by Chudnovsky and Seymour as a
fundamental subclass of claw-free graphs. In this paper, we provide a
polynomial-time algorithm for recognizing such graphs, and more importantly for
building a suitable representation.Comment: 12 pages, 2 figure
Simultaneous Representation of Proper and Unit Interval Graphs
In a confluence of combinatorics and geometry, simultaneous representations provide a way to realize combinatorial objects that share common structure. A standard case in the study of simultaneous representations is the sunflower case where all objects share the same common structure. While the recognition problem for general simultaneous interval graphs - the simultaneous version of arguably one of the most well-studied graph classes - is NP-complete, the complexity of the sunflower case for three or more simultaneous interval graphs is currently open. In this work we settle this question for proper interval graphs. We give an algorithm to recognize simultaneous proper interval graphs in linear time in the sunflower case where we allow any number of simultaneous graphs. Simultaneous unit interval graphs are much more "rigid" and therefore have less freedom in their representation. We show they can be recognized in time O(|V|*|E|) for any number of simultaneous graphs in the sunflower case where G=(V,E) is the union of the simultaneous graphs. We further show that both recognition problems are in general NP-complete if the number of simultaneous graphs is not fixed. The restriction to the sunflower case is in this sense necessary
Graph classes and forbidden patterns on three vertices
This paper deals with graph classes characterization and recognition. A
popular way to characterize a graph class is to list a minimal set of forbidden
induced subgraphs. Unfortunately this strategy usually does not lead to an
efficient recognition algorithm. On the other hand, many graph classes can be
efficiently recognized by techniques based on some interesting orderings of the
nodes, such as the ones given by traversals.
We study specifically graph classes that have an ordering avoiding some
ordered structures. More precisely, we consider what we call patterns on three
nodes, and the recognition complexity of the associated classes. In this
domain, there are two key previous works. Damashke started the study of the
classes defined by forbidden patterns, a set that contains interval, chordal
and bipartite graphs among others. On the algorithmic side, Hell, Mohar and
Rafiey proved that any class defined by a set of forbidden patterns can be
recognized in polynomial time. We improve on these two works, by characterizing
systematically all the classes defined sets of forbidden patterns (on three
nodes), and proving that among the 23 different classes (up to complementation)
that we find, 21 can actually be recognized in linear time.
Beyond this result, we consider that this type of characterization is very
useful, leads to a rich structure of classes, and generates a lot of open
questions worth investigating.Comment: Third version version. 38 page
Subclasses of Normal Helly Circular-Arc Graphs
A Helly circular-arc model M = (C,A) is a circle C together with a Helly
family \A of arcs of C. If no arc is contained in any other, then M is a proper
Helly circular-arc model, if every arc has the same length, then M is a unit
Helly circular-arc model, and if there are no two arcs covering the circle,
then M is a normal Helly circular-arc model. A Helly (resp. proper Helly, unit
Helly, normal Helly) circular-arc graph is the intersection graph of the arcs
of a Helly (resp. proper Helly, unit Helly, normal Helly) circular-arc model.
In this article we study these subclasses of Helly circular-arc graphs. We show
natural generalizations of several properties of (proper) interval graphs that
hold for some of these Helly circular-arc subclasses. Next, we describe
characterizations for the subclasses of Helly circular-arc graphs, including
forbidden induced subgraphs characterizations. These characterizations lead to
efficient algorithms for recognizing graphs within these classes. Finally, we
show how do these classes of graphs relate with straight and round digraphs.Comment: 39 pages, 13 figures. A previous version of the paper (entitled
Proper Helly Circular-Arc Graphs) appeared at WG'0
Ramified rectilinear polygons: coordinatization by dendrons
Simple rectilinear polygons (i.e. rectilinear polygons without holes or
cutpoints) can be regarded as finite rectangular cell complexes coordinatized
by two finite dendrons. The intrinsic -metric is thus inherited from the
product of the two finite dendrons via an isometric embedding. The rectangular
cell complexes that share this same embedding property are called ramified
rectilinear polygons. The links of vertices in these cell complexes may be
arbitrary bipartite graphs, in contrast to simple rectilinear polygons where
the links of points are either 4-cycles or paths of length at most 3. Ramified
rectilinear polygons are particular instances of rectangular complexes obtained
from cube-free median graphs, or equivalently simply connected rectangular
complexes with triangle-free links. The underlying graphs of finite ramified
rectilinear polygons can be recognized among graphs in linear time by a
Lexicographic Breadth-First-Search. Whereas the symmetry of a simple
rectilinear polygon is very restricted (with automorphism group being a
subgroup of the dihedral group ), ramified rectilinear polygons are
universal: every finite group is the automorphism group of some ramified
rectilinear polygon.Comment: 27 pages, 6 figure
- …