3,192 research outputs found
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
Balancedness of subclasses of circular-arc graphs
A graph is balanced if its clique-vertex incidence matrix contains no square submatrix of odd order with exactly two ones per row and per column. There is a characterization of balanced graphs by forbidden induced subgraphs, but no characterization by mininal forbidden induced subgraphs is known, not even for the case of circular-arc graphs. A circular-arc graph is the intersection graph of a family of arcs on a circle. In this work, we characterize when a given graph G is balanced in terms of minimal forbidden induced subgraphs, by restricting the analysis to the case where G belongs to certain classes of circular-arc graphs, including Helly circular-arc graphs, claw-free circular-arc graphs, and gem-free circular-arc graphs. In the case of gem-free circular-arc graphs, analogous characterizations are derived for two superclasses of balanced graphs: clique-perfect graphs and coordinated graphs.Fil: Bonomo, Flavia. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones CientÃficas y Técnicas; ArgentinaFil: Duran, Guillermo Alfredo. Consejo Nacional de Investigaciones CientÃficas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Universidad de Chile; ChileFil: Safe, Martin Dario. Consejo Nacional de Investigaciones CientÃficas y Técnicas; Argentina. Universidad Nacional de General Sarmiento. Instituto de Ciencias; ArgentinaFil: Wagler, Annegret Katrin. Centre National de la Recherche Scientifique; Franci
On some subclasses of circular-arc catch digraphs
Catch digraphs was introduced by Hiroshi Maehera in 1984 as an analog of
intersection graphs where a family of pointed sets represents a digraph. After
that Prisner continued his research particularly on interval catch digraphs by
characterizing them diasteroidal triple free. It has numerous applications in
the field of real world problems like network technology and telecommunication
operations. In this article we introduce a new class of catch digraphs, namely
circular-arc catch digraphs. The definition is same as interval catch digraph,
only the intervals are replaced by circular-arcs here. We present the
characterization of proper circular-arc catch digraphs, which is a natural
subclass of circular-arc catch digraphs where no circular-arc is contained in
other properly. We do the characterization by introducing a concept monotone
circular ordering for the vertices of the augmented adjacency matrices of it.
Next we find that underlying graph of a proper oriented circular-arc catch
digraph is a proper circular-arc graph. Also we characterize proper oriented
circular-arc catch digraphs by defining a certain kind of circular vertex
ordering of its vertices. Another interesting result is to characterize
oriented circular-arc catch digraphs which are tournaments in terms of
forbidden subdigraphs. Further we study some properties of an oriented
circular-arc catch digraph. In conclusion we discuss the relations between
these subclasses of circular-arc catch digraphs
Deciding Circular-Arc Graph Isomorphism in Parameterized Logspace
We compute a canonical circular-arc representation for a given circular-arc
(CA) graph which implies solving the isomorphism and recognition problem for
this class. To accomplish this we split the class of CA graphs into uniform and
non-uniform ones and employ a generalized version of the argument given by
K\"obler et al (2013) that has been used to show that the subclass of Helly CA
graphs can be canonized in logspace. For uniform CA graphs our approach works
in logspace and in addition to that Helly CA graphs are a strict subset of
uniform CA graphs. Thus our result is a generalization of the canonization
result for Helly CA graphs. In the non-uniform case a specific set of ambiguous
vertices arises. By choosing the parameter to be the cardinality of this set
the obstacle can be solved by brute force. This leads to an O(k + log n) space
algorithm to compute a canonical representation for non-uniform and therefore
all CA graphs.Comment: 14 pages, 3 figure
Fully dynamic recognition of proper circular-arc graphs
We present a fully dynamic algorithm for the recognition of proper
circular-arc (PCA) graphs. The allowed operations on the graph involve the
insertion and removal of vertices (together with its incident edges) or edges.
Edge operations cost O(log n) time, where n is the number of vertices of the
graph, while vertex operations cost O(log n + d) time, where d is the degree of
the modified vertex. We also show incremental and decremental algorithms that
work in O(1) time per inserted or removed edge. As part of our algorithm, fully
dynamic connectivity and co-connectivity algorithms that work in O(log n) time
per operation are obtained. Also, an O(\Delta) time algorithm for determining
if a PCA representation corresponds to a co-bipartite graph is provided, where
\Delta\ is the maximum among the degrees of the vertices. When the graph is
co-bipartite, a co-bipartition of each of its co-components is obtained within
the same amount of time.Comment: 60 pages, 15 figure
- …