English
Related papers

Related papers: Short proof of the hypergraph container theorem

200 papers

A famous conjecture of Tuza states that the minimum number of edges needed to cover all the triangles in a graph is at most twice the maximum number of edge-disjoint triangles. This conjecture was couched in a broader setting by Aharoni and…

Data Structures and Algorithms · Computer Science 2020-11-11 Venkatesan Guruswami , Sai Sandeep

A \v{S}olt\'es' hypergraph is a hypergraph for which the removal of any of its vertices does not change its total distance. We prove that every uniform \v{S}olt\'es' hypergraph has order at least $10$, there exist uniform \v{S}olt\'es'…

Combinatorics · Mathematics 2025-06-10 Stijn Cambie , Ajay Tiwari

A recent development in graph-minor theory is to study local separators, vertex-sets that separate graphs locally but not necessarily globally. The local separators of a graph roughly correspond to the genuine separators of its local…

Combinatorics · Mathematics 2025-01-15 Johannes Carmesin , George Kontogeorgiou , Jan Kurkofka , Will J. Turner

The graph minor structure theorem by Robertson and Seymour shows that every graph that excludes a fixed minor can be constructed by a combination of four ingredients: graphs embedded in a surface of bounded genus, a bounded number of…

Combinatorics · Mathematics 2015-03-19 Gwenaël Joret , David R. Wood

We study the problems of bounding the number weak and strong independent sets in $r$-uniform, $d$-regular, $n$-vertex linear hypergraphs with no cross-edges. In the case of weak independent sets, we provide an upper bound that is tight up…

Combinatorics · Mathematics 2021-07-06 Emma Cohen , Will Perkins , Michail Sarantis , Prasad Tetali

Let the random variable $X\, :=\, e(\mathcal{H}[B])$ count the number of edges of a hypergraph $\mathcal{H}$ induced by a random $m$-element subset $B$ of its vertex set. Focussing on the case that the degrees of vertices in $\mathcal{H}$…

Combinatorics · Mathematics 2020-12-18 Simon Griffiths , Christoph Koch , Matheus Secco

Chudnovsky, Kim, Oum, and Seymour recently established that any prime graph contains one of a short list of induced prime subgraphs [1]. In the present paper we reprove their theorem using many of the same ideas, but with the key…

Logic · Mathematics 2015-11-10 M. Malliaris , C. Terry

Let $H=(V,E)$ be a hypergraph. Let $C\subseteq E$, then $C$ is an {\it edge cover}, or a {\it set cover}, if $\cup_{e\in C} \{v|v\in e\}=V$. A subset of vertices $X$ is {\it independent} in $H,$ if no two vertices in $X$ are in any edge.…

Combinatorics · Mathematics 2021-08-27 Farhad Shahrokhi

The question whether there exists a hypergraph whose degrees are equal to a given sequence of integers is a well-known reconstruction problem in graph theory, which is motivated by discrete tomography. In this paper we approach the problem…

Combinatorics · Mathematics 2024-02-08 Michela Ascolese , Matthias Lienau , Matthias Schulte , Anusch Taraz

We prove that Menger's theorem is valid for infinite graphs, in the following strong form: let $A$ and $B$ be two sets of vertices in a possibly infinite digraph. Then there exist a set $\cp$ of disjoint $A$-$B$ paths, and a set $S$ of…

Combinatorics · Mathematics 2007-12-03 Ron Aharoni , Eli Berger

Grohe and Marx proved that if G does not contain H as a topological minor, then there exist constants g=O(|V(H)|^4), D and t depending only on H such that G is a clique sum of graphs that either contain at most t vertices of degree greater…

Combinatorics · Mathematics 2012-09-04 Zdenek Dvorak

This Part establishes the geometric theory of uniformly hyperbolic sets with explicit quantitative bounds throughout, and contains five main theorems. The Stable Manifold Theorem is proved via the backward graph transform, with a complete…

Dynamical Systems · Mathematics 2026-04-27 Abdoulaye Thiam

The balanced hypergraph partitioning problem (HGP) is to partition the vertex set of a hypergraph into k disjoint blocks of bounded weight, while minimizing an objective function defined on the hyperedges. Whereas real-world applications…

Data Structures and Algorithms · Computer Science 2021-02-03 Tobias Heuer , Nikolai Maas , Sebastian Schlag

We provide a general method to prove the existence and compute efficiently elimination orderings in graphs. Our method relies on several tools that were known before, but that were not put together so far: the algorithm LexBFS due to Rose,…

Discrete Mathematics · Computer Science 2015-01-26 Pierre Aboulker , Pierre Charbit , Nicolas Trotignon , Kristina Vuskovic

In this paper, we design efficient algorithms to approximately count the number of edges of a given $k$-hypergraph, and to sample an approximately uniform random edge. The hypergraph is not given explicitly, and can be accessed only through…

Data Structures and Algorithms · Computer Science 2022-03-09 Holger Dell , John Lapinskas , Kitty Meeks

There is a well-known connection between hypergraphs and bipartite graphs, obtained by treating the incidence matrix of the hypergraph as the biadjacency matrix of a bipartite graph. We use this connection to describe and analyse a…

Discrete Mathematics · Computer Science 2021-07-14 Martin Dyer , Catherine Greenhill , Pieter Kleer , James Ross , Leen Stougie

The Erd\H{o}s--Hajnal Theorem asserts that non-universal graphs, that is, graphs that do not contain an induced copy of some fixed graph $H$, have homogeneous sets of size significantly larger than one can generally expect to find in a…

Combinatorics · Mathematics 2018-05-22 Michal Amir , Asaf Shapira , Mykhaylo Tyomkyn

We provide a deterministic polynomial-time algorithm that, for a given $k$-uniform hypergraph $H$ with $n$ vertices and edge density $d$, finds a complete $k$-partite subgraph of $H$ with parts of size at least ${c(d, k)(\log…

Combinatorics · Mathematics 2026-02-23 Ferran Espuña

Kim, K\"uhn, Osthus and Tyomkyn (Trans. Amer. Math. Soc. 371 (2019), 4655--4742) greatly extended the well-known blow-up lemma of Koml\'os, S\'ark\"ozy and Szemer\'edi by proving a `blow-up lemma for approximate decompositions' which states…

Combinatorics · Mathematics 2020-01-13 Stefan Ehard , Felix Joos

Our goal is to investigate a close relative of the independent transversal problem in the class of infinite $K_n$-free graphs: we show that for any infinite $K_n$-free graph $G=(V,E)$ and $m\in \mathbb N$ there is a minimal $r=r(G,m)$ such…

Combinatorics · Mathematics 2017-06-02 Claude Laflamme , Andres A. Lopez , Daniel T. Soukup , Robert Woodrow