matching
3168 papers tagged with this keyword
Even cycles and perfect matchings in claw-free plane graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (October 12, 2020) dmtcs:6062
• View Publication
• BIB
Lov{á}sz showed that a matching covered graph $G$ has an ear decomposition starting with an arbitrary edge of $G$. Let $G$ be a graph which has a perfect matching. We call $G$ cycle-nice if for each even cycle $C$ of $G$, $G-V(C)$ has a perfect matching. If $G$ is a cycle-nice matching covered graph, then $G$ has ear decompositions starting with an arbitrary even cycle of $G$. In this paper, we characterize cycle-nice claw-free plane graphs. We show that the only cycle-nice simple 3-connected claw-free plane graphs are $K_4$, $W_5$ and $\overline C_6$. Furthermore, every cycle-nice 2-connected claw-free plane graph can be obtained from a graph in the family ${\cal F}$ by a sequence of three types of operations, where ${\cal F}$ consists of even cycles, a diamond, $K_4$, and $\overline C_6$.
Matching numbers and dimension of edge ideals
Published
• View Publication
• BIB
Let $G$ be a finite simple graph on the vertex set $V(G) = \{x_{1}, \ldots, x_{n}\}$ and match$(G)$, min-match$(G)$ and ind-match$(G)$ the matching number, minimum matching number and induced matching number of $G$, respectively. Let $K[V(G)] = K[x_{1}, \ldots, x_{n}]$ denote the polynomial ring over a field $K$ and $I(G) \subset K[V(G)]$ the edge ideal of $G$. The relationship between these graph-theoretic invariants and ring-theoretic invariants of the quotient ring $K[V(G)]/I(G)$ has been studied. In the present paper, we study the relationship between match$(G)$, min-match$(G)$, ind-match$(G)$ and $\dim K[V(G)]/I(G)$.
On the Length of Monotone Paths in Polyhedra
Published
• View Publication
• BIB
Motivated by the problem of bounding the number of iterations of the Simplex algorithm we investigate the possible lengths of monotone paths followed by the Simplex method inside the oriented graphs of polyhedra (oriented by the objective function). We consider both the shortest and the longest monotone paths and estimate the monotone diameter and height of polyhedra. Our analysis applies to transportation polytopes, matroid polytopes, matching polytopes, shortest-path polytopes, and the TSP, among others. We begin by showing that combinatorial cubes have monotone and Bland pivot height bounded by their dimension and that in fact all monotone paths of zonotopes are no larger than the number of edge directions of the zonotope. We later use this to show that several polytopes have polynomial-size pivot height, for all pivot rules. In contrast, we show that many well-known combinatorial polytopes have exponentially-long monotone paths. Surprisingly, for some famous pivot rules, e.g., greatest improvement and steepest edge, these same polytopes have polynomial-size simplex paths.
On the enhanced power graph of a group
Published
• View Publication
• BIB
The enhanced power graph $\mathcal{P}_e(G)$ of a group $G$ is a graph with vertex set $G$ and two vertices are adjacent if they belong to the same cyclic subgroup. In this paper, we consider the minimum degree, independence number and matching number of enhanced power graphs of finite groups. We first study these graph invariants for $\mathcal{P}_e(G)$ when $G$ is any finite group, and then determine them when $G$ is a finite abelian $p$-group, $U_{6n} = \langle a, b : a^{2n} = b^3 = e, ba =ab^{-1} \rangle$, the dihedral group $D_{2n}$, or the semidihedral group $SD_{8n}$. If $G$ is any of these groups, we prove that $\mathcal{P}_e(G)$ is perfect and then obtain its strong metric dimension. Additionally, we give an expression for the independence number of $\mathcal{P}_e(G)$ for any finite abelian group $G$. These results along with certain known equalities yield the edge connectivity, vertex covering number and edge covering number of enhanced power graphs of the respective groups as well.
On the directions determined by a Cartesian product in an affine Galois plane
Published
• View Publication
• BIB
We prove that the number of directions contained in a set of the form $A \times B \subset AG(2,p)$, where $p$ is prime, is at least $|A||B| - \min\{|A|,|B|\} + 2$. Here $A$ and $B$ are subsets of $GF(p)$ each with at least two elements and $|A||B| <p$. This bound is tight for an infinite class of examples. Our main tool is the use of the Rédei polynomial with Szőnyi's extension. As an application of our main result, we obtain an upper bound on the clique number of a Paley graph, matching the current best bound obtained recently by Hanson and Petridis.
Factors and loose Hamilton cycles in sparse pseudo-random hypergraphs
Published
• View Publication
• BIB
We investigate the emergence of spanning structures in sparse pseudo-random $k$-uniform hypergraphs, using the following comparatively weak notion of pseudo-randomness. A $k$-uniform hypergraph $H$ on $n$ vertices is called $(p,α,ε)$-pseudo-random if for all (not necessarily disjoint) vertex subsets $A_1,\dots, A_k{\subseteq} V(H)$ with $|A_1|\cdots |A_k|{\geq}αn^{k}$ we have $$e(A_1,\dots, A_k)=(1\pmε)p |A_1|\cdots |A_k|.$$ For any linear $k$-uniform $F$ we provide a bound on $α=α(n)$ in terms of $p=p(n)$ and $F$, such that (under natural divisibility assumptions on $n$) any $k$-uniform $\big(p,α, o(1)\big)$-pseudo-random $n$-vertex hypergraph $H$ with a mild minimum vertex degree condition contains an $F$-factor. The approach also enables us to establish the existence of loose Hamilton cycles in sufficiently pseudo-random hypergraphs and all results imply corresponding bounds for stronger notions of hypergraph pseudo-randomness such as jumbledness or large spectral gap.
As a consequence, $\big(p,α, o(1)\big)$-pseudo-random $k$-graphs as above contain: $(i)$ a perfect matching if $α=o(p^{k})$ and $(ii)$ a loose Hamilton cycle if $α=o(p^{k-1})$. This extends the works of Lenz--Mubayi, and Lenz--Mubayi--Mycroft who studied the analogous problems in the dense setting.
A note on the rationing of divisible and indivisible goods in a general network
The study of matching theory has gained importance recently with applications in Kidney Exchange, House Allocation, School Choice etc. The general theme of these problems is to allocate goods in a fair manner amongst participating agents. The agents generally have a unit supply/demand of a good that they want to exchange with other agents. On the other hand, Bochet et al. study a more general version of the problem where they allow for agents to have arbitrary number of divisible goods to be rationed to other agents in the network. In this current work, our main focus is on non-bipartite networks where agents have arbitrary units of a homogeneous indivisible good that they want to exchange with their neighbors. Our aim is to develop mechanisms that would identify a fair and strategyproof allocation for the agents in the network. Thus, we generalize the kidney exchange problem to that of a network with arbitrary capacity of available goods. Our main idea is that this problem and a couple of other related versions of non-bipartite fair allocation problem can be suitably transformed to one of fair allocations on bipartite networks for which we know of well studied fair allocation mechanisms.
Hamiltonian decomposition and verifying vertex adjacency in 1-skeleton of the traveling salesperson polytope by variable neighborhood search
Published
• View Publication
• BIB
We consider a Hamiltonian decomposition problem of partitioning a regular graph into edge-disjoint Hamiltonian cycles. A sufficient condition for vertex adjacency in the 1-skeleton of the traveling salesperson polytope can be formulated as the Hamiltonian decomposition problem in a 4-regular multigraph. We introduce a heuristic general variable neighborhood search algorithm for this problem based on finding a vertex-disjoint cycle cover of the multigraph through reduction to perfect matching and several cycle merging operations. The algorithm has a one-sided error: the answer "not adjacent" is always correct, and was tested on random directed and undirected Hamiltonian cycles and on pyramidal tours.
Ryser's Conjecture for $t$-intersecting hypergraphs
Published
• View Publication
• BIB
A well-known conjecture, often attributed to Ryser, states that the cover number of an $r$-partite $r$-uniform hypergraph is at most $r - 1$ times larger than its matching number. Despite considerable effort, particularly in the intersecting case, this conjecture remains wide open, motivating the pursuit of variants of the original conjecture. Recently, Bustamante and Stein and, independently, Király and Tóthmérész considered the problem under the assumption that the hypergraph is $t$-intersecting, conjecturing that the cover number $τ(\mathcal{H})$ of such a hypergraph $\mathcal{H}$ is at most $r - t$. In these papers, it was proven that the conjecture is true for $r \leq 4t-1$, but also that it need not be sharp; when $r = 5$ and $t = 2$, one has $τ(\mathcal{H}) \leq 2$.
We extend these results in two directions. First, for all $t \geq 2$ and $r \leq 3t-1$, we prove a tight upper bound on the cover number of these hypergraphs, showing that they in fact satisfy $τ(\mathcal{H}) \leq \lfloor(r - t)/2 \rfloor + 1$. Second, we extend the range of $t$ for which the conjecture is known to be true, showing that it holds for all $r \leq \frac{36}{7}t-5$. We also introduce several related variations on this theme. As a consequence of our tight bounds, we resolve the problem for $k$-wise $t$-intersecting hypergraphs, for all $k \geq 3$ and $t \geq 1$. We further give bounds on the cover numbers of strictly $t$-intersecting hypergraphs and the $s$-cover numbers of $t$-intersecting hypergraphs.
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.