English
Related papers

Related papers: A Separator Theorem for Hypergraphs and a CSP-SAT …

200 papers

A simple probabilistic argument shows that every $r$-uniform hypergraph with $m$ edges contains an $r$-partite subhypergraph with at least $\frac{r!}{r^r}m$ edges. The celebrated result of Edwards states that in the case of graphs, that is…

Combinatorics · Mathematics 2025-06-18 Eero Räty , István Tomon

We prove that for each integer $r\geq 2$, there exists a constant $C_r>0$ with the following property: for any $0<\varepsilon \leq 1/2$ and any graph $G$ with clique number at most $r,$ there is a partition of $V(G)$ into at most…

Combinatorics · Mathematics 2024-12-02 António Girão , Toby Insley

We prove that every $n$-vertex $K_t$-minor-free graph $G$ of maximum degree $\Delta$ has a set $F$ of $O(t^2(\log t)^{1/4}\sqrt{\Delta n})$ edges such that every component of $G - F$ has at most $n/2$ vertices. This is best possible up to…

Combinatorics · Mathematics 2023-10-24 Gwenaël Joret , William Lochet , Michał T. Seweryn

An $r$-cut of a $k$-uniform hypergraph is a partition of its vertex set into $r$ parts, and the size of the cut is the number of edges which have at least one vertex in each part. The study of the possible size of the largest $r$-cut in a…

Combinatorics · Mathematics 2025-11-12 Oliver Janzer , Julien Portier

An {\em ordered $r$-graph} is an $r$-uniform hypergraph whose vertex set is linearly ordered. Given $2\leq k\leq r$, an ordered $r$-graph $H$ is {\em interval} $k$-{\em partite} if there exist at least $k$ disjoint intervals in the ordering…

Combinatorics · Mathematics 2020-04-13 Zoltán F\" uredi , Tao Jiang , Alexandr Kostochka , Dhruv Mubayi , Jacques Verstraëte

An independent transversal in a multipartite graph is an independent set that intersects each part in exactly one vertex. We show that for every even integer $r\ge 2$, there exist $c_r>0$ and $n_0$ such that every $r$-partite graph with…

Combinatorics · Mathematics 2025-04-08 Yantao Tang , Yi Zhao

In this paper, we study the problem of determining the maximum number of edges in an $n$-vertex $r$-uniform hypergraph that contains no $(k+1)$-connected subgraph. The graph case is a classical problem initiated by Mader, central to graph…

Combinatorics · Mathematics 2026-04-21 Jie Ma , Shengjie Xie , Zhiheng Zheng

A theorem of Shearer states that every $n$-vertex triangle-free graph of maximum degree $d \geq 2$ contains an independent set of size at least $(d\log d - d + 1)/(d - 1)^2 \cdot n$. Ajtai, Koml\'{o}s, Pintz, Spencer and Szemer\'{e}di…

Combinatorics · Mathematics 2025-12-18 Jacques Verstraete , Chase Wilson

Let $G$ be a graph with $m$ edges and let $\mathrm{mc}(G)$ denote the size of a largest cut of $G$. The difference $\mathrm{mc}(G)-m/2$ is called the surplus $\mathrm{sp}(G)$ of $G$. A fundamental problem in MaxCut is to determine…

Combinatorics · Mathematics 2023-08-22 Jinghua Deng , Jianfeng Hou , Siwei Lin , Qinghou Zeng

A separating path system for a graph $G$ is a collection $\mathcal{P}$ of paths in $G$ such that for every two edges $e$ and $f$ in $G$, there is a path in $\mathcal{P}$ that contains $e$ but not $f$. We show that every $n$-vertex graph has…

Combinatorics · Mathematics 2024-05-30 Shoham Letzter

We establish that a simple polynomial-time algorithm that we call reweighted spectral partitioning obtains small 2/3-balanced vertex-separators for a number of graph classes, including $O(\sqrt{n})$-sized separators for planar graphs,…

Data Structures and Algorithms · Computer Science 2025-11-18 Jack Spalding-Jamieson

We show a method resulting in the improvement of several polynomial-space, exponential-time algorithms. An instance of the problem Max (r,2)-CSP, or simply Max 2-CSP, is parametrized by the domain size r (often 2), the number of variables n…

Data Structures and Algorithms · Computer Science 2017-11-20 Serge Gaspers , Gregory B. Sorkin

Let $G$ be a triangle-free graph with $n$ vertices and average degree $t$. We show that $G$ contains at least \[ e^{(1-n^{-1/12})\frac{1}{2}\frac{n}{t}\ln t (\frac{1}{2}\ln t-1)} \] independent sets. This improves a recent result of the…

Combinatorics · Mathematics 2019-02-20 Jeff Cooper , Kunal Dutta , Dhruv Mubayi

We prove that in any $n$-vertex complete graph there is a collection $\mathcal{P}$ of $(1 + o(1))n$ paths that strongly separates any pair of distinct edges $e, f$, meaning that there is a path in $\mathcal{P}$ which contains $e$ but not…

Combinatorics · Mathematics 2023-12-25 Cristina G. Fernandes , Guilherme Oliveira Mota , Nicolás Sanhueza-Matamala

An r-cut of a k-uniform hypergraph H is a partition of the vertex set of H into r parts and the size of the cut is the number of edges which have a vertex in each part. A classical result of Edwards says that every m-edge graph has a 2-cut…

Combinatorics · Mathematics 2019-07-01 David Conlon , Jacob Fox , Matthew Kwan , Benny Sudakov

Partitioning the vertices of a graph into two roughly equal parts while minimizing the number of edges crossing the cut is a fundamental problem (called Balanced Separator) that arises in many settings. For this problem, and variants such…

Computational Complexity · Computer Science 2015-03-20 Venkatesan Guruswami , Ali Kemal Sinop , Yuan Zhou

The {\sc $c$-Balanced Separator} problem is a graph-partitioning problem in which given a graph $G$, one aims to find a cut of minimum size such that both the sides of the cut have at least $cn$ vertices. In this paper, we present new…

Data Structures and Algorithms · Computer Science 2010-11-22 Manjish Pal

Many load balancing problems that arise in scientific computing applications ask to partition a graph with weights on the vertices and costs on the edges into a given number of almost equally-weighted parts such that the maximum boundary…

Data Structures and Algorithms · Computer Science 2007-05-23 David Steurer

Let $n, r, k$ be positive integers such that $3\leq k < n$ and $2\leq r \leq k-1$. Let $m(n, r, k)$ denote the maximum number of edges an $r$-uniform hypergraph on $n$ vertices can have under the condition that any collection of $i$ edges,…

Discrete Mathematics · Computer Science 2012-10-05 Niranjan Balachandran , Srimanta Bhattacharya

Let $A$ and $B$ be sets of vertices in a graph $G$. Menger's theorem states that for every positive integer $k$, either there exists a collection of $k$ vertex-disjoint paths between $A$ and $B$, or $A$ can be separated from $B$ by a set of…

Combinatorics · Mathematics 2023-09-18 Peter Gartland , Tuukka Korhonen , Daniel Lokshtanov
‹ Prev 1 2 3 10 Next ›