English
Related papers

Related papers: A Geometric Theory for Hypergraph Matching

200 papers

We identify a sufficient condition, treewidth-pliability, that gives a polynomial-time algorithm for an arbitrarily good approximation of the optimal value in a large class of Max-2-CSPs parameterised by the class of allowed constraint…

Discrete Mathematics · Computer Science 2024-01-04 Miguel Romero , Marcin Wrochna , Stanislav Živný

In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For such problems, we propose a hybrid approach of these techniques…

Computational Complexity · Computer Science 2008-12-18 Stephane Zampelli , Martin Mann , Yves Deville , Rolf Backofen

The stable matching problem is a prototype model in economics and social sciences where agents act selfishly to optimize their own satisfaction, subject to mutually conflicting constraints. A stable matching is a pairing of adjacent…

Disordered Systems and Neural Networks · Physics 2007-05-23 Stephan Mertens

We look at the question of which distance-regular graphs are core-complete, meaning they are isomorphic to their own core or have a complete core. We build on Roberson's homomorphism matrix approach by which method he proved the…

Combinatorics · Mathematics 2025-04-04 Annemarie Geertsema , Chris Godsil , Krystal Guo

We consider problems of finding a maximum size/weight $t$-matching without forbidden subgraphs in an undirected graph $G$ with the maximum degree bounded by $t+1$, where $t$ is an integer greater than $2$. Depending on the variant forbidden…

Data Structures and Algorithms · Computer Science 2024-05-02 Katarzyna Paluch , Mateusz Wasylkiewicz

The NP-hard Metric Dimension problem is to decide for a given graph G and a positive integer k whether there is a vertex subset of size at most k that separates all vertex pairs in G. Herein, a vertex v separates a pair {u,w} if the…

Computational Complexity · Computer Science 2012-11-08 Sepp Hartung , André Nichterlein

In multistage perfect matching problems we are given a sequence of graphs on the same vertex set and asked to find a sequence of perfect matchings, corresponding to the sequence of graphs, such that consecutive matchings are as similar as…

Data Structures and Algorithms · Computer Science 2021-05-11 Markus Chimani , Niklas Troost , Tilo Wiedera

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 rigidity theory is developed for frameworks in a metric space with two types of distance constraints. Mixed sparsity graph characterisations are obtained for the infinitesimal and continuous rigidity of completely regular bar-joint…

Metric Geometry · Mathematics 2019-08-26 Anthony Nixon , Stephen Power

We continue and extend previous work on the parameterized complexity analysis of the NP-hard Stable Roommates with Ties and Incomplete Lists problem, thereby strengthening earlier results both on the side of parameterized hardness as well…

Computational Complexity · Computer Science 2021-03-09 Robert Bredereck , Klaus Heeger , Dušan Knop , Rolf Niedermeier

Let $n,k,s$ be three integers such that $k\geq 2$ and $n\geq s\geq 1$. Let $H$ be a $k$-partite $k$-uniform hypergraph with $n$ vertices in each class. Aharoni (2017) showed that if $e(H)>(s-1)n^{k-1}$, then $H$ has a matching of size $s$.…

Combinatorics · Mathematics 2024-10-29 Hongliang Lu , Xinxin Ma

In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$: (i) [1-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph…

Combinatorics · Mathematics 2014-10-24 Béla Csaba , Daniela Kühn , Allan Lo , Deryk Osthus , Andrew Treglown

Consider the complete convex geometric graph on $2m$ vertices, $CGG(2m)$, i.e., the set of all boundary edges and diagonals of a planar convex $2m$-gon $P$. In [C. Keller and M. Perles, On the Smallest Sets Blocking Simple Perfect Matchings…

Combinatorics · Mathematics 2010-11-30 Chaya Keller , Micha A. Perles

We prove Farber's conjecture on the stable topological complexity of configuration spaces of graphs. The conjecture follows from a general lower bound derived from recent insights into the topological complexity of aspherical spaces. Our…

Algebraic Topology · Mathematics 2022-09-20 Ben Knudsen

For every positive integer $t$ we construct a finite family of triple systems ${\mathcal M}_t$, determine its Tur\'{a}n number, and show that there are $t$ extremal ${\mathcal M}_t$-free configurations that are far from each other in…

Combinatorics · Mathematics 2021-02-17 Xizhi Liu , Dhruv Mubayi , Christian Reiher

Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This subclass of perfect graphs has been extensively studied, due to both its interesting structure…

Computational Complexity · Computer Science 2010-02-03 George B. Mertzios , Ignasi Sau , Shmuel Zaks

A $3$-uniform hypergraph is a generalization of simple graphs where each hyperedge is a subset of vertices of size $3$. The degree of a vertex in a hypergraph is the number of hyperedges incident with it. The degree sequence of a hypergraph…

Combinatorics · Mathematics 2023-12-04 Runze Li , Istvan Miklos

The decision problem of perfect matchings in uniform hypergraphs is famously an NP-complete problem. It has been shown by Keevash--Knox--Mycroft [STOC, 2013] that for every $\varepsilon>0$, such decision problem restricted to $k$-uniform…

Combinatorics · Mathematics 2025-10-23 Jie Han , Jingwen Zhao

We establish a best-possible minimum codegree condition for the existence of a perfect tiling of a $3$-uniform hypergraph $H$ with copies of the generalised triangle $T$, which is the 3-uniform hypergraph with five vertices $a, b, c, d, e$…

Combinatorics · Mathematics 2025-05-12 Candida Bowtell , Amarja Kathapurkar , Natasha Morrison , Richard Mycroft

In this paper, we propose a geometric framework to analyze the convergence properties of gradient descent trajectories in the context of linear neural networks. We translate a well-known empirical observation of linear neural nets into a…

Machine Learning · Computer Science 2023-08-02 Yacine Chitour , Zhenyu Liao , Romain Couillet