3,428 research outputs found
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
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
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
Efficient and Perfect domination on circular-arc graphs
Given a graph , a \emph{perfect dominating set} is a subset of
vertices such that each vertex is
dominated by exactly one vertex . An \emph{efficient dominating set}
is a perfect dominating set where is also an independent set. These
problems are usually posed in terms of edges instead of vertices. Both
problems, either for the vertex or edge variant, remains NP-Hard, even when
restricted to certain graphs families. We study both variants of the problems
for the circular-arc graphs, and show efficient algorithms for all of them
Solving the Canonical Representation and Star System Problems for Proper Circular-Arc Graphs in Log-Space
We present a logspace algorithm that constructs a canonical intersection
model for a given proper circular-arc graph, where `canonical' means that
models of isomorphic graphs are equal. This implies that the recognition and
the isomorphism problems for this class of graphs are solvable in logspace. For
a broader class of concave-round graphs, that still possess (not necessarily
proper) circular-arc models, we show that those can also be constructed
canonically in logspace. As a building block for these results, we show how to
compute canonical models of circular-arc hypergraphs in logspace, which are
also known as matrices with the circular-ones property. Finally, we consider
the search version of the Star System Problem that consists in reconstructing a
graph from its closed neighborhood hypergraph. We solve it in logspace for the
classes of proper circular-arc, concave-round, and co-convex graphs.Comment: 19 pages, 3 figures, major revisio
Arcfinder: An algorithm for the automatic detection of gravitational arcs
We present an efficient algorithm designed for and capable of detecting
elongated, thin features such as lines and curves in astronomical images, and
its application to the automatic detection of gravitational arcs. The algorithm
is sufficiently robust to detect such features even if their surface brightness
is near the pixel noise in the image, yet the amount of spurious detections is
low. The algorithm subdivides the image into a grid of overlapping cells which
are iteratively shifted towards a local centre of brightness in their immediate
neighbourhood. It then computes the ellipticity for each cell, and combines
cells with correlated ellipticities into objects. These are combined to graphs
in a next step, which are then further processed to determine properties of the
detected objects. We demonstrate the operation and the efficiency of the
algorithm applying it to HST images of galaxy clusters known to contain
gravitational arcs. The algorithm completes the analysis of an image with
3000x3000 pixels in about 4 seconds on an ordinary desktop PC. We discuss
further applications, the method's remaining problems and possible approaches
to their solution.Comment: 12 pages, 12 figure
- …