4 research outputs found

    Maintaining CMSO? Properties on Dynamic Structures with Bounded Feedback Vertex Number

    Get PDF

    Determining 4-Edge-Connected Components in Linear Time

    Get PDF
    In this work, we present the first linear time deterministic algorithm computing the 4-edge-connected components of an undirected graph. First, we show an algorithm listing all 3-edge-cuts in a given 3-edge-connected graph, and then we use the output of this algorithm in order to determine the 4-edge-connected components of the graph

    Compact Representation for Matrices of Bounded Twin-Width

    Get PDF
    For every fixed dNd \in \mathbb{N}, we design a data structure that represents a binary n×nn \times n matrix that is dd-twin-ordered. The data structure occupies Od(n)O_d(n) bits, which is the least one could hope for, and can be queried for entries of the matrix in time Od(loglogn)O_d(\log \log n) per query.Comment: 24 pages, 2 figure

    Flipper Games for Monadically Stable Graph Classes

    Get PDF
    corecore