English
Related papers

Related papers: Monotone Circuit Complexity of Matching

200 papers

The matching complex of a graph is the simplicial complex whose vertex set is the set of edges of the graph with a face for each independent set of edges. In this paper we completely characterize the pairs (graph, matching complex) for…

Combinatorics · Mathematics 2020-03-24 Margaret Bayer , Bennet Goeckner , Marija Jelić Milutinović

Let $[q] = \{0,1,\ldots,q-1\}$, let $\Delta[q]$ denote the simplex of probability measures on $[q]$, and let $\gamma$ denote the Lebesgue measure normalized on $\Delta[q]$. We prove that for any symmetric monotone function $f \colon[q]^n…

Probability · Mathematics 2026-05-20 Saba Lepsveridze , Allen Lin

A \textit{rainbow subgraph} of an edge-colored graph is a subgraph whose edges have distinct colors. The \textit{color degree} of a vertex $v$ is the number of different colors on edges incident to $v$. We show that if $n$ is large enough…

Combinatorics · Mathematics 2012-04-17 Alexandr Kostochka , Florian Pfender , Matthew Yancey

In this paper, we study the problem of recovering the latent vertex correspondence between two correlated random graphs with vastly inhomogeneous and unknown edge probabilities between different pairs of vertices. Inspired by and extending…

Data Structures and Algorithms · Computer Science 2025-08-19 Jian Ding , Yumou Fei , Yuanzheng Wang

Let $D_{n,\gamma}$ be the complex of graphs on $n$ vertices and domination number at least $\gamma$. We prove that $D_{n,n-2}$ has the homotopy type of a finite wedge of 2-spheres. This is done by using discrete Morse theory techniques.…

Algebraic Topology · Mathematics 2021-02-16 Jesús González , Teresa I. Hoekstra-Mendoza

Standard mixed-integer programming formulations for the stable set problem on $n$-node graphs require $n$ integer variables. We prove that this is almost optimal: We give a family of $n$-node graphs for which every polynomial-size MIP…

Discrete Mathematics · Computer Science 2024-03-14 Jamico Schade , Makrand Sinha , Stefan Weltge

K\H onig's theorem says that the vertex cover number of every bipartite graph is at most its matching number (in fact they are equal since, trivially, the matching number is at most the vertex cover number). An equivalent formulation of K\H…

Combinatorics · Mathematics 2025-04-03 Louis DeBiasio , António Girão , Penny Haxell , Maya Stein

An obstacle representation of a graph $G$ is a set of points in the plane representing the vertices of $G$, together with a set of polygonal obstacles such that two vertices of $G$ are connected by an edge in $G$ if and only if the line…

Combinatorics · Mathematics 2017-07-18 Martin Balko , Josef Cibulka , Pavel Valtr

A nontrivial connected graph is matching covered if each edge belongs to some perfect matching. For most problems pertaining to perfect matchings, one may restrict attention to matching covered graphs; thus, there is extensive literature on…

Combinatorics · Mathematics 2025-11-10 Rohinee Joshi , Santhosh Raghul , Nishad Kothari

For a connected graph $G$, let $\mu(G)$ denote the distance spectral radius of $G$. A matching in a graph $G$ is a set of disjoint edges of $G$. The maximum size of a matching in $G$ is called the matching number of $G$, denoted by…

Combinatorics · Mathematics 2025-12-04 Zengzhao Xu , Weige Xi , Ligong Wang

Significant work has been done on computing the ``average'' optimal solution value for various $\mathsf{NP}$-complete problems using the Erd\"{o}s-R\'{e}nyi model to establish \emph{critical thresholds}. Critical thresholds define narrow…

Discrete Mathematics · Computer Science 2024-10-03 Christopher Sumnicht , Jamison W. Weber , Dhanush R. Giriyan , Arunabha Sen

We establish new separations between the power of monotone and general (non-monotone) Boolean circuits: - For every $k \geq 1$, there is a monotone function in ${\sf AC^0}$ that requires monotone circuits of depth $\Omega(\log^k n)$. This…

Computational Complexity · Computer Science 2023-05-12 Bruno P. Cavalar , Igor C. Oliveira

As massive graphs become more prevalent, there is a rapidly growing need for scalable algorithms that solve classical graph problems, such as maximum matching and minimum vertex cover, on large datasets. For massive inputs, several…

Data Structures and Algorithms · Computer Science 2018-12-31 Sepehr Assadi , MohammadHossein Bateni , Aaron Bernstein , Vahab Mirrokni , Cliff Stein

We investigate the number of maximal independent set queries required to reconstruct the edges of a hidden graph. We show that randomised adaptive algorithms need at least $\Omega(\Delta^2 \log(n / \Delta) / \log \Delta)$ queries to…

Data Structures and Algorithms · Computer Science 2024-04-05 Lukas Michel , Alex Scott

We give several new lower bounds on size of homogeneous non-commutative circuits. We present an explicit homogeneous bivariate polynomial of degree $d$ which requires homogeneous non-commutative circuit of size $\Omega(d/\log d)$. For an…

Computational Complexity · Computer Science 2023-01-05 Prerona Chatterjee , Pavel Hrubeš

This paper formulates a necessary and sufficient condition for a generic graph matching problem to be equivalent to the maximum vertex and edge weight clique problem in a derived association graph. The consequences of this results are…

Artificial Intelligence · Computer Science 2009-12-24 Brijnesh Jain , Klaus Obermayer

We prove new monogamy of entanglement bounds for two-local qudit Hamiltonians of rank-one projectors without one-local terms. In particular, we certify the maximum energy in terms of the maximum matching of the underlying interaction graph…

In this paper we further investigate the well-studied problem of finding a perfect matching in a regular bipartite graph. The first non-trivial algorithm, with running time $O(mn)$, dates back to K\"{o}nig's work in 1916 (here $m=nd$ is the…

Data Structures and Algorithms · Computer Science 2008-11-18 Ashish Goel , Michael Kapralov , Sanjeev Khanna

We separate monotone analogues of L and NL by proving that any monotone switching network solving directed connectivity on $n$ vertices must have size at least $n^(\Omega(\lg(n)))$.

Computational Complexity · Computer Science 2016-12-01 Aaron Potechin

The maximum number of non-crossing straight-line perfect matchings that a set of $n$ points in the plane can have is known to be $O(10.0438^n)$ and $\Omega^*(3^n)$. The lower bound, due to Garc\'ia, Noy, and Tejel (2000) is attained by the…

Computational Geometry · Computer Science 2017-11-20 Andrei Asinowski , Günter Rote
‹ Prev 1 8 9 10 Next ›