30,401 research outputs found

    Subclasses of Normal Helly Circular-Arc Graphs

    Full text link
    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

    Unit Interval Editing is Fixed-Parameter Tractable

    Full text link
    Given a graph~GG and integers k1k_1, k2k_2, and~k3k_3, the unit interval editing problem asks whether GG can be transformed into a unit interval graph by at most k1k_1 vertex deletions, k2k_2 edge deletions, and k3k_3 edge additions. We give an algorithm solving this problem in time 2O(klogk)(n+m)2^{O(k\log k)}\cdot (n+m), where k:=k1+k2+k3k := k_1 + k_2 + k_3, and n,mn, m denote respectively the numbers of vertices and edges of GG. 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 O(4k(n+m))O(4^k \cdot (n + m)). Another result is an O(6k(n+m))O(6^k \cdot (n + m))-time algorithm for the unit interval vertex deletion problem, significantly improving the algorithm of van 't Hof and Villanger, which runs in time O(6kn6)O(6^k \cdot n^6).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

    On the Recognition of Fuzzy Circular Interval Graphs

    Get PDF
    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

    Solving the Canonical Representation and Star System Problems for Proper Circular-Arc Graphs in Log-Space

    Get PDF
    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

    Efficient and Perfect domination on circular-arc graphs

    Get PDF
    Given a graph G=(V,E)G = (V,E), a \emph{perfect dominating set} is a subset of vertices VV(G)V' \subseteq V(G) such that each vertex vV(G)Vv \in V(G)\setminus V' is dominated by exactly one vertex vVv' \in V'. An \emph{efficient dominating set} is a perfect dominating set VV' where VV' 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
    corecore