matching
3168 papers tagged with this keyword
Improving Sharir and Welzl's bound on crossing-free matchings through solving a stronger recurrence
Sharir and Welzl [1] derived a bound on crossing-free matchings primarily based on solving a recurrence based on the size of the matchings. We show that the recurrence given in Lemma 2.3 in Sharir and Welzl can be improve to $(2n-6s)\textbf{Ma}_{m}(P)\leq\frac{68}{3}(s+2)\textbf{Ma}_{m-1}(P)$ and $(3n-7s)\textbf{Ma}_{m}(P)\leq44.5(s+2)\textbf{Ma}_{m-1}(P)$, thereby improving the upper bound for crossing-free matchings.
Tighter Bounds for the Discrepancy of Boxes and Polytopes
Published
• View Publication
• BIB
Combinatorial discrepancy is a complexity measure of a collection of sets which quantifies how well the sets in the collection can be simultaneously balanced. More precisely, we are given an n-point set $P$, and a collection $\mathcal{F} = \{F_1, ..., F_m\}$ of subsets of $P$, and our goal is color $P$ with two colors, red and blue, so that the maximum over the $F_i$ of the absolute difference between the number of red elements and the number of blue elements (the discrepancy) is minimized. Combinatorial discrepancy has many applications in mathematics and computer science, including constructions of uniformly distributed point sets, and lower bounds for data structures and private data analysis algorithms.
We investigate the combinatorial discrepancy of geometrically defined systems, in which $P$ is an n-point set in $d$-dimensional space ,and $\mathcal{F}$ is the collection of subsets of $P$ induced by dilations and translations of a fixed convex polytope $B$. Such set systems include systems of sets induced by axis-aligned boxes, whose discrepancy is the subject of the well known Tusnady problem. We prove new discrepancy upper and lower bounds for such set systems by extending the approach based on factorization norms previously used by the author and Matousek. We improve the best known upper bound for the Tusnady problem by a logarithmic factor, using a result of Banaszczyk on signed series of vectors. We extend this improvement to any arbitrary convex polytope $B$ by using a decomposition due to Matousek. Using Fourier analytic techniques, we also prove a nearly matching discrepancy lower bound for sets induced by any fixed bounded polytope $B$ satisfying a certain technical condition.
We also outline applications of our results to geometric discrepancy, data structure lower bounds, and differential privacy.
Stars versus stripes Ramsey numbers
Published
• View Publication
• BIB
For given simple graphs $G_1, G_2, \ldots , G_t$, the Ramsey number $R(G_1, G_2, \ldots, G_t)$ is the smallest positive integer $n$ such that if the edges of the complete graph $K_n$ are partitioned into $t$ disjoint color classes giving $t$ graphs $H_1,H_2,\ldots,H_t$, then at least one $H_i$ has a subgraph isomorphic to $G_i$. In this paper, for positive integers $t_1,t_2,\ldots, t_s$ and $n_1,n_2,\ldots, n_c$ the Ramsey number $R(S_{t_1}, S_{t_2},\ldots ,S_{t_s}, n_1K_2,n_2K_2,\ldots,n_cK_2)$ is computed, where $nK_2$ denotes a matching (stripe) of size $n$, i.e., $n$ pairwise disjoint edges and $S_{n}$ is a star with $n$ edges. This result generalizes and strengthens significantly a well-known result of Cockayne and Lorimer and also a known result of Gyárfás and Sárközy.
Families of sets with no matchings of sizes 3 and 4
Published
• View Publication
• BIB
In this paper, we study the following classical question of extremal set theory: what is the maximum size of a family of subsets of $[n]$ such that no $s$ sets from the family are pairwise disjoint? This problem was first posed by Erd\H os and resolved for $n\equiv 0, -1\ (\mathrm{mod }\ s)$ by Kleitman in the 60s. Very little progress was made on the problem until recently. The only result was a very lengthy resolution of the case $s=3,\ n\equiv 1\ (\mathrm{mod }\ 3)$ by Quinn, which was written in his PhD thesis and never published in a refereed journal. In this paper, we give another, much shorter proof of Quinn's result, as well as resolve the case $s=4,\ n\equiv 2\ (\mathrm{mod }\ 4)$. This complements the results in our recent paper, where, in particular, we answered the question in the case $n\equiv -2\ (\mathrm{mod }\ s)$ for $s\ge 5$.
Problems on Matchings and Independent Sets of a Graph
Published in Discrete Mathematics, Volume 341, Issue 6, June 2018, Pages 1561--1572
• View Publication
• BIB
Let $G$ be a finite simple graph. For $X \subset V(G)$, the difference of $X$, $d(X) := |X| - |N (X)|$ where $N(X)$ is the neighborhood of $X$ and $\max \, \{d(X):X\subset V(G)\}$ is called the critical difference of $G$. $X$ is called a critical set if $d(X)$ equals the critical difference and ker$(G)$ is the intersection of all critical sets. It is known that ker$(G)$ is an independent (vertex) set of $G$. diadem$(G)$ is the union of all critical independent sets. An independent set $S$ is an inclusion minimal set with $d(S) > 0$ if no proper subset of $S$ has positive difference.
A graph $G$ is called König-Egerváry if the sum of its independence number ($α(G)$) and matching number ($μ(G)$) equals $|V(G)|$. It is known that bipartite graphs are König-Egerváry.
In this paper, we study independent sets with positive difference for which every proper subset has a smaller difference and prove a result conjectured by Levit and Mandrescu in 2013. The conjecture states that for any graph, the number of inclusion minimal sets $S$ with $d(S) > 0$ is at least the critical difference of the graph. We also give a short proof of the inequality $|$ker$(G)| + |$diadem$(G)| \le 2α(G)$ (proved by Short in 2016).
A characterization of unicyclic non-König-Egerváry graphs is also presented and a conjecture which states that for such a graph $G$, the critical difference equals $α(G) - μ(G)$, is proved.
We also make an observation about ker$G)$ using Edmonds-Gallai Structure Theorem as a concluding remark.
Domination in intersecting hypergraphs
Published
• View Publication
• BIB
A matching in a hypergraph $H$ is a set of pairwise disjoint hyperedges. The matching number $α'(H)$ of $H$ is the size of a maximum matching in $H$. A subset $D$ of vertices of $H$ is a dominating set of $H$ if for every $v\in V\setminus D$ there exists $u\in D$ such that $u$ and $v$ lie in an hyperedge of $H$. The cardinality of a minimum dominating set of $H$ is called the domination number of $H$, denoted by $γ(H)$. It is known that for a intersecting hypergraph $H$ with rank $r$, $γ(H)\leq r-1$. In this paper we present structural properties on intersecting hypergraphs with rank $r$ satisfying the equality $γ(H)=r-1$. By applying the properties we show that all linear intersecting hypergraphs $H$ with rank $4$ satisfying $γ(H)=r-1$ can be constructed by the well-known Fano plane.
Making Bipartite Graphs DM-irreducible
The Dulmage--Mendelsohn decomposition (or the DM-decomposition) gives a unique partition of the vertex set of a bipartite graph reflecting the structure of all the maximum matchings therein. A bipartite graph is said to be DM-irreducible if its DM-decomposition consists of a single component.
In this paper, we focus on the problem of making a given bipartite graph DM-irreducible by adding edges. When the input bipartite graph is balanced (i.e., both sides have the same number of vertices) and has a perfect matching, this problem is equivalent to making a directed graph strongly connected by adding edges, for which the minimum number of additional edges was characterized by Eswaran and Tarjan (1976).
We give a general solution to this problem, which is divided into three parts. We first show that our problem can be formulated as a special case of a general framework of covering supermodular functions, which was introduced by Frank and Jordán (1995) to investigate the directed connectivity augmentation problem. Secondly, when the input graph is not balanced, the problem is solved via matroid intersection. This result can be extended to the minimum cost version in which the addition of an edge gives rise to an individual cost. Thirdly, for balanced input graphs, we devise a combinatorial algorithm that finds a minimum number of additional edges to attain the DM-irreducibility, while the minimum cost version of this problem is NP-hard. These results also lead to min-max characterizations of the minimum number, which generalize the result of Eswaran and Tarjan.
On directed 2-factors in digraphs and 2-factors containing perfect matchings in bipartite graphs
Published
• View Publication
• BIB
In this paper, we give the following result: If $D$ is a digraph of order $n$, and if $d_{D}^{+}(u) + d_{D}^{-}(v) \ge n$ for every two distinct vertices $u$ and $v$ with $(u, v) \notin A(D)$, then $D$ has a directed $2$-factor with exactly $k$ directed cycles of length at least $3$, where $n \ge 12k+3$. This result is equivalent to the following result: If $G$ is a balanced bipartite graph of order $2n$ with partite sets $X$ and $Y$, and if $d_{G}(x)+d_{G}(y) \ge n + 2$ for every two vertices $x \in X$ and $y \in Y$ with $xy \notin E(G)$, then for every perfect matching $M$, $G$ has a $2$-factor with exactly $k$ cycles of length at least $6$ containing every edge of $M$, where $n \ge 12k+3$. These results are generalizations of theorems concerning Hamilton cycles due to Woodall (1972) and Las Vergnas (1972), respectively.
On two extensions of equimatchable graphs
Published
• View Publication
• BIB
A graph is said to be equimatchable if all its maximal matchings are of the same size. In this work we introduce two extensions of the property of equimatchability by defining two new graph parameters that measure how far a graph is from being equimatchable. The first one, called the matching gap, measures the difference between the sizes of a maximum matching and a minimum maximal matching. The second extension is obtained by introducing the concept of equimatchable sets; a set of vertices in a graph $G$ is said to be equimatchable if all maximal matchings of $G$ saturating the set are of the same size. Noting that $G$ is equimatchable if and only if the empty set is equimatchable, we study the equimatchability defect of the graph, defined as the minimum size of an equimatchable set in it. We develop several inapproximability and parameterized complexity results and algorithms regarding the computation of these two parameters, a characterization of graphs of unit matching gap, exact values of the equimatchability defect of cycles, and sharp bounds for both parameters.
Discrete Morse theory and classifying spaces
Published
• View Publication
• BIB
The aim of this paper is to develop a refinement of Forman's discrete Morse theory. To an acyclic partial matching $μ$ on a finite regular CW complex $X$, Forman introduced a discrete analogue of gradient flows. Although Forman's gradient flow has been proved to be useful in practical computations of homology groups, it is not sufficient to recover the homotopy type of $X$. Forman also proved the existence of a CW complex which is homotopy equivalent to $X$ and whose cells are in one-to-one correspondence with the critical cells of $μ$, but the construction is ad hoc and does not have a combinatorial description. By relaxing the definition of Forman's gradient flows, we introduce the notion of flow paths, which contains enough information to reconstruct the homotopy type of $X$, while retaining a combinatorial description. The critical difference from Forman's gradient flows is the existence of a partial order on the set of flow paths, from which a $2$-category $C(μ)$ is constructed. It is shown that the classifying space of $C(μ)$ is homotopy equivalent to $X$ by using homotopy theory of $2$-categories. This result can be also regarded as a discrete analogue of the unpublished work of Cohen, Jones, and Segal on Morse theory in early 90's.
F-polynomial formula from continued fractions
Published
• View Publication
• BIB
For cluster algebras from surfaces, there is a known formula for cluster variables and F-polynomials in terms of the perfect matchings of snake graphs. If the cluster algebra has trivial coefficients, there is also a known formula for cluster variables in terms of continued fractions. In this paper, we extend this result to cluster algebras with principal coefficients by producing a formula for the F-polynomials in terms of continued fractions.
Two short proofs of the Perfect Forest Theorem
Published
• View Publication
• BIB
A perfect forest is a spanning forest of a connected graph $G$, all of whose components are induced subgraphs of $G$ and such that all vertices have odd degree in the forest. A perfect forest generalised a perfect matching since, in a matching, all components are trees on one edge. Scott first proved the Perfect Forest Theorem, namely, that every connected graph of even order has a perfect forest. Gutin then gave another proof using linear algebra.
We give here two very short proofs of the Perfect Forest Theorem which use only elementary notions from graph theory. Both our proofs yield polynomial-time algorithms for finding a perfect forest in a connected graph of even order.
A connection between matchings and removal in abelian groups
In a finite abelian group $G$, define an additive matching to be a collection of triples $(x_i, y_i, z_i)$ such that $x_i + y_j + z_k = 0$ if and only if $i = j = k$. In the case that $G = \mathbb{F}_2^n$, Kleinberg, building on work of Croot-Lev-Pach and Ellenberg-Gijswijt, proved a polynomial upper bound on the size of an additive matching. Fox and Lovász used this to deduce polynomial bounds on Green's arithmetic removal lemma in $\mathbb{F}_2^n$.
If $G$ is taken to be an arbitrary finite abelian group, the questions of bounding the size of an additive matching and giving bounds for Green's arithmetic removal lemma are much less well understood. In this note, we adapt the methods of Fox and Lovász to prove that, provided we can assume a sufficiently strong bound on the size of an additive matching in cyclic groups, a similar bound should hold in the case of removal.
Special matchings in Coxeter groups
Published in European Journal of Combinatorics 61 (2017) 151-166
• View Publication
• BIB
Special matchings are purely combinatorial objects associated with a partially ordered set, which have applications in Coxeter group theory. We provide an explicit characterization and a complete classification of all special matchings of any lower Bruhat interval. The results hold in any arbitrary Coxeter group and have also applications in the study of the corresponding parabolic Kazhdan--Lusztig polynomials.
Invertibility of graphs with a unique perfect matching
In this paper we investigate invertibility of graphs with a unique perfect matching, i.e. graphs having a unique 1-factor. We recall the new notion of the so-called negatively invertible graphs investigated by the authors in the recent paper. It is an extension of the classical definition of an inverse graph due to Godsil. We characterize all graphs with a unique perfect matching on $m\le 6$ vertices with respect to their positive and negative invertibility. We show that negatively invertible graphs exhibit properties like selfinvertibility which cannot be observed within the class of positively invertible non-bipartite graphs with a unique perfect matching.
Tree Matchings
Published
• View Publication
• BIB
An $(s,t)$-matching in a bipartite graph $G=(U,V,E)$ is a subset of the edges $F$ such that each component of $G[F]$ is a tree with at most $t$ edges and each vertex in $U$ has $s$ neighbours in $G[H]$. We give sharp conditions for a bipartite graph to contain an $(s,t)$-matching. As a special case, we prove a conjecture of Bonacina, Galesi, Huynh and Wollan \cite{CNF}.
A note on Matching Cover Algorithm
A $k$-matching cover of a graph $G$ is a union of $k$ matchings of $G$ which covers $V(G)$. A matching cover of $G$ is optimal if it consists of the fewest matchings of $G$. In this paper, we present an algorithm for finding an optimal matching cover of a graph on $n$ vertices and $m$ edges in $O(nm)$ time. This algorithm corrects an error of Matching Cover Algorithm in (Xiumei Wang, Xiaoxin Song, Jinjiang Yuan, On matching cover of graphs, Math. Program. Ser. A (2014)147: 499-518).
Non-Crossing Perfect Matchings and Triangle-Free Geometric Graphs
We study extremal type problem arising from the question: What is the maximum number of edge-disjoint non-crossing perfect matchings on a set S of 2n points in the plane such that their union is a triangle-free geometric graph? We approach this problem by considering four different situations of S. In particular, in the general position, we obtain (i) a sufficient condition for the existence of n edge-disjoint non-crossing perfect matchings in the general position whose union is a maximal triangle-free geometric graph, and (ii) a lower bound on the number of edge-disjoint non-crossing perfect matchings whose union is a triangle free geometric graph.
Three matching intersection property for matching covered graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Graph Theory (January 15, 2018) dmtcs:3728
• View Publication
• BIB
In connection with Fulkerson's conjecture on cycle covers, Fan and Raspaud proposed a weaker conjecture: For every bridgeless cubic graph $G$, there are three perfect matchings $M_1$, $M_2$, and $M_3$ such that $M_1\cap M_2 \cap M_3=\emptyset$. We call the property specified in this conjecture the three matching intersection property (and 3PM property for short). We study this property on matching covered graphs. The main results are a necessary and sufficient condition and its applications to characterization of special graphs, such as the Halin graphs and 4-regular graphs.
On Prefix Normal Words and Prefix Normal Forms
Published in Theoretical Computer Science, 659: 1-13, 2017
• View Publication
• BIB
A $1$-prefix normal word is a binary word with the property that no factor has more $1$s than the prefix of the same length; a $0$-prefix normal word is defined analogously. These words arise in the context of indexed binary jumbled pattern matching, where the aim is to decide whether a word has a factor with a given number of $1$s and $0$s (a given Parikh vector). Each binary word has an associated set of Parikh vectors of the factors of the word. Using prefix normal words, we provide a characterization of the equivalence class of binary words having the same set of Parikh vectors of their factors.
We prove that the language of prefix normal words is not context-free and is strictly contained in the language of pre-necklaces, which are prefixes of powers of Lyndon words. We give enumeration results on $\textit{pnw}(n)$, the number of prefix normal words of length $n$, showing that, for sufficiently large $n$, \[ 2^{n-4 \sqrt{n \lg n}} \le \textit{pnw}(n) \le 2^{n - \lg n + 1}. \]
For fixed density (number of $1$s), we show that the ordinary generating function of the number of prefix normal words of length $n$ and density $d$ is a rational function. Finally, we give experimental results on $\textit{pnw}(n)$, discuss further properties, and state open problems.