22,209 research outputs found
Structural characterization of some problems on circle and interval graphs
A graph is circle if there is a family of chords in a circle such that two
vertices are adjacent if the corresponding chords cross each other. There are
diverse characterizations of circle graphs, many of them using the notions of
local complementation or split decomposition. However, there are no known
structural characterization by minimal forbidden induced subgraphs for circle
graphs. In this thesis, we give a characterization by forbidden induced
subgraphs of circle graphs within split graphs. A -matrix has the
consecutive-ones property (C1P) for the rows if there is a permutation of its
columns such that the 's in each row appear consecutively. In this thesis,
we develop characterizations by forbidden subconfigurations of -matrices
with the C1P for which the rows are -colorable under a certain adjacency
relationship, and we characterize structurally some auxiliary circle graph
subclasses that arise from these special matrices. Given a graph class , a
-completion of a graph is a graph such
that belongs to . A -completion of is minimal if does not belong to for every proper subset of . A
-completion of is minimum if for every -completion of , the cardinal of is less than or equal to the cardinal
of . In this thesis, we study the problem of completing minimally to obtain
a proper interval graph when the input is an interval graph. We find necessary
conditions that characterize a minimal completion in this particular case, and
we leave some conjectures for the future.Comment: PhD Thesis, joint supervision Universidad de Buenos
Aires-Universit\'e Paris-Nord. Dissertation took place on March 30th 202
Bounded Representations of Interval and Proper Interval Graphs
Klavik et al. [arXiv:1207.6960] recently introduced a generalization of
recognition called the bounded representation problem which we study for the
classes of interval and proper interval graphs. The input gives a graph G and
in addition for each vertex v two intervals L_v and R_v called bounds. We ask
whether there exists a bounded representation in which each interval I_v has
its left endpoint in L_v and its right endpoint in R_v. We show that the
problem can be solved in linear time for interval graphs and in quadratic time
for proper interval graphs.
Robert's Theorem states that the classes of proper interval graphs and unit
interval graphs are equal. Surprisingly the bounded representation problem is
polynomially solvable for proper interval graphs and NP-complete for unit
interval graphs [Klav\'{\i}k et al., arxiv:1207.6960]. So unless P = NP, the
proper and unit interval representations behave very differently.
The bounded representation problem belongs to a wider class of restricted
representation problems. These problems are generalizations of the
well-understood recognition problem, and they ask whether there exists a
representation of G satisfying some additional constraints. The bounded
representation problems generalize many of these problems
Automorphism Groups of Geometrically Represented Graphs
We describe a technique to determine the automorphism group of a
geometrically represented graph, by understanding the structure of the induced
action on all geometric representations. Using this, we characterize
automorphism groups of interval, permutation and circle graphs. We combine
techniques from group theory (products, homomorphisms, actions) with data
structures from computer science (PQ-trees, split trees, modular trees) that
encode all geometric representations.
We prove that interval graphs have the same automorphism groups as trees, and
for a given interval graph, we construct a tree with the same automorphism
group which answers a question of Hanlon [Trans. Amer. Math. Soc 272(2), 1982].
For permutation and circle graphs, we give an inductive characterization by
semidirect and wreath products. We also prove that every abstract group can be
realized by the automorphism group of a comparability graph/poset of the
dimension at most four
Unit Interval Editing is Fixed-Parameter Tractable
Given a graph~ and integers , , and~, the unit interval
editing problem asks whether can be transformed into a unit interval graph
by at most vertex deletions, edge deletions, and edge
additions. We give an algorithm solving this problem in time , where , and denote respectively
the numbers of vertices and edges of . Therefore, it is fixed-parameter
tractable parameterized by the total number of allowed operations.
Our algorithm implies the fixed-parameter tractability of the unit interval
edge deletion problem, for which we also present a more efficient algorithm
running in time . Another result is an -time algorithm for the unit interval vertex deletion problem,
significantly improving the algorithm of van 't Hof and Villanger, which runs
in time .Comment: An extended abstract of this paper has appeared in the proceedings of
ICALP 2015. Update: The proof of Lemma 4.2 has been completely rewritten; an
appendix is provided for a brief overview of related graph classe
Minimal Obstructions for Partial Representations of Interval Graphs
Interval graphs are intersection graphs of closed intervals. A generalization
of recognition called partial representation extension was introduced recently.
The input gives an interval graph with a partial representation specifying some
pre-drawn intervals. We ask whether the remaining intervals can be added to
create an extending representation. Two linear-time algorithms are known for
solving this problem.
In this paper, we characterize the minimal obstructions which make partial
representations non-extendible. This generalizes Lekkerkerker and Boland's
characterization of the minimal forbidden induced subgraphs of interval graphs.
Each minimal obstruction consists of a forbidden induced subgraph together with
at most four pre-drawn intervals. A Helly-type result follows: A partial
representation is extendible if and only if every quadruple of pre-drawn
intervals is extendible by itself. Our characterization leads to a linear-time
certifying algorithm for partial representation extension
On the bend number of circular-arc graphs as edge intersection graphs of paths on a grid
Golumbic, Lipshteyn and Stern \cite{Golumbic-epg} proved that every graph can
be represented as the edge intersection graph of paths on a grid (EPG graph),
i.e., one can associate with each vertex of the graph a nontrivial path on a
rectangular grid such that two vertices are adjacent if and only if the
corresponding paths share at least one edge of the grid. For a nonnegative
integer , -EPG graphs are defined as EPG graphs admitting a model in
which each path has at most bends. Circular-arc graphs are intersection
graphs of open arcs of a circle. It is easy to see that every circular-arc
graph is a -EPG graph, by embedding the circle into a rectangle of the
grid. In this paper, we prove that every circular-arc graph is -EPG, and
that there exist circular-arc graphs which are not -EPG. If we restrict
ourselves to rectangular representations (i.e., the union of the paths used in
the model is contained in a rectangle of the grid), we obtain EPR (edge
intersection of path in a rectangle) representations. We may define -EPR
graphs, , the same way as -EPG graphs. Circular-arc graphs are
clearly -EPR graphs and we will show that there exist circular-arc graphs
that are not -EPR graphs. We also show that normal circular-arc graphs are
-EPR graphs and that there exist normal circular-arc graphs that are not
-EPR graphs. Finally, we characterize -EPR graphs by a family of
minimal forbidden induced subgraphs, and show that they form a subclass of
normal Helly circular-arc graphs
Graph Isomorphism for unit square graphs
In the past decades for more and more graph classes the Graph Isomorphism
Problem was shown to be solvable in polynomial time. An interesting family of
graph classes arises from intersection graphs of geometric objects. In this
work we show that the Graph Isomorphism Problem for unit square graphs,
intersection graphs of axis-parallel unit squares in the plane, can be solved
in polynomial time. Since the recognition problem for this class of graphs is
NP-hard we can not rely on standard techniques for geometric graphs based on
constructing a canonical realization. Instead, we develop new techniques which
combine structural insights into the class of unit square graphs with
understanding of the automorphism group of such graphs. For the latter we
introduce a generalization of bounded degree graphs which is used to capture
the main structure of unit square graphs. Using group theoretic algorithms we
obtain sufficient information to solve the isomorphism problem for unit square
graphs.Comment: 31 pages, 6 figure
- …