matching
3278 papers tagged with this keyword
Fractional matching preclusion of fault Hamiltonian graphs
Matching preclusion is a measure of robustness in the event of edge failure in interconnection networks. As a generalization of matching preclusion, the fractional matching preclusion number (FMP number for short) of a graph is the minimum number of edges whose deletion results in a graph that has no fractional perfect matchings, and the fractional strong matching preclusion number (FSMP number for short) of a graph is the minimum number of edges and/or vertices whose deletion leaves a resulting graph with no fractional perfect matchings. A graph $G$ is said to be $f$-fault Hamiltonian if there exists a Hamiltonian cycle in $G-F$ for any set $F$ of vertices and/or edges with $|F|\leq f$. In this paper, we establish the FMP number and FSMP number of $(δ-2)$-fault Hamiltonian graphs with minimum degree $δ\geq 3$. As applications, the FMP number and FSMP number of some well-known networks are determined.
Improved Bound on Vertex Degree Version of Erdős Matching Conjecture
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $H$, let $δ_1(H)$ denote the minimum vertex degree of $H$, and $ν(H)$ denote the size of the largest matching in $H$. In this paper, we show that for any $k\geq 3$ and $β>0$, there exists an integer $n_0(β,k)$ such that for positive integers $n\geq n_0$ and $m\leq (\frac{k}{2(k-1)}-β)\frac{n}{k}$, if $H$ is an $n$-vertex $k$-graph with $δ_1(H)>{{n-1}\choose {k-1}}-{{n-m}\choose {k-1}},$ then $ν(H)\geq m$. This improves upon earlier results of Bollobás, Daykin and Erdős (1976) for the range $n> 2k^3(m+1)$ and Huang and Zhao (2017) for the range $n\geq 3k^2 m$.
Edge colorings and circular flows on regular graphs
Published in Journal Graph Theory 99 (2022) 399-413
• View Publication
• BIB
Let $φ_c(G)$ be the circular flow number of a bridgeless graph $G$. In [Edge-colorings and circular flow numbers of regular graphs, J. Graph Theory 79 (2015) 1-7] it was proved that, for every $t \geq 1$, $G$ is a bridgeless $(2t+1)$-regular graph with $φ_c(G) \in \{2+\frac{1}{t}, 2 + \frac{2}{2t-1}\}$ if and only if $G$ has a perfect matching $M$ such that $G-M$ is bipartite. This implies that $G$ is a class 1 graph. For $t=1$, all graphs with circular flow number bigger than 4 are class 2 graphs. We show for all $t \geq 1$, that $2 + \frac{2}{2t-1} = \inf \{ φ_c(G)\colon G \text{ is a } (2t+1) \text{-regular class } 2 \text{ graph}\}$. This was conjectured to be true in [Edge-colorings and circular flow numbers of regular graphs, J. Graph Theory 79 (2015) 1-7]. Moreover we prove that $\inf\{ φ_c(G)\colon G $ is a $ (2t+1)$-regular class $1$ graph with no perfect matching whose removal leaves a bipartite graph$ \} = 2 + \frac{2}{2t-1}$. We further disprove the conjecture that every $(2t+1)$-regular class $1$ graph has circular flow number at most $2+\frac{2}{t}$.
Fractional strong matching preclusion for Cartesian product graphs
Published
• View Publication
• BIB
The strong matching preclusion number of a graph, introduced by Park and Ihm in 2011, is the minimum number of vertices and edges whose deletion results in a graph that has neither perfect matchings nor almost perfect matchings. As a generalization, the fractional strong matching preclusion number of a graph is the minimum number of edges and vertices whose deletion leaves the resulting graph without a fractional perfect matching. In this paper, we obtain the fractional strong matching preclusion number for Cartesian product graphs. As an application, the fractional strong matching preclusion number for torus networks is obtained.
On linearization coefficients of $q$-Laguerre polynomials
Published in Electron. J. Comb. 27, 2 (2020)
• View Publication
• BIB
The linearization coefficient $\mathcal{L}(L_{n_1}(x)\dots L_{n_k}(x))$ of classical Laguerre polynomials $L_n(x)$ is known to be equal to the number of $(n_1,\dots,n_k)$-derangements, which are permutations with a certain condition. Kasraoui, Stanton and Zeng found a $q$-analog of this result using $q$-Laguerre polynomials with two parameters $q$ and $y$. Their formula expresses the linearization coefficient of $q$-Laguerre polynomials as the generating function for $(n_1,\dots,n_k)$-derangements with two statistics counting weak excedances and crossings. In this paper their result is proved by constructing a sign-reversing involution on marked perfect matchings.
Regular graphs with equal matching number and independence number
Published
• View Publication
• BIB
Let $r\geq 3$ be an integer and $G$ be a graph. Let $δ(G), Δ(G)$, $α(G)$ and $μ(G)$ denotes minimum degree, maximum degree, independence number and matching number of $G$, respectively. Recently, Caro, Davila and Pepper proved $δ(G)α(G)\leq Δ(G)μ(G)$. Mohr and Rautenbach characterized the extremal graphs for non-regular graphs and 3-regular graphs. In this note, we characterize the extremal graphs for all $r$-regular graphs in term of Gallai-Edmonds Structure Theorem, which extends Mohr and Rautenbach's result.
Rainbow matchings in $k$-partite hypergraphs
Published
• View Publication
• BIB
In this paper, we prove a conjecture of Aharoni and Howard on the existence of rainbow (transversal) matchings in sufficiently large families $\mathcal F_1,\ldots, \mathcal F_s$ of tuples in $\{1,\ldots, n\}^k$, provided $s\ge 470.$
On the general position number of complementary prisms
The general position number ${\rm gp}(G)$ of a graph $G$ is the cardinality of a largest set of vertices $S$ such that no element of $S$ lies on a geodesic between two other elements of $S$. The complementary prism $G\overline{G}$ of $G$ is the graph formed from the disjoint union of $G$ and its complement $\overline{G}$ by adding the edges of a perfect matching between them. It is proved that ${\rm gp}(G\overline{G})\le n(G) + 1$ if $G$ is connected and ${\rm gp}(G\overline{G})\le n(G)$ if $G$ is disconnected. Graphs $G$ for which ${\rm gp}(G\overline{G}) = n(G) + 1$ holds, provided that both $G$ and $\overline{G}$ are connected, are characterized. A sharp lower bound on ${\rm gp}(G\overline{G})$ is proved. If $G$ is a connected bipartite graph or a split graph then ${\rm gp}(G\overline{G})\in \{n(G), n(G)+1\}$. Connected bipartite graphs and block graphs for which ${\rm gp}(G\overline{G})=n(G)+1$ holds are characterized. A family of block graphs is constructed in which the ${\rm gp}$-number of their complementary prisms is arbitrary smaller than their order.
Theoretical Analysis of Sequential Importance Sampling Algorithms for a Class of Perfect Matching Problems
This paper analyzes the performance of sequential importance sampling algorithms for estimating the number of perfect matchings in bipartite graphs. Precise bounds on the number of samples required to yield an accurate estimate are derived. In doing so, moments of permutation statistics are computed using generating functions and nonstandard limit theorems are derived by expressing perfect matchings as a time-inhomogeneous Markov chain.
Phylogenetic trees, augmented perfect matchings, and a Thron-type continued fraction (T-fraction) for the Ward polynomials
Published in Electronic Journal of Combinatorics 27(4), article P4.6 (2020)
• View Publication
• BIB
We find a Thron-type continued fraction (T-fraction) for the ordinary generating function of the Ward polynomials, as well as for some generalizations employing a large (indeed infinite) family of independent indeterminates. Our proof is based on a bijection between super-augmented perfect matchings and labeled Schröder paths, which generalizes Flajolet's bijection between perfect matchings and labeled Dyck paths.
Counting Maximum Matchings in Planar Graphs Is Hard
Here we prove that counting maximum matchings in planar, bipartite graphs is #P-complete. This is somewhat surprising in the light that the number of perfect matchings in planar graphs can be computed in polynomial time. We also prove that counting non-necessarily perfect matchings in planar graphs is already #P-complete if the problem is restricted to bipartite graphs. So far hardness was proved only for general, non-necessarily bipartite graphs.
A note on tight cuts in matching-covered graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (June 14, 2021) dmtcs:6013
• View Publication
• BIB
Edmonds, Lovász, and Pulleyblank showed that if a matching covered graph has a nontrivial tight cut, then it also has a nontrivial ELP-cut. Carvalho et al. gave a stronger conjecture: if a matching covered graph has a nontrivial tight cut $C$, then it also has a nontrivial ELP-cut that does not cross $C$. Chen, et al gave a proof of the conjecture. This note is inspired by the paper of Carvalho et al. We give a simplified proof of the conjecture, and prove the following result which is slightly stronger than the conjecture: if a nontrivial tight cut $C$ of a matching covered graph $G$ is not an ELP-cut, then there is a sequence $G_1=G, G_2,\ldots,G_r, r\geq2$ of matching covered graphs, such that for $i=1, 2,\ldots, r-1$, $G_i$ has an ELP-cut $C_i$, and $G_{i+1}$ is a $C_i$-contraction of $G_i$, and $C$ is a $2$-separation cut of $G_r$.
The Matching Number and Hamiltonicity of Graphs
Published
• View Publication
• BIB
The matching number of a graph G is the size of a maximum matching in the graph. In this note, we present a sufficient condition involving the matching number for the Hamiltonicity of graphs.
Algorithmic Number On the Forehead Protocols Yielding Dense Ruzsa-Szemerédi Graphs and Hypergraphs
Published
• View Publication
• BIB
We describe algorithmic Number On the Forehead protocols that provide dense Ruzsa-Szemerédi graphs. One protocol leads to a simple and natural extension of the original construction of Ruzsa and Szemerédi. The graphs induced by this protocol have $n$ vertices, $Ω(n^2/\log n)$ edges, and are decomposable into $n^{1+O(1/\log \log n)}$ induced matchings. Another protocol is an explicit (and slightly simpler) version of the construction of Alon, Moitra and Sudakov, producing graphs with similar properties. We also generalize the above protocols to more than three players, in order to construct dense uniform hypergraphs in which every edge lies in a positive small number of simplices.
Matching preclusion and strong matching preclusion of the bubble-sort star graphs
Since a plurality of processors in a distributed computer system working in parallel, to ensure the fault tolerance and stability of the network is an important issue in distributed systems. As the topology of the distributed network can be modeled as a graph, the (strong) matching preclusion in graph theory can be used as a robustness measure for missing edges in parallel and distributed networks, which is defined as the minimum number of (vertices and) edges whose deletion results in the remaining network that has neither a perfect matching nor an almost-perfect matching. The bubble-sort star graph is one of the validly discussed interconnection networks related to the distributed systems. In this paper, we show that the strong matching preclusion number of an $n$-dimensional bubble-sort star graph $BS_n$ is $2$ for $n\geq3$ and each optimal strong matching preclusion set of $BS_n$ is a set of two vertices from the same bipartition set. Moreover, we show that the matching preclusion number of $BS_n$ is $2n-3$ for $n\geq3$ and that every optimal matching preclusion set of $BS_n$ is trivial.
Multi-transversals for Triangles and the Tuza's Conjecture
Published
• View Publication
• BIB
In this paper, we study a primal and dual relationship about triangles: For any graph $G$, let $ν(G)$ be the maximum number of edge-disjoint triangles in $G$, and $τ(G)$ be the minimum subset $F$ of edges such that $G \setminus F$ is triangle-free. It is easy to see that $ν(G) \leq τ(G) \leq 3 ν(G)$, and in fact, this rather obvious inequality holds for a much more general primal-dual relation between $k$-hyper matching and covering in hypergraphs. Tuza conjectured in $1981$ that $τ(G) \leq 2 ν(G)$, and this question has received attention from various groups of researchers in discrete mathematics, settling various special cases such as planar graphs and generalized to bounded maximum average degree graphs, some cases of minor-free graphs, and very dense graphs. Despite these efforts, the conjecture in general graphs has remained wide open for almost four decades.
In this paper, we provide a proof of a non-trivial consequence of the conjecture; that is, for every $k \geq 2$, there exist a (multi)-set $F \subseteq E(G): |F| \leq 2k ν(G)$ such that each triangle in $G$ overlaps at least $k$ elements in $F$. Our result can be seen as a strengthened statement of Krivelevich's result on the fractional version of Tuza's conjecture (and we give some examples illustrating this.) The main technical ingredient of our result is a charging argument, that locally identifies edges in $F$ based on a local view of the packing solution. This idea might be useful in further studying the primal-dual relations in general and the Tuza's conjecture in particular.
Permutations with restricted movement
Published
• View Publication
• BIB
A restricted permutation of a locally finite directed graph $G=(V,E)$ is a vertex permutation $π: V\to V$ for which $(v,π(v))\in E$, for any vertex $v\in V$. The set of such permutations, denoted by $Ω(G)$, with a group action induced from a subset of graph isomorphisms form a topological dynamical system. We focus on the particular case presented by Schmidt and Strasser (2016) of restricted $\mathbb{Z}^d$ permutations, in which $Ω(G)$ is a subshift of finite type. We show a correspondence between restricted permutations and perfect matchings (also known as dimer coverings). We use this correspondence in order to investigate and compute the topological entropy in a class of cases of restricted $\mathbb{Z}^d$-permutations. We discuss the global and local admissibility of patterns, in the context of restricted $\mathbb{Z}^d$-permutations. Finally, we review the related models of injective and surjective restricted functions.
Constructive Characterization for Bidirected Analogue of Critical Graphs I: Principal Classes of Radials and Semiradials
This paper is the first from serial papers that provide constructive characterizations for classes of bidirected graphs known as radials and semiradials. In this paper, we provide constructive characterizations for five principle classes of radials and semiradials to be used for characterizing general radials and semiradials. A bidirected graph is a graph in which each end of each edge has a sign $+$ or $-$. Bidirected graphs are a common generalization of digraphs and signed graphs. We define a new concept of radials as a generalization of a classical concept in matching theory, critical graphs. Radials are also a generalization of a class of digraphs known as flowgraphs. We also define semiradials, which are a relaxed concept of radials. We further define special classes of radials and semiradials, that is, absolute semiradials, strong and almost strong radials, linear semiradials, and sublinear radials. We provide constructive characterizations for these five classes of bidirected graphs. Our serial papers are a part of a series of works that establish the strong component decomposition for bidirected graphs.
Parity of transversals of Latin squares
Published in Algebr. Comb. 3 (2020), 539-557
• View Publication
• BIB
We introduce a notion of parity for transversals, and use it to show that in Latin squares of order $2 \bmod 4$, the number of transversals is a multiple of 4. We also demonstrate a number of relationships (mostly congruences modulo 4) involving $E_1,\dots, E_n$, where $E_i$ is the number of diagonals of a given Latin square that contain exactly $i$ different symbols.
Let $A(i\mid j)$ denote the matrix obtained by deleting row $i$ and column $j$ from a parent matrix $A$. Define $t_{ij}$ to be the number of transversals in $L(i\mid j)$, for some fixed Latin square $L$. We show that $t_{ab}\equiv t_{cd}\bmod2$ for all $a,b,c,d$ and $L$. Also, if $L$ has odd order then the number of transversals of $L$ equals $t_{ab}$ mod 2. We conjecture that $t_{ac} + t_{bc} + t_{ad} + t_{bd} \equiv 0 \bmod 4$ for all $a,b,c,d$.
In the course of our investigations we prove several results that could be of interest in other contexts. For example, we show that the number of perfect matchings in a $k$-regular bipartite graph on $2n$ vertices is divisible by $4$ when $n$ is odd and $k\equiv0\bmod 4$. We also show that $${\rm per}\, A(a \mid c)+{\rm per}\, A(b \mid c)+{\rm per}\, A(a \mid d)+{\rm per}\, A(b \mid d) \equiv 0 \bmod 4$$ for all $a,b,c,d$, when $A$ is an integer matrix of odd order with all row and columns sums equal to $k\equiv2\bmod4$.
Highly edge-connected regular graphs without large factorizable subgraphs
Published in Journal Graph Theory 99 (2021) 107-116
• View Publication
• BIB
We construct highly edge-connected $r$-regular graph which do not contain $r-2$ pairwise disjoint perfect matchings. The results partially answer a question stated by Thomassen [Factorizing regular graphs, J. Comb. Theory Ser. B (2019), https://doi.org/10.1016/j.jctb.2019.05.002 (article in press)].