matching
3278 papers tagged with this keyword
A Complexity Dichotomy for Permutation Pattern Matching on Grid Classes
Permutation Pattern Matching (PPM) is the problem of deciding for a given pair of permutations P and T whether the pattern P is contained in the text T. Bose, Buss and Lubiw showed that PPM is NP-complete. In view of this result, it is natural to ask how the situation changes when we restrict the pattern P to a fixed permutation class C; this is known as the C-Pattern PPM problem.
Grid classes are special kind of permutation classes, consisting of permutations admitting a grid-like decomposition into simpler building blocks. Of particular interest are the so-called monotone grid classes, in which each building block is a monotone sequence. Recently, it has been discovered that grid classes, especially the monotone ones, play a fundamental role in the understanding of the structure of general permutation classes. This motivates us to study the hardness of C-Pattern PPM for a (monotone) grid class C.
We provide a complexity dichotomy for C-Pattern PPM when C is taken to be a monotone grid class. Specifically, we show that the problem is polynomial-time solvable if a certain graph associated with C, called the cell graph, is a forest, and it is NP-complete otherwise. We further generalize our results to grid classes whose blocks belong to classes of bounded grid-width. We show that the C-Pattern PPM for such a grid class C is polynomial-time solvable if the cell graph of C avoids a cycle or a certain special type of path, and it is NP-complete otherwise.
Tightness of Paired and Upper Domination Inequalities for Direct Product Graphs
Published
• View Publication
• BIB
A set $D$ of vertices in a graph $G$ is called dominating if every vertex of $G$ is either in $D$ or adjacent to a vertex of $D$. The paired domination number $γ_{\mathrm{pr}}(G)$ of $G$ is the minimum size of a dominating set whose induced subgraph admits a perfect matching, and the upper domination number $Γ(G)$ is the maximum size of a minimal dominating set. In this paper, we investigate the sharpness of two multiplicative inequalities for these domination parameters, where the graph product is the direct product $\times$.
We show that for every positive constant $c$, there exist graphs $G$ and $H$ of arbitrarily large diameter such that $γ_{\mathrm{pr}}(G \times H) \leq cγ_{\mathrm{pr}}(G)γ_{\mathrm{pr}}(H)$, thus answering a question of Rall as well as two questions of Paulraja and Sampath Kumar. We then study when this inequality holds with $c = \frac{1}{2}$, in particular proving that it holds whenever $G$ and $H$ are trees. Finally, we demonstrate that the inequality $Γ(G \times H) \geq Γ(G) Γ(H)$, due to Brešar, Klavžar, and Rall, is tight.
Perfect matching index vs. circular flow number of a cubic graph
The perfect matching index of a cubic graph $G$, denoted by $π(G)$, is the smallest number of perfect matchings that cover all the edges of $G$. According to the Berge-Fulkerson conjecture, $π(G)\le5$ for every bridgeless cubic graph~$G$. The class of graphs with $π\ge 5$ is of particular interest as many conjectures and open problems, including the famous cycle double cover conjecture, can be reduced to it. Although nontrivial examples of such graphs are very difficult to find, a few infinite families are known, all with circular flow number $Φ_c(G)=5$. It has been therefore suggested [Electron. J. Combin. 23 (2016), $\#$P3.54] that $π(G)\ge 5$ might imply $Φ_c(G)\ge 5$. In this article we dispel these hopes and present a family of cyclically $4$-edge-connected cubic graphs of girth at least $5$ (snarks) with $π\ge 5$ and $Φ_c\le 4+\frac23$.
Special idempotents and projections
Published in Semigroup Froum (2021)
• View Publication
• BIB
We define, for any special matching of a finite graded poset, an idempotent, regressive and order preserving function. We consider the monoid generated by such functions. The idempotents of this monoid are called special idempotents. They are interval retracts. Some of them realize a kind of parabolic map and are called special projections. We prove that, in Eulerian posets, the image of a special projection, and its complement, are graded induced subposets. In a finite Coxeter group, all projections on right and left parabolic quotients are special projections, and some projections on double quotients too. We extend our results to special partial matchings.
Cubic graphs that cannot be covered with four perfect matchings
A conjecture of Berge suggests that every bridgeless cubic graph can have its edges covered with at most five perfect matchings. Since three perfect matchings suffice only when the graph in question is $3$-edge-colourable, the rest of cubic graphs falls into two classes: those that can be covered with four perfect matchings, and those that need at least five. Cubic graphs that require more than four perfect matchings to cover their edges are particularly interesting as potential counterexamples to several profound and long-standing conjectures including the celebrated cycle double cover conjecture. However, so far they have been extremely difficult to find.
In this paper we build a theory that describes coverings with four perfect match\-ings as flows whose flow values and outflow patterns form a configuration of six lines spanned by four points of the 3-dimensional projective space $\mathbb{P}_3(\mathbb{F}_2)$ in general position. This theory provides powerful tools for investigation of graphs that do not admit such a cover and offers a great variety of methods for their construction. As an illustrative example we produce a rich family of snarks (nontrivial cubic graphs with no $3$-edge-colouring) that cannot be covered with four perfect matchings. The family contains all previously known graphs with this property.
Minimum maximal matchings in cubic graphs
Published
• View Publication
• BIB
We prove that every connected cubic graph with $n$ vertices has a maximal matching of size at most $\frac{5}{12} n+ \frac{1}{2}$. This confirms the cubic case of a conjecture of Baste, Fürst, Henning, Mohr and Rautenbach (2019) on regular graphs. More generally, we prove that every graph with $n$ vertices and $m$ edges and maximum degree at most $3$ has a maximal matching of size at most $\frac{4n-m}{6}+ \frac{1}{2}$. These bounds are attained by the graph $K_{3,3}$, but asymptotically there may still be some room for improvement. Moreover, the claimed maximal matchings can be found efficiently. As a corollary, we have a $\left(\frac{25}{18} + O \left( \frac{1}{n}\right)\right) $-approximation algorithm for minimum maximal matching in connected cubic graphs.
Extremal trees with fixed degree sequence
Published
• View Publication
• BIB
The greedy tree $\mathcal{G}(D)$ and the $\mathcal{M}$-tree $\mathcal{M}(D)$ are known to be extremal among trees with degree sequence $D$ with respect to various graph invariants. This paper provides a general theorem that covers a large family of invariants for which $\mathcal{G}(D)$ or $\mathcal{M}(D)$ is extremal. Many known results, for example on the Wiener index, the number of subtrees, the number of independent subsets and the number of matchings follow as corollaries, as do some new results on invariants such as the number of rooted spanning forests, the incidence energy and the solvability. We also extend our results on trees with fixed degree sequence $D$ to the set of trees whose degree sequence is majorised by a given sequence $D$, which also has a number of applications.
Hitting times for Shamir's Problem
Published
• View Publication
• BIB
For fixed $r\geq 3$ and $n$ divisible by $r$, let ${\mathcal H}={\mathcal H}^r_{n,M}$ be the random $M$-edge $r$-graph on $V=\{1,\ldots ,n\}$; that is, ${\mathcal H}$ is chosen uniformly from the $M$-subsets of ${\mathcal K}:={V \choose r}$ ($:= \{\mbox{$r$-subsets of $V$}\}$). Shamir's Problem (circa 1980) asks, roughly, for what $M=M(n)$ is ${\mathcal H}$ likely to contain a perfect matching (that is, $n/r$ disjoint $r$-sets)?
In 2008 Johansson, Vu and the author showed that this is true for $M>C_rn\log n$. More recently the author proved the asymptotically correct version of that result: for fixed $C> 1/r$ and $M> Cn\log n$, $P({\mathcal H} ~\mbox{contains a perfect matching})\rightarrow 1 \,\,\, \mbox{as $n\rightarrow\infty$}.$
The present work completes a proof, begun in that recent paper, of the definitive "hitting time" statement:
$\mbox{Theorem.}$ If $A_1, \ldots ~$ is a uniform permutation of ${\mathcal K}$, ${\mathcal H}_t=\{A_1\dots A_t\}$, and \[ T=\min\{t:A_1\cup \cdots\cup A_t=V\}, \] then $P({\mathcal H}_T ~\mbox{contains a perfect matching})\rightarrow 1 \,\,\, \mbox{as $n\rightarrow\infty$}$.
Descending the Stable Matching Lattice: How many Strategic Agents are required to turn Pessimality to Optimality?
Published
• View Publication
• BIB
The set of stable matchings induces a distributive lattice. The supremum of the stable matching lattice is the boy-optimal (girl-pessimal) stable matching and the infimum is the girl-optimal (boy-pessimal) stable matching. The classical boy-proposal deferred-acceptance algorithm returns the supremum of the lattice, that is, the boy-optimal stable matching. In this paper, we study the smallest group of girls, called the {\em minimum winning coalition of girls}, that can act strategically, but independently, to force the boy-proposal deferred-acceptance algorithm to output the girl-optimal stable matching. We characterize the minimum winning coalition in terms of stable matching rotations and show that its cardinality can take on any value between $0$ and $\left\lfloor \frac{n}{2}\right\rfloor$, for instances with $n$ boys and $n$ girls. Our main result is that, for the random matching model, the expected cardinality of the minimum winning coalition is $(\frac{1}{2}+o(1))\log{n}$. This resolves a conjecture of Kupfer \cite{Kup18}.
Counting Short Vector Pairs by Inner Product and Relations to the Permanent
Given as input two $n$-element sets $\mathcal A,\mathcal B\subseteq\{0,1\}^d$ with $d=c\log n\leq(\log n)^2/(\log\log n)^4$ and a target $t\in \{0,1,\ldots,d\}$, we show how to count the number of pairs $(x,y)\in \mathcal A\times \mathcal B$ with integer inner product $\langle x,y \rangle=t$ deterministically, in $n^2/2^{Ω\bigl(\!\sqrt{\log n\log \log n/(c\log^2 c)}\bigr)}$ time. This demonstrates that one can solve this problem in deterministic subquadratic time almost up to $\log^2 n$ dimensions, nearly matching the dimension bound of a subquadratic randomized detection algorithm of Alman and Williams [FOCS 2015]. We also show how to modify their randomized algorithm to count the pairs w.h.p., to obtain a fast randomized algorithm. Our deterministic algorithm builds on a novel technique of reconstructing a function from sum-aggregates by prime residues, which can be seen as an {\em additive} analog of the Chinese Remainder Theorem. As our second contribution, we relate the fine-grained complexity of the task of counting of vector pairs by inner product to the task of computing a zero-one matrix permanent over the integers.
Bipartite Graft I: Dulmage-Mendelsohn Decomposition for Combs
We provide an analogue of the Dulmage-Mendelsohn decomposition for a class of grafts known as comb-bipartite grafts. The Dulmage-Mendelsohn decomposition in matching theory is a classical canonical structure theorem for bipartite graphs. The substantial part of this classical theorem resides in bipartite graphs that are factorizable, that is, those with a perfect matching. Minimum joins in grafts, also known as minimum $T$-joins in graphs,
is a generalization of perfect matchings in factorizable graphs. Sebö revealed in his paper that comb-bipartite grafts form one of the two fundamental classes of grafts that serve as skeletons or building blocks of any grafts. Particularly, any bipartite grafts, that is, bipartite counterpart of grafts, can be considered as a recursive combination of comb-bipartite grafts. In this paper, we generalize the Dulmage-Mendelsohn decomposition for comb-bipartite grafts. We also show for this decomposition a property that is characteristics to grafts using the general Kotzig-Lovász decomposition for grafts, which is a known graft analogue of another canonical structure theorem from matching theory. This paper is the first from a series of studies regarding bipartite grafts.
Morse-Bott Theory on posets and an homological Lusternik-Schnirelmann Theorem
Published
• View Publication
• BIB
We develop Morse-Bott theory on posets, generalizing both discrete Morse-Bott theory for regular complexes and Morse theory on posets. Moreover, we prove a Lusternik-Schnirelmann theorem for general matchings on posets, in particular, for Morse-Bott functions.
Explicit Baranyai Partitions for Quadruples, Part I: Quadrupling Constructions
Published
• View Publication
• BIB
It is well known that, whenever $k$ divides $n$, the complete $k$-uniform hypergraph on $n$ vertices can be partitioned into disjoint perfect matchings. Equivalently, the set of $k$-subsets of an $n$-set can be partitioned into parallel classes so that each parallel class is a partition of the $n$-set. This result is known as Baranyai's theorem, which guarantees the existence of \emph{Baranyai partitions}. Unfortunately, the proof of Baranyai's theorem uses network flow arguments, making this result non-explicit. In particular, there is no known method to produce Baranyai partitions in time and space that scale linearly with the number of hyperedges in the hypergraph. It is desirable for certain applications to have an explicit construction that generates Baranyai partitions in linear time. Such an efficient construction is known for $k=2$ and $k=3$. In this paper, we present an explicit recursive quadrupling construction for $k=4$ and $n=4t$, where $t \equiv 0,3,4,6,8,9 ~(\text{mod}~12)$. In a follow-up paper (Part II), the other values of~$t$, namely $t \equiv 1,2,5,7,10,11 ~(\text{mod}~12)$, will be considered.
Merge trees in discrete Morse theory
Published
• View Publication
• BIB
In this paper, we study merge trees induced by a discrete Morse function on a tree. Given a discrete Morse function, we provide a method to constructing an induced merge tree and define a new notion of equivalence of discrete Morse functions based on the induced merge tree. We then relate the matching number of a tree to a certain invariant of the induced merge tree. Finally, we count the number of merge trees that can be induced on a star graph and characterize the induced merge tree.
A Tight Approximation Algorithm for the Cluster Vertex Deletion Problem
Published
• View Publication
• BIB
We give the first $2$-approximation algorithm for the cluster vertex deletion problem. This is tight, since approximating the problem within any constant factor smaller than $2$ is UGC-hard. Our algorithm combines the previous approaches, based on the local ratio technique and the management of true twins, with a novel construction of a 'good' cost function on the vertices at distance at most $2$ from any vertex of the input graph.
As an additional contribution, we also study cluster vertex deletion from the polyhedral perspective, where we prove almost matching upper and lower bounds on how well linear programming relaxations can approximate the problem.
The $A_α$-spectral radius and perfect matchings of graphs
Published
• View Publication
• BIB
Let $α\in[0,1)$, and let $G$ be a graph of even order $n$ with $n\geq f(α)$, where $f(α)=10$ for $0\leq α\leq1/2$, $f(α)=14$ for $1/2<α\leq 2/3$ and $f(α)=5/(1-α)$ for $2/3<α<1$. In this paper, it is shown that if the $A_α$-spectral radius of $G$ is not less than the largest root of $x^3 - ((α+ 1)n +α-4)x^2 + (αn^2 + (α^2 - 2α- 1)n - 2α+1)x -α^2n^2 + (5α^2 - 3α+ 2)n - 10α^2 + 15α- 8=0$ then $G$ has a perfect matching unless $G=K_1\nabla(K_{n-3}\cup 2K_1)$. This generalizes a result of S. O [Spectral radius and matchings in graphs, Linear Algebra Appl. 614 (2021) 316--324], which gives a sufficient condition for the existence of a perfect matching in a graph in terms of the adjacency spectral radius.
Presentations for Vertex Transitive Graphs
Published
• View Publication
• BIB
We generalise the standard constructions of a Cayley graph in terms of a group presentation by allowing some vertices to obey different relators than others. The resulting notion of presentation allows us to represent every vertex transitive graph. As an intermediate step, we prove that every countably infinite, connected, vertex transitive graph has a perfect matching. Incidentally, we construct an example of a 2-ended cubic vertex transitive graph which is not a Cayley graph, answering a question of Watkins from 1990.
Demazure crystals and the Schur positivity of Catalan functions
Published
• View Publication
• BIB
Catalan functions, the graded Euler characteristics of certain vector bundles on the flag variety, are a rich class of symmetric functions which include $k$-Schur functions and parabolic Hall-Littlewood polynomials. We prove that Catalan functions indexed by partition weight are the characters of $U_q(\widehat{\mathfrak{sl}}_\ell)$-generalized Demazure crystals as studied by Lakshmibai-Littelmann-Magyar and Naoi. We obtain Schur positive formulas for these functions, settling conjectures of Chen-Haiman and Shimozono-Weyman. Our approach more generally gives key positive formulas for graded Euler characteristics of certain vector bundles on Schubert varieties by matching them to characters of generalized Demazure crystals.
A certain ratio of generating functions of lozenge tilings, obtained with non--intersecting lattice paths
In a recent preprint, Lai worked out the quotient of generating functions of weighted lozenge tilings of two "half hexagons with lateral dents" which differ only in width. Lai achieved this by using "graphical condensation" (i.e., application of a certain Pfaffian identity to the weighted enumeration of matchings).
The purpose of this note is to exhibit how this can be done by the Lindström--Gessel--Viennot method for nonintersecting lattice paths in a quite simple way. Basically the same observation, but restricted to mere enumeration (i.e., all weights of lozenge tilings are equal to $1$), is contained in a recent preprint of Condon.
Signless Laplacian spectral radius and matching in graphs
The signless Laplacian matrix of a graph $G$ is given by $Q(G)=D(G)+A(G)$, where $D(G)$ is a diagonal matrix of vertex degrees and $A(G)$ is the adjacency matrix. The largest eigenvalue of $Q(G)$ is called the signless Laplacian spectral radius, denoted by $q_1=q_1(G)$. In this paper, some properties between the signless Laplacian spectral radius and perfect matching in graphs are establish. Let $r(n)$ be the largest root of equation $x^3-(3n-7)x^2+n(2n-7)x-2(n^2-7n+12)=0$. We show that $G$ has a perfect matching for $n=4$ or $n\geq10$, if $q_1(G)>r(n)$, and for $n=6$ or $n=8$, if $q_1(G)>4+2\sqrt{3}$ or $q_1(G)>6+2\sqrt{6}$ respectively, where $n$ is a positive even integer number. Moreover, there exists graphs $K_{n-3}\vee K_1 \vee \overline{K_2}$ such that $q_1(K_{n-3}\vee K_1 \vee \overline{K_2})=r(n)$ if $n\geq4$, a graph $K_2\vee\overline{K_4}$ such that $q_1(K_2\vee\overline{K_4})=4+2\sqrt{3}$ and a graph $K_3\vee\overline{K_5}$ such that $q_1(K_3\vee\overline{K_5})=6+2\sqrt{6}$. These graphs all have no prefect matching.