English
Related papers

Related papers: Computing the Union Join and Subset Graph of Acycl…

200 papers

Hypergraph width measures are a class of hypergraph invariants important in studying the complexity of constraint satisfaction problems (CSPs). We present a general exact exponential algorithm for a large variety of these measures. A…

Computational Complexity · Computer Science 2011-06-24 Lukas Moll , Siamak Tazari , Marc Thurley

We consider the isomorphism problem for hypergraphs taking as input two hypergraphs over the same set of vertices $V$ and a permutation group $\Gamma$ over domain $V$, and asking whether there is a permutation $\gamma \in \Gamma$ that…

Data Structures and Algorithms · Computer Science 2022-10-26 Daniel Neuen

We consider three variants of the problem of finding a maximum weight restricted $2$-matching in a subcubic graph $G$. (A $2$-matching is any subset of the edges such that each vertex is incident to at most two of its edges.) Depending on…

Data Structures and Algorithms · Computer Science 2021-01-01 Katarzyna Paluch , Mateusz Wasylkiewicz

Given a 3-uniform hypergraph H, its 2-intersection graph G has for vertex set the hyperedges of H and ee' is an edge of G whenever e and e' have exactly two common vertices in H. Di Marco et al. prove that deciding wether a graph G is the…

Combinatorics · Mathematics 2023-05-24 Niccolò Di Marco , Andrea Frosini , Christophe Picouleau

While most classical NP-hard graph problems cannot be solved in time $2^{o(n)}$ on general graphs under the Exponential Time Hypothesis (ETH), many exhibit the square-root phenomenon and admit optimal algorithms running in time…

Data Structures and Algorithms · Computer Science 2026-04-30 Malory Marin , Rémi Watrigant

In this expository paper we present some ideas of algebraic topology (more precisely, of homology theory) in a language accessible to non-specialists in the area. A $1$-cycle in a graph is a set $C$ of edges such that every vertex is…

History and Overview · Mathematics 2026-01-08 A. Miroshnikov , O. Nikitenko , A. Skopenkov

For a graph $H$, the $H$-free Edge Deletion problem asks whether there exist at most $k$ edges whose deletion from the input graph $G$ results in a graph without any induced copy of $H$. We prove that $H$-free Edge Deletion is NP-complete…

Data Structures and Algorithms · Computer Science 2015-09-15 N. R. Aravind , R. B. Sandeep , Naveen Sivadasan

Given a sequence of $r$-uniform hypergraphs $H_n$, denote by $T(H_n)$ the number of monochromatic hyperedges when the vertices of $H_n$ are colored uniformly at random with $c = c_n$ colors. In this paper, we study the joint distribution of…

Probability · Mathematics 2024-12-03 Yangxinyu Xie , Bhaswar B. Bhattacharya

In this paper, we propose a characterization of chordal bipartite graphs and an efficient enumeration algorithm for chordal bipartite induced subgraphs. A chordal bipartite graph is a bipartite graph without induced cycles with length six…

Data Structures and Algorithms · Computer Science 2020-09-23 Kazuhiro Kurita , Kunihiro Wasa , Hiroki Arimura , Takeaki Uno

In this paper we consider two natural notions of connectivity for hypergraphs: weak and strong. We prove that the strong vertex connectivity of a connected hypergraph is bounded by its weak edge connectivity, thereby extending a theorem of…

Combinatorics · Mathematics 2019-08-15 Megan Dewar , David Pike , John Proos

For a graph $H$, a graph $G$ is an $H$-graph if it is an intersection graph of connected subgraphs of some subdivision of $H$. $H$-graphs naturally generalize several important graph classes like interval or circular-arc graph. This class…

Data Structures and Algorithms · Computer Science 2020-02-24 Fedor V. Fomin , Petr A. Golovach , Jean-Florent Raymond

We study unit ball graphs (and, more generally, so-called noisy uniform ball graphs) in $d$-dimensional hyperbolic space, which we denote by $\mathbb{H}^d$. Using a new separator theorem, we show that unit ball graphs in $\mathbb{H}^d$…

Computational Geometry · Computer Science 2019-10-01 Sándor Kisfaludi-Bak

In many proofs concerning extremal parameters of Berge hypergraphs one starts with analyzing that part of that shadow graph which is contained in many hyperedges. Capturing this phenomenon we introduce two new types of hypergraphs. A…

Combinatorics · Mathematics 2019-12-10 Dániel Gerbner , Dániel T. Nagy , Balázs Patkós , Máté Vizer

$H$-Packing is the problem of finding a maximum number of vertex-disjoint copies of $H$ in a given graph $G$. $H$-Partition is the special case of finding a set of vertex-disjoint copies that cover each vertex of $G$ exactly once. Our goal…

Data Structures and Algorithms · Computer Science 2025-09-09 Barış Can Esmer , Dániel Marx

We consider the problem of embedding the nodes of a hypergraph into Euclidean space under the assumption that the interactions arose through closeness to unknown hyperedge centres. In this way, we tackle the inverse problem associated with…

Social and Information Networks · Computer Science 2025-09-11 Francesco Zigliotto , Desmond J. Higham

Our purpose is to study the family of simple undirected graphs whose toric ideal is a complete intersection from both an algorithmic and a combinatorial point of view. We obtain a polynomial time algorithm that, given a graph $G$, checks…

Commutative Algebra · Mathematics 2015-07-14 Isabel Bermejo , Ignacio García-Marco , Enrique Reyes

The paper deals with partitions of hypergraphs into induced subhypergraphs satisfying constraints on their degeneracy. Our hypergraphs may have multiple edges, but no loops. Given a hypergraph $H$ and a sequence $f=(f_1,f_2, \ldots, f_p)$…

Combinatorics · Mathematics 2018-04-19 Thomas Schweser , Michael Stiebitz

Temporal graphs are graphs whose topology is subject to discrete changes over time. Given a static underlying graph $G$, a temporal graph is represented by assigning a set of integer time-labels to every edge $e$ of $G$, indicating the…

Discrete Mathematics · Computer Science 2020-09-30 George B. Mertzios , Hendrik Molter , Rolf Niedermeier , Viktor Zamaraev , Philipp Zschoche

Say that an edge of a graph $G$ dominates itself and every other edge adjacent to it. An edge dominating set of a graph $G=(V,E)$ is a subset of edges $E' \subseteq E$ which dominates all edges of $G$. In particular, if every edge of $G$ is…

Data Structures and Algorithms · Computer Science 2013-03-07 Min Chih Lin , Michel J. Mizrahi , Jayme L. Szwarcfiter

In this paper, we consider three hitting problems on a disk intersection graph: Triangle Hitting Set, Feedback Vertex Set, and Odd Cycle Transversal. Given a disk intersection graph $G$, our goal is to compute a set of vertices hitting all…

Computational Geometry · Computer Science 2023-11-08 Shinwoo An , Kyungjin Cho , Eunjin Oh