matching
3168 papers tagged with this keyword
Excluded conformal minors of Birkhoff-von Neumann graphs with equal global forcing number and maximum anti-forcing number
Global forcing number and maximum anti-forcing number of matchable graphs (graphs with a perfect matching) were proposed in completely different situations with applications in theoretical chemistry. Surprisingly for bipartite graphs and some nonbipartite graphs as solid bricks (or Birkhoff-von Neumann graphs) G, the global forcing number gf(G) is at least the maximum anti-forcing number Af(G). It is natural to consider when gf(G) = Af(G) holds. For convenience, we call a matchable graph G strongly uniform if each conformal matchable subgraph G' always satisfies gf(G') = Af(G'). In this article, by applying the ear decomposition theorem and discussing the existence of a Hamilton cycle with positions of chords, we give "excluded conformal minors" and "structural" characterizations of matchable bipartite graphs and Birkhoff-von Neumann graphs that are strongly uniform respectively.
On $\mathcal{F}$-multicolor Turán number of hypergraph graphs
The Ruzsa-Szemerédi $(6,3)$-problem can be equivalently stated as determining the maximum number of edge-disjoint triangles on $n$ vertices such that no triangle is formed by edges from three distinct triangle-copies. Gowers and Janzer extended this problem by establishing an analogous result for complete graphs. A natural generalization of the two results, first introduced by Imolay, Karl, Nazy and Váli, asks for the maximum number of edge-disjoint copies of a graph $F$ on $n$ vertices such that no copy of $G$ is formed by edges originating from distinct $F$-copies. This maximum number, denoted by $ex_F(n,G)$, is called the {\em $F$-multicolor Turán number} of $G$. This paper focuses on the setting of uniform hypergraphs. We first prove that for $k$-uniform hypergraphs $\mathcal{G}$ and $\mathcal{F}$, $ex_{\mathcal{F}}(n,\mathcal{G})=o(n^k)$ if and only if there exists a homomorphism from $\mathcal{G}$ to $\mathcal{F}$. For degenerate case, we show that $ex_{\mathcal{F}}(n,\mathcal{G})=n^{k-o(1)}$ whenever $\mathcal{G}$ contains a $k$-uniform tight triangle. These results extend previous results. We further establish corresponding supersaturation and blowup statements. In the non-degenerate setting, we derive matching lower and upper bounds for $ex_{\mathcal{F}}(n,\mathcal{G})$. We give a necessary and sufficient condition for $ex_{\mathcal{F}}(n,\mathcal{G})$ to fail to attain the upper bound, under the assumption that the extremal graphs for $\mathcal{G}$ are stable. As an application, we refine a result due to Imolay, Karl, Nazy and Váli. Furthermore, we completely characterize $\mathcal{F}$ for which $ex_{\mathcal{F}}(n,\mathcal{G})$ does not attain the upper bound when $\mathcal{G}$ is one of the three special intersecting graphs: Fano plane, extended triangle and $r$-book of $r$-edges with $r=3,4$.
Minimum forcing numbers of perfect matchings of circular and prismatic graphs
Let $G$ be a graph with a perfect matching. Denote by $f(G)$ the minimum size of a matching in $G$ which is uniquely extendable to a perfect matching in $G$. Diwan (2019) proved by linear algebra that for $d$-hypercube $Q_d$ ($d\geq 2)$, $f(Q_n)=2^{d-2}$, settling a conjecture proposed by Pachter and Kim in 1998. Recently Mohammadian generalized this method to obtain a general result: for a bipartite graph $G$ on $n$ vertices, if there exists an involutory matrix $A$ on a field $F$ as a weighted adjacency matrix then $f(G\Box K_2)=\frac{n}{2}$. In this paper, under the same condition we obtain $f(G\Box C_{2k})=n ~(k\ge2)$. Also this method can be applied to some non-balanced bipartite graphs $G$ whenever $G$ admit a weighted bi-adjacency matrix with orthogonal rows.
Minimum maximal matchings in permutahedra
We prove that the minimal size $M(π_n)$ of a maximal matching in the permutahedron $π_n$ is asymptotically $n!/3$. On the one hand, we obtain a lower bound $M(π_n) \ge n! (n-1) / (3n-2)$ by considering $4$-cycles in the permutahedron. On the other hand, we obtain an asymptotical upper bound $M(π_n) \le n!(1/3+o(1))$ by multiple applications of Hall's theorem (similar to the approach of Forcade (1973) for the hypercube) and an exact upper bound $M(π_n) \le n!/3$ by an explicit construction. We also derive bounds on minimum maximal matchings in products of permutahedra.
Enumerating the number of $k$-matchings in successively amalgamated graphs
Published in Appl. Math. Comput. 510 (2026) Paper 129703, 9 pp
• View Publication
• BIB
In this paper, the transfer matrix technique using the $k$-matching vector is developed to compute the number of $k$-matchings in an arbitrary graph which can be constructed by successive amalgamations over sets of cardinality two. This widely extends known methods from the literature developed for computing the number of $k$-matchings in benzenoid chains, octagonal chains, cyclooctatetraene chains, and arbitrary cyclic chains. Two examples demonstrating how the present method can be applied are given, one of then being an elaborated chemical example.
Complexity Framework For Forbidden Subgraphs V: Beyond Simple Graphs
We continue the study of the recently-introduced C123-framework, for (simple) graph problems restricted to inputs specified by the forbidding of some finite set of subgraphs, to more general graph problems possibly involving multiedges and self-loops. We study specifically the problems Multigraph Matching Cut, Multigraph d-Cut and Partially Reflexive Stable Cut in this connection. The last may be seen as a Surjective Homomorphism problem to a path P_3 in which both leaves are looped while the interior vertex is loopless. We consider also another family of Surjective Homomorphism problems to a cycle in which only one vertex is loopless.
When one forbids a single (simple) subgraph, our first three problems exhibit the same complexity behaviour as C123-problems, but on finite sets of forbidden subgraphs, the classification appears more complex. While Multigraph Matching Cut and Multigraph d-Cut have the same classification as C123-problems, already Partially Reflexive Stable Cut fails to have. This is witnessed by forbidding as subgraphs both C_3 and H_1. Indeed, the difference of behaviour occurs only around pendant subdivisions of nets and pendant subdivisions of H_1. We examine this area in close detail.
Our other Surjective Homomorphism problem, ostensibly somewhat similar to Partially Reflexive Stable Cut, behaves very differently when the input is restricted to some class that is H-subgraph-free. For example, it is solvable in polynomial time on any class of bounded degree. Also, its hardness will never be preserved under any form of edge subdivision.
A Note on One-Hole Domino Tilings of Squares and Rectangles
We consider the number of domino tilings of an odd-by-odd rectangle that leave one hole. This problem is equivalent to the number of near-perfect matchings of the odd-by-odd rectangular grid. For any particular position of the vacancy on the $(2k+1)\times (2k+1)$ square grid, we show that the number of near-perfect matchings is a multiple of $2^k$, and from this follows a conjecture of Kong that the total number of near-perfect matchings is a multiple of $2^k$. We also determine the parity of the number of near-perfect matchings with a particular vacancy for the rectangle case.
Hardness of Hypergraph Edge Modification Problems
For a fixed graph $F$, let $ex_F(G)$ denote the size of the largest $F$-free subgraph of $G$. Computing or estimating $ex_F(G)$ for various pairs $F,G$ is one of the central problems in extremal combinatorics. It is thus natural to ask how hard is it to compute this function. Motivated by an old problem of Yannakakis from the 80's, Alon, Shapira and Sudakov [ASS'09] proved that for every non-bipartite graph $F$, computing $ex_F(G)$ is NP-hard. Addressing a conjecture of Ailon and Alon (2007), we prove a hypergraph analogue of this theorem, showing that for every $k \geq 3$ and every non-$k$-partite $k$-graph $F$, computing $ex_F(G)$ is NP-hard. Furthermore, we conjecture that our hardness result can be extended to all $k$-graphs $F$ other than a matching of fixed size. If true, this would give a precise characterization of the $k$-graphs $F$ for which computing $ex_F(G)$ is NP-hard, since we also prove that when $F$ is a matching of fixed size, $ex_F(G)$ is computable in polynomial time. This last result can be considered an algorithmic version of the celebrated Erdős-Ko-Rado Theorem.
The proof of [ASS'09] relied on a variety of tools from extremal graph theory, one of them being Turán's theorem. One of the main challenges we have to overcome in order to prove our hypergraph extension is the lack of a Turán-type theorem for $k$-graphs. To circumvent this, we develop a completely new graph theoretic approach for proving such hardness results.
Positive matching decompositions of the cartesian product of graphs
Let $Γ=(V,E)$ be a finite simple graph. A matching $M \subseteq E$ is positive if there exists a weight function on $V$ such that the matching $M$ is characterized by those edges with positive weights. A positive matching decomposition (pmd) of $Γ$ with $p$ parts is an ordered partition $E_1,\ldots,E_p$ of $E$ such that $E_i$ is a positive matching of $(V, E \setminus \bigcup_{j=1}^{i-1} E_j)$, for $i = 1, \ldots, p$. The smallest $p$ for which $Γ$ admits a pmd with $p$ parts is denoted by $\mathrm{pmd}(Γ)$. We study the pmd of the Cartesian product of graphs and give sharp upper bounds for them in terms of the pmds and chromatic numbers of their components. In special cases, we compute the pmd of grid graphs that is the Cartesian product of paths and cycles.
Satisfying sequences for rainbow partite matchings
Let $\mathcal F_1,\ldots, \mathcal F_s\subset [n]^k$ be a collection of $s$ families. In this paper, we address the following question: for which sequences $f_1,\ldots, f_s$ the conditions $|\ff_i|>f_i$ imply that the families contain a rainbow matching, that is, there are pairwise disjoint $F_1\in \ff_1,\ldots F_s\in \ff_s$? We call such sequences {\em satisfying}. Kiselev and the first author verified the conjecture of Aharoni and Howard and showed that $f_1 = \ldots = f_s=(s-1)n^{k-1}$ is satisfying for $s>470$. This is the best possible if the restriction is uniform over all families. However, it turns out that much more can be said about asymmetric restrictions. In this paper, we investigate this question in several regimes and in particular answer the questions asked by Kiselev and Kupavskii. We use a variety of methods, including concentration and anticoncentration results, spread approximations, and Combinatorial Nullstellenzats.
A note on Ordered Ruzsa-Szemerédi graphs
A recent breakthrough of Behnezhad and Ghafari [FOCS 2024] and subsequent work of Assadi, Khanna, and Kiss [SODA 2025] gave algorithms for the fully dynamic $(1-\varepsilon)$-approximate maximum matching problem whose runtimes are determined by a purely combinatorial quantity: the maximum density of Ordered Ruzsa-Szemerédi (ORS) graphs. We say a graph $G$ is an $(r,t)$-ORS graph if its edges can be partitioned into $t$ matchings $M_1,M_2, \ldots, M_t$ each of size $r$, such that for every $i$, $M_i$ is an induced matching in the subgraph $M_{i} \cup M_{i+1} \cup \cdots \cup M_t$. This is a relaxation of the extensively-studied notion of a Ruzsa-Szemerédi (RS) graph, the difference being that in an RS graph each $M_i$ must be an induced matching in $G$.
In this note, we show that these two notions are roughly equivalent. Specifically, let $\mathrm{ORS}(n)$ be the largest $t$ such that there exists an $n$-vertex ORS-$(Ω(n), t)$ graph, and define $\mathrm{RS}(n)$ analogously. We show that if $\mathrm{ORS}(n) \ge Ω(n^c)$, then for any fixed $δ> 0$, $\mathrm{RS}(n) \ge Ω(n^{c(1-δ)})$. This resolves a question of Behnezhad and Ghafari.
Matchings in Hypercubes Extend to Long Cycles
The $n$-dimensional hypercube graph $Q_n$ has as vertices all subsets of $\{1, \ldots, n\}$, and an edge between any two sets that differ in a single element. The Ruskey-Savage conjecture states that every matching of the $n$-dimensional hypercube $Q_n$ can be extended into a Hamilton cycle. We prove that matchings of $Q_n$ containing edges spanning at most $d = 5$ directions can be extended into a Hamilton cycle. We also characterize when these matchings of most $d = 5$ directions can be extended into a Hamilton path between two prescribed vertices. Our proofs work for arbitrary $d$ and $n$ where $d \le n$ assuming some extension properties hold in $Q_d$ which we verified by a computer for $d=5$.
Reconstructing hypergraph matching polynomials
By utilizing the recently developed hypergraph analogue of Godsil's identity by the second author, we prove that for all $n \geq k \geq 2$, one can reconstruct the matching polynomial of an $n$-vertex $k$-uniform hypergraph from the multiset of all induced sub-hypergraphs on $\lfloor \frac{k-1}{k}n \rfloor + 1$ vertices. This generalizes the well-known result of Godsil on graphs in 1981 to every uniform hypergraph. As a corollary, we show that for every graph $F$, one can reconstruct the number of $F$-factors in a graph under analogous conditions. We also constructed examples that imply the number $\lfloor \frac{k-1}{k}n \rfloor + 1$ is the best possible for all $n\geq k \geq 2$ with $n$ divisible by $k$.
Toric ideal of matching polytopes and edge colorings
In the present paper, we investigate the maximal degree of minimal generators of the toric ideal of the matching polytope of a graph. It is known that the toric ideal associated to a bipartite graph is generated by binomials of degree at most $3$. We show that this fact is equivalent to a result in the theory of edge colorings of bipartite multigraphs. Moreover, a characterization of bipartite graphs whose toric ideals are generated by quadratic binomials is given. Finally, we discuss the maximal degree of minimal generators of the toric ideal associated to a general graph and give a conjecture.
Colorful Helly via induced matchings
We establish a theorem regarding the maximum size of an {\it{induced}} matching in the bipartite complement of the incidence graph of a set system $(X,\mathcal{F})$. We show that this quantity plus one provides an upper bound on the colorful Helly number of this set system, i.e. the minimum positive integer $N$ for which the following statement holds: if finite subfamilies $\mathcal{F}_1,\ldots, \mathcal{F}_{N} \subset \mathcal{F}$ are such that $\cap_{F \in \mathcal{F}_{i}} F = 0$ for every $i=1,\ldots,N$, then there exists $F_i \in \mathcal{F}_i$ such that $F_1 \cap \ldots \cap F_{N} = \emptyset$. We will also discuss some natural refinements of this result and applications.
Spectral skeletons and applications
For a graph $G$, its spectral radius $ρ(G)$ is the largest eigenvalue of its adjacency matrix. Let $\mathcal{F}$ be a finite family of graphs with $\min_{F\in \mathcal{F}}χ(F)=r+1\geq3$, where $χ(F)$ is the chromatic number of $F$. Set $t=\max_{F\in\mathcal{F}}|F|$. Let $T(rt,r)$ be the Turán graph of order $rt$ with $r$ parts. Assume that some $F_{0}\subseteq\mathcal{F}$ is a subgraph of the graph obtained from $T(rt,r)$ by embedding a path or a matching in one part. Let ${\rm EX}(n,\mathcal{F})$ be the set of graphs with the maximum number of edges among all the graphs of order $n$ containing not any $F\in\mathcal{F}$. Simonovits \cite{S1,S2} gave general results on the graphs in ${\rm EX}(n,\mathcal{F})$. Let ${\rm SPEX}(n,\mathcal{F})$ be the set of graphs with the maximum spectral radius among all the graphs of order $n$ containing not any $F\in\mathcal{F}$. Motivated by the work of Simonovits, we characterize the specified structure of the graphs in ${\rm SPEX}(n,\mathcal{F})$ in this paper. Moreover, some applications are also included.
Reconstruction of caterpillar tanglegrams
A tanglegram consists of two rooted binary trees with the same number of leaves and a perfect matching between the leaves of the trees. Given a size-$n$ tanglegram, i.e., a tanglegram for two trees with $n$ leaves, a multiset of induced size-$(n-1)$ tanglegrams is obtained by deleting a pair of matched leaves in every possible way. Here, we analyze whether a size-$n$ tanglegram is uniquely encoded by this multiset of size-$(n-1)$ tanglegrams. We answer this question affirmatively in the case that at least one of the two trees of the tanglegram is a caterpillar tree.
Complexity and Algorithm for the Matching vertex-cutset Problem
In 1985, Chvátal introduced the concept of star cutsets as a means to investigate the properties of perfect graphs, which inspired many researchers to study cutsets with some specific structures, for example, star cutsets, clique cutsets, stable cutsets. In recent years, approximation algorithms have developed rapidly, the computational complexity associated with determining the minimum vertex cut possessing a particular structural property have attracted considerable academic attention.
In this paper, we demonstrate that determining whether there is a matching vertex-cutset in $H$ with size at most $k$, is $\mathbf{NP}$-complete, where $k$ is a given positive integer and $H$ is a connected graph. Furthermore, we demonstrate that for a connected graph $H$, there exists a $2$-approximation algorithm in $O(nm^2)$ for us to find a minimum matching vertex-cutset. Finally, we show that every plane graph $H$ satisfying $H\not\in\{K_2, K_4\}$ contains a matching vertex-cutset with size at most three, and this bound is tight.
Local Limits of Small World Networks
Small-world networks, known for their high local clustering and short average path lengths, are a fundamental structure in many real-world systems, including social, biological, and technological networks. We apply the theory of local convergence (Benjamini-Schramm convergence) to derive the limiting behavior of the local structures for two of the most commonly studied small-world network models: the Watts-Strogatz model and the Kleinberg model. Establishing local convergence enables us to show that key network measures, such as PageRank, clustering coefficients, and maximum matching size, converge as network size increases with their limits determined by the graph's local structure. Additionally, this framework facilitates the estimation of global phenomena, such as information cascades, using local information from small neighborhoods. As an additional outcome of our results, we observe a critical change in the behavior of the limit exactly when the parameter governing long-range connections in the Kleinberg model crosses the threshold where decentralized search remains efficient, offering a new perspective on why decentralized algorithms fail in certain regimes.
Tiling $H$ in dense graphs
We determine asymptotically the two extremal constructions for the tiling problem of the $H$-shaped tree. In particular, the first extremal construction is close to the complement of two cliques, in contrast to previously studied bipartite graphs, where the first extremal construction is close to the complement of a single clique. This result refutes one of Lang's conjectures [arXiv:2308.12281], which seeks to generalize the Erdős Matching Conjecture.