matching
3168 papers tagged with this keyword
Rainbow Greedy Matching Algorithms
We consider the problem of finding a large rainbow matching in a random graph with randomly colored edges. In particular we analyze the performance of two greedy algorithms for this problem. The algorithms we study are colored versions of algorithms that were previously used to find large matchings in random graphs (i.e. the color-free version of our present problem).
Visualizing Geophylogenies -- Internal and External Labeling with Phylogenetic Tree Constraints
Published in Journal of Graph Algorithms and Applications vol. 29, no. 1, pp. 29-61 (2025)
• View Publication
• BIB
A geophylogeny is a phylogenetic tree (or dendrogram) where each leaf (e.g. biological taxon) has an associated geographic location (site). To clearly visualize a geophylogeny, the tree is typically represented as a crossing-free drawing next to a map. The correspondence between the taxa and the sites is either shown with matching labels on the map (internal labeling) or with leaders that connect each site to the corresponding leaf of the tree (external labeling). In both cases, a good order of the leaves is paramount for understanding the association between sites and taxa. We define several quality measures for internal labeling and give an efficient algorithm for optimizing them. In contrast, minimizing the number of leader crossings in an external labeling is NP-hard. On the positive side, we show that crossing-free instances can be solved in polynomial time and give a fixed-parameter tractable (FPT) algorithm. Furthermore, optimal solutions can be found in a matter of seconds on realistic instances using integer linear programming. Finally, we provide several efficient heuristic algorithms and experimentally show them to be near optimal on real-world and synthetic instances.
The algebraic multiplicity of the spectral radius of a hypertree
It is well-known that the spectral radius of a connected uniform hypergraph is an eigenvalue of the hypergraph. However, its algebraic multiplicity remains unknown. In this paper, we use the Poisson Formula and matching polynomials to determine the algebraic multiplicity of the spectral radius of a uniform hypertree.
Spectral radius and k-factor-critical graphs
For a nonnegative integer $k$, a graph $G$ is said to be $k$-factor-critical if $G-Q$ admits a perfect matching for any $Q\subseteq V(G)$ with $|Q|=k$. In this article, we prove spectral radius conditions for the existence of $k$-factor-critical graphs. Our result generalises one previous result on perfect matchings of graphs. Furthermore, we claim that the bounds on spectral radius in Theorem 3.1 are sharp.
On a relationship between the characteristic and matching polynomials of a uniform hypertree
A hypertree is a connected hypergraph without cycles. Further a hypertree is called an $r$-tree if, additionally, it is $r$-uniform. Note that 2-trees are just ordinary trees. A classical result states that for any 2-tree $T$ with characteristic polynomial $φ_T(λ)$ and matching polynomial $\varphi_T(λ)$, then $φ_T(λ)=\varphi_T(λ).$ More generally, suppose $\mathcal{T}$ is an $r$-tree of size $m$ with $r\geq2$. In this paper, we extend the above classical relationship to $r$-trees and establish that \[ φ_{\mathcal{T}}(λ)=\prod_{H \sqsubseteq \mathcal{T}}\varphi_{H}(λ)^{a_{H}}, \] where the product is over all connected subgraphs $H$ of $\mathcal{T}$, and the exponent $a_{H}$ of the factor $\varphi_{H}(λ)$ can be written as \[ a_H=b^{m-e(H)-|\partial(H)|}c^{e(H)}(b-c)^{|\partial(H)|},
\] where $e(H)$ is the size of $H$, $\partial(H)$ is the boundary of $H$, and $b=(r-1)^{r-1}, c=r^{r-2}$. In particular, for $r=2$, the above correspondence reduces to the classical result for ordinary trees. In addition, we resolve a conjecture by Clark-Cooper [{\em Electron. J. Combin.}, 2018] and show that for any subgraph $H$ of an $r$-tree $\mathcal{T}$ with $r\geq3$, $\varphi_H(λ)$ divides $φ_{\mathcal{T}}(λ)$, and additionally $φ_H(λ)$ divides $φ_{\mathcal{T}}(λ)$, if either $r\geq 4$ or $H$ is connected when $r=3$. Moreover, a counterexample is given for the case when $H$ is a disconnected subgraph of a 3-tree.
Uniform density in matroids, matrices and graphs
We give new characterizations for the class of uniformly dense matroids and study applications of these characterizations to graphic and real representable matroids. We show that a matroid is uniformly dense if and only if its base polytope contains a point with constant coordinates. As a main application, we derive new spectral, structural and classification results for uniformly dense graphs. In particular, we show that connected regular uniformly dense graphs are $1$-tough and thus contain a (near-)perfect matching. As a second application, we show that strictly uniformly dense real represented matroids can be represented by projection matrices with a constant diagonal and that they are parametrized by a subvariety of the Grassmannian.
Higher Dimer Covers on Snake Graphs
Snake graphs are a class of planar graphs that are important in the theory of cluster algebras. Indeed, the Laurent expansions of the cluster variables in cluster algebras from surfaces are given as weight generating functions for 1-dimer covers (or perfect matchings) of snake graphs. Moreover, the enumeration of 1-dimer covers of snake graphs provides a combinatorial interpretation of continued fractions. In particular, the number of 1-dimer covers of the snake graph $\mathscr{G}[a_1,\dots,a_n]$ is the numerator of the continued fraction $[a_1,\dots,a_n]$. This number is equal to the top left entry of the matrix product $\left(\begin{smallmatrix} a_1&1\\1&0 \end{smallmatrix}\right) \cdots \left(\begin{smallmatrix} a_n&1\\1&0 \end{smallmatrix}\right)$.
In this paper, we give enumerative results on $m$-dimer covers of snake graphs. We show that the number of $m$-dimer covers of the snake graph $\mathscr{G}[a_1,\ldots,a_n]$ is the top left entry of a product of analogous $(m+1)$-by-$(m+1)$ matrices. We discuss how our enumerative results are related to other known combinatorial formulas, and we suggest a generalization of continued fractions based on our methods. These generalized continued fractions provide some interesting open questions and a possibly novel approach towards Hermite's problem for cubic irrationals.
Enumeration of maximum matchings of graphs
Counting maximum matchings in a graph is of great interest in statistical mechanics,
solid-state chemistry, theoretical computer science, mathematics, among other disciplines. However, it is a challengeable problem to explicitly determine the number of maximum matchings of general graphs. In this paper, using Gallai-Edmonds structure theorem, we derive a computing formula for the number of maximum matching in a graph. According to the formula, we obtain an algorithm to enumerate maximum matchings of a graph. In particular, The formula implies that computing the number of maximum matchings of a graph is converted to compute the number of perfect matchings of some induced subgraphs of the graph. As an application, we calculate the number of maximum matchings of opt trees. The result extends a conclusion obtained by Heuberger and Wagner[C. Heuberger, S. Wagner, The number of maximum matchings in a tree, Discrete Math. 311 (2011) 2512--2542].
Concatenating Random Matchings
We consider the concatenation of $t$ uniformly random perfect matchings on $2n$ vertices, where the operation of concatenation is inspired by the multiplication of generators of the Brauer algebra $\mathfrak{B}_n(δ)$. For the resulting random string diagram $\mathsf{Br}_n(t)$, we observe a giant component if and only if $n$ is odd, and as $t\to\infty$ we obtain asymptotic results concerning the number of loops, the size of the giant component, and the number of loops of a given shape. Moreover, we give a local description of the giant component. These results mainly rely on the use of renewal theory and the coding of connected components of $\mathsf{Br}_n(t)$ by random vertex-exploration processes.
Normality of $k$-Matching Polytopes of Bipartite Graphs
The $k$-matching polytope of a graph is the convex hull of all its matchings of a given size $k$ when they are considered as indicator vectors. In this paper, we prove that the $k$-matching polytope of a bipartite graph is normal, that is, every integer point in its $t$-dilate is the sum of $t$ integers points of the original polytope. This generalizes the known fact that Birkhoff polytopes are normal. As a preliminary result, we prove that for bipartite graphs the $k$-matching polytope is equal to the fractional $k$-matching polytope, having thus the $H$-representation of the polytope. This generalizes the Birkhoff-Von Neumann Theorem which establish that every doubly stochastic matrix can be written as a convex combination of permutation matrices.
Matching Fields in Macaulay2
This article introduces the package MatchingFields for Macaulay2 and highlights some open problems. A matching field is a combinatorial object whose data encodes a candidate toric degeneration of a Grassmannian or partial flag variety of type A. Each coherent matching field is associated to a certain maximal cone of the respective tropical variety. The MatchingFields package provides methods to construct matching fields along with their rings, ideals, polyhedra and matroids. The package also supplies methods to test whether a matching field is coherent, linkage and gives rise to a toric degeneration.
Minimum $\ell$-degree thresholds for rainbow perfect matching in $k$-uniform hypergraphs
Given $n\in k\mathbb{N}$ elements set $V$ and $k$-uniform hypergraphs $\mathcal{H}_1,\ldots,\mathcal{H}_{n/k}$ on $V$. A rainbow perfect matching is a collection of pairwise disjoint edges $E_1\in \mathcal{H}_1,\ldots,E_{n/k}\in \mathcal{H}_{n/k}$ such that $E_1\cup\cdots\cup E_{n/k}=V$. In this paper, we determine the minimum $\ell$-degree condition that guarantees the existence of a rainbow perfect matching for sufficiently large $n$ and $\ell\geq k/2$.
Ramsey numbers of connected 4-clique matchings
In this paper, we determine the exact value of the $2$-edge-coloring Ramsey number of a connected $4$-clique matching $c(nK_4)$, which is a set of connected graphs containing an $nK_4$ is $13n-3$ for any positive integer $n \geq 3$. This is an extension of the result by Roberts (2017), which is proved only for $n\geq 18$. We also show that the result still holds when $n=2$ provided that $R_2(2K_4) \leq 23$.
Representative set statements for delta-matroids and the Mader delta-matroid
We present representative sets-style statements for linear delta-matroids, which are set systems that generalize matroids, with important connections to matching theory and graph embeddings. Furthermore, our proof uses a new approach of sieving polynomial families, which generalizes the linear algebra approach of the representative sets lemma to a setting of bounded-degree polynomials. The representative sets statements for linear delta-matroids then follow by analyzing the Pfaffian of the skew-symmetric matrix representing the delta-matroid. Applying the same framework to the determinant instead of the Pfaffian recovers the representative sets lemma for linear matroids. Altogether, this significantly extends the toolbox available for kernelization.
As an application, we show an exact sparsification result for Mader networks: Let $G=(V,E)$ be a graph and $\mathcal{T}$ a partition of a set of terminals $T \subseteq V(G)$, $|T|=k$. A $\mathcal{T}$-path in $G$ is a path with endpoints in distinct parts of $\mathcal{T}$ and internal vertices disjoint from $T$. In polynomial time, we can derive a graph $G'=(V',E')$ with $T \subseteq V(G')$, such that for every subset $S \subseteq T$ there is a packing of $\mathcal{T}$-paths with endpoints $S$ in $G$ if and only if there is one in $G'$, and $|V(G')|=O(k^3)$. This generalizes the (undirected version of the) cut-covering lemma, which corresponds to the case that $\mathcal{T}$ contains only two blocks.
To prove the Mader network sparsification result, we furthermore define the class of Mader delta-matroids, and show that they have linear representations. This should be of independent interest.
Integer k-matching preclusion of graphs
As a generalization of matching preclusion number of a graph, we provide the (strong) integer $k$-matching preclusion number, abbreviated as $MP^{k}$ number ($SMP^{k}$ number), which is the minimum number of edges (vertices and edges) whose deletion results in a graph that has neither perfect integer $k$-matching nor almost perfect integer $k$-matching. In this paper, we show that when $k$ is even, the ($SMP^{k}$) $MP^{k}$ number is equal to the (strong) fractional matching preclusion number. We obtain a necessary condition of graphs with an almost-perfect integer $k$-matching and a relational expression between the matching number and the integer $k$-matching number of bipartite graphs. Thus the $MP^{k}$ number and the $SMP^{k}$ number of complete graphs, bipartite graphs and arrangement graphs are obtained, respectively.
The diameter of randomly twisted hypercubes
Published in European J. Combin. 124 (2025) 104078
• View Publication
• BIB
The $n$-dimensional random twisted hypercube $\mathbf{G}_n$ is constructed recursively by taking two instances of $\mathbf{G}_{n-1}$, with any joint distribution, and adding a random perfect matching between their vertex sets. Benjamini, Dikstein, Gross, and Zhukovskii showed that its diameter is $O(n\log \log \log n/\log \log n)$ with high probability and at least ${(n - 1)/ \log_2 n}$. We improve their upper bound by showing that $$\operatorname{diam}(\mathbf{G}_n) = \big(1 + o(1)\big) \frac{n}{\log_2 n}$$ with high probability.
Menger's Theorem in bidirected graphs
Bidirected graphs are a generalisation of directed graphs that arises in the study of undirected graphs with perfect matchings. Menger's famous theorem - the minimum size of a set separating two vertex sets $X$ and $Y$ is the same as the maximum number of disjoint paths connecting them - is generally not true in bidirected graphs. We introduce a sufficient condition for $X$ and $Y$ which yields a version of Menger's Theorem in bidirected graphs that in particular implies its directed counterpart.
On ordered Ramsey numbers of matchings versus triangles
For graphs $G^<$ and $H^<$ with linearly ordered vertex sets, the \ordered Ramsey number $r_<(G^<,H^<)$ is the smallest positive integer $N$ such that any red-blue coloring of the edges of the complete ordered graph $K^<_N$ on $N$ vertices contains either a blue copy of $G^<$ or a red copy of $H^<$. Motivated by a problem of Conlon, Fox, Lee, and Sudakov (2017), we study the numbers $r_<(M^<,K^<_3)$ where $M^<$ is an ordered matching on $n$ vertices.
We prove that almost all $n$-vertex ordered matchings $M^<$ with interval chromatic number 2 satisfy $r_<(M^<,K^<_3) \in Ω((n/\log n)^{5/4})$ and $r_<(M^<,K^<_3) \in O(n^{7/4})$, improving a recent result by Rohatgi (2019). We also show that there are $n$-vertex ordered matchings $M^<$ with interval chromatic number at least 3 satisfying $r_<(M^<,K^<_3) \in Ω((n/\log n)^{4/3})$, which asymptotically matches the best known lower bound on these off-diagonal ordered Ramsey numbers for general $n$-vertex ordered matchings.
Kissing polytopes
Published in SIAM J. Discrete Math. 38(4), 2643-2664 (2024)
• View Publication
• BIB
We investigate the following question: how close can two disjoint lattice polytopes contained in a fixed hypercube be? This question stems from various contexts where the minimal distance between such polytopes appears in complexity bounds of optimization algorithms. We provide nearly matching lower and upper bounds on this distance and discuss its exact computation. We also give similar bounds in the case of disjoint rational polytopes whose binary encoding length is prescribed.
Anti-Ramsey number of matchings in $3$-uniform hypergraphs
Let $n,s,$ and $k$ be positive integers such that $k\geq 3$, $s\geq 3$ and $n\geq ks$. An $s$-matching $M_s$ in a $k$-uniform hypergraph is a set of $s$ pairwise disjoint edges. The anti-Ramsey number $\textrm{ar}(n,k,M_s)$ of an $s$-matching is the smallest integer $c$ such that each edge-coloring of the $n$-vertex $k$-uniform complete hypergraph with exactly $c$ colors contains an $s$-matching with distinct colors. In 2013, Özkahya and Young proposed a conjecture on the exact value of ar$(n,k,M_s)$ for all $n \geq sk$ and $k \geq 3$. A 2019 result by Frankl and Kupavskii verified this conjecture for all $n \geq sk+(s-1)(k-1)$ and $k \geq 3$. We aim to determine the value of ar$(n,3,M_s)$ for $3s \leq n < 5s-2$ in this paper. Namely, we prove that if $3s<n<5s-2$ and $n$ is large enough, then ar$(n,3,M_s)=\textrm{ex}(n,3,M_{s-1})+2$. Here $\textrm{ex}(n,3,M_{s-1})$ is the Turán number of an $(s-1)$-matching. Thus this result confirms the conjecture of Özkahya and Young for $k=3$, $3s<n<5s-2$ and sufficiently large $n$. For $n=ks$ and $k\geq 3$, we present a new construction for the lower bound of $\textrm{ar}(n,k,M_{s})$ which shows the conjecture by Özkahya and Young is not true. In particular, for $n=3s$, we prove that $\textrm{ar}(n,3,M_s)=\textrm{ex}(n,3,M_{s-1})+5$ for sufficiently large $n$.