Gábor Damásdi ; Balázs Keszegh ; Dömötör Pálvölgyi ; Karamjeet Singh - The complexity of recognizing $ABAB$-free hypergraphs

dmtcs:14610 - Discrete Mathematics & Theoretical Computer Science, April 24, 2025, vol. 27:1, Permutation Patterns 2024 - https://doi.org/10.46298/dmtcs.14610
The complexity of recognizing $ABAB$-free hypergraphsArticle

Authors: Gábor Damásdi ; Balázs Keszegh ; Dömötör Pálvölgyi ; Karamjeet Singh

    The study of geometric hypergraphs gave rise to the notion of $ABAB$-free hypergraphs. A hypergraph $\mathcal{H}$ is called $ABAB$-free if there is an ordering of its vertices such that there are no hyperedges $A,B$ and vertices $v_1,v_2,v_3,v_4$ in this order satisfying $v_1,v_3\in A\setminus B$ and $v_2,v_4\in B\setminus A$. In this paper, we prove that it is NP-complete to decide if a hypergraph is $ABAB$-free. We show a number of analogous results for hypergraphs with similar forbidden patterns, such as $ABABA$-free hypergraphs. As an application, we show that deciding whether a hypergraph is realizable as the incidence hypergraph of points and pseudodisks is also NP-complete.


    Volume: vol. 27:1, Permutation Patterns 2024
    Section: Special issues
    Published on: April 24, 2025
    Accepted on: April 2, 2025
    Submitted on: October 22, 2024
    Keywords: Mathematics - Combinatorics,05C65

    Consultation statistics

    This page has been seen 117 times.
    This article's PDF has been downloaded 42 times.