26,790 research outputs found
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
Isomorphism of graph classes related to the circular-ones property
We give a linear-time algorithm that checks for isomorphism between two 0-1
matrices that obey the circular-ones property. This algorithm leads to
linear-time isomorphism algorithms for related graph classes, including Helly
circular-arc graphs, \Gamma-circular-arc graphs, proper circular-arc graphs and
convex-round graphs.Comment: 25 pages, 9 figure
Interval Routing Schemes for Circular-Arc Graphs
Interval routing is a space efficient method to realize a distributed routing
function. In this paper we show that every circular-arc graph allows a shortest
path strict 2-interval routing scheme, i.e., by introducing a global order on
the vertices and assigning at most two (strict) intervals in this order to the
ends of every edge allows to depict a routing function that implies exclusively
shortest paths. Since circular-arc graphs do not allow shortest path 1-interval
routing schemes in general, the result implies that the class of circular-arc
graphs has strict compactness 2, which was a hitherto open question.
Additionally, we show that the constructed 2-interval routing scheme is a
1-interval routing scheme with at most one additional interval assigned at each
vertex and we an outline algorithm to calculate the routing scheme for
circular-arc graphs in O(n^2) time, where n is the number of vertices.Comment: 17 pages, to appear in "International Journal of Foundations of
Computer Science
Combinatorial Problems on -graphs
Bir\'{o}, Hujter, and Tuza introduced the concept of -graphs (1992),
intersection graphs of connected subgraphs of a subdivision of a graph .
They naturally generalize many important classes of graphs, e.g., interval
graphs and circular-arc graphs. We continue the study of these graph classes by
considering coloring, clique, and isomorphism problems on -graphs.
We show that for any fixed containing a certain 3-node, 6-edge multigraph
as a minor that the clique problem is APX-hard on -graphs and the
isomorphism problem is isomorphism-complete. We also provide positive results
on -graphs. Namely, when is a cactus the clique problem can be solved in
polynomial time. Also, when a graph has a Helly -representation, the
clique problem can be solved in polynomial time. Finally, we observe that one
can use treewidth techniques to show that both the -clique and list
-coloring problems are FPT on -graphs. These FPT results apply more
generally to treewidth-bounded graph classes where treewidth is bounded by a
function of the clique number
Linear-Time Algorithms for Finding Tucker Submatrices and Lekkerkerker-Boland Subgraphs
Lekkerkerker and Boland characterized the minimal forbidden induced subgraphs
for the class of interval graphs. We give a linear-time algorithm to find one
in any graph that is not an interval graph. Tucker characterized the minimal
forbidden submatrices of binary matrices that do not have the consecutive-ones
property. We give a linear-time algorithm to find one in any binary matrix that
does not have the consecutive-ones property.Comment: A preliminary version of this work appeared in WG13: 39th
International Workshop on Graph-Theoretic Concepts in Computer Scienc
- …