matching
3168 papers tagged with this keyword
On maximal tail probability of sums of nonnegative, independent and identically distributed random variables
We consider the problem of finding the optimal upper bound for the tail probability of a sum of $k$ nonnegative, independent and identically distributed random variables with given mean $x$. For $k=1$ the answer is given by Markov's inequality and for $k=2$ the solution was found by Hoeffding and Shrikhande in 1955. We solve the problem for $k=3$ as well as for general $k$ and $x\leq1/(2k-1)$ by showing that it follows from the fractional version of an extremal graph theory problem of Erdős on matchings in hypergraphs.
How fast can Maker win in fair biased games?
Published
• View Publication
• BIB
We study (a:a) Maker-Breaker games played on the edge set of the complete graph on n vertices. In the following four games - perfect matching game, Hamilton cycle game, star factor game and path factor game, our goal is to determine the least number of moves which Maker needs in order to win these games. Moreover, for all games except for the star factor game, we show how Red can win in the strong version of these games.
The isomorphic version of Brualdies nestedness is in P
Published
• View Publication
• BIB
The discrepancy BR for an $m \times n$ $0,1$-matrix from Brualdi and Sanderson \cite{Brualdi1998} counts the minimum number of $1$'s which need to be shifted in each row to the left to achieve its Ferrers matrix, i.e. each row consists of consecutive $1$'s followed by consecutive $0$'s. For ecological bipartite networks BR describes how nested a set of relationships is. Since different labeled matrices can be isomorphic but possess different discrepancies, we define a metric determining the minimum discrepancy in an isomorphic class. We give a reduction to $k\leq n$ minimum weighted perfect matching problems.
The structure of large intersecting families
Published
• View Publication
• BIB
A collection of sets is {\em intersecting} if every two members have nonempty intersection. We describe the structure of intersecting families of $r$-sets of an $n$-set whose size is quite a bit smaller than the maximum ${n-1 \choose r-1}$ given by the Erd\H os-Ko-Rado Theorem.
In particular, this extends the Hilton-Milner theorem on nontrivial intersecting families and answers a recent question of Han and Kohayakawa for large $n$. In the case $r=3$ we describe the structure of all intersecting families with more than 10 edges. We also prove a stability result for the Erdos matching problem. Our short proofs are simple applications of the Delta-system method introduced and extensively used by Frankl since 1977.
Construction and characterization of graphs whose each spanning tree has a perfect matching
Published
• View Publication
• BIB
An edge subset $S$ of a connected graph $G$ is called an anti-Kekulé set if $G-S$ is connected and has no perfect matching. We can see that a connected graph $G$ has no anti-Kekulé set if and only if each spanning tree of $G$ has a perfect matching. In this paper, by applying Tutte's 1-factor theorem and structure of minimally 2-connected graphs, we characterize all graphs whose each spanning tree has a perfect matching In addition, we show that if $G$ is a connected graph of order $2n$ for a positive integer $n\geq 4$ and size $m$ whose each spanning tree has a perfect matching, then $m\leq \frac{(n+1)n} 2$, with equality if and only if $G\cong K_n\circ K_1$.
Paired patterns in lattice paths
Published
• View Publication
• BIB
Let $\mathcal{L}_n$ denote the set of all paths from $[0,0]$ to $[n, n]$ which consist of either unit north steps $N$ or unit east steps $E$ or, equivalently, the set of all words $L \in \{E,N\}^*$ with $n$ $E$'s and $n$ $N$'s. Given $L \in \mathcal{L}_n$ and a subset $A$ of $[n] = \{1, \ldots, n\}$, we let $ps_{L}(A)$ denote the word that results from $L$ by removing the $i^{th}$ occurrence of $E$ and the $i^{th}$ occurrence of $N$ in $L$ for all $i \in [n]-A$, reading from left to right. Then we say that a paired pattern $P \in \mathcal{L}_k$ occurs in $L$ if there is some $A \subseteq [n]$ of size $k$ such that $ps_L(A) = P$. In this paper, we study the generating functions of paired pattern matching in $\mathcal L_n$.
On local matchability in groups and vector spaces
In this paper, we define locally matchable subsets of a group which is extracted from the concept of matchings in groups and used as a tool to give alternative proofs for existing results in matching theory. We also give the linear analogue of locally matchability for subspaces in a field extension. Our tools mix additive number theory, combinatorics and algebra
Unshuffling Permutations
Published in Latin American Theoretical Informatics Symposium, LNCS 9644, 509--521, 2016
• View Publication
• BIB
A permutation is said to be a square if it can be obtained by shuffling two order-isomorphic patterns. The definition is intended to be the natural counterpart to the ordinary shuffle of words and languages. In this paper, we tackle the problem of recognizing square permutations from both the point of view of algebra and algorithms. On the one hand, we present some algebraic and combinatorial properties of the shuffle product of permutations. We follow an unusual line consisting in defining the shuffle of permutations by means of an unshuffling operator, known as a coproduct. This strategy allows to obtain easy proofs for algebraic and combinatorial properties of our shuffle product. We besides exhibit a bijection between square $(213,231)$-avoiding permutations and square binary words. On the other hand, by using a pattern avoidance criterion on oriented perfect matchings, we prove that recognizing square permutations is $\mathbf{NP}$-complete.
Flip Distance to a Non-crossing Perfect Matching
A perfect straight-line matching $M$ on a finite set $P$ of points in the plane is a set of segments such that each point in $P$ is an endpoint of exactly one segment. $M$ is non-crossing if no two segments in $M$ cross each other. Given a perfect straight-line matching $M$ with at least one crossing, we can remove this crossing by a flip operation. The flip operation removes two crossing segments on a point set $Q$ and adds two non-crossing segments to attain a new perfect matching $M'$. It is well known that after a finite number of flips, a non-crossing matching is attained and no further flip is possible. However, prior to this work, no non-trivial upper bound on the number of flips was known. If $g(n)$ (resp.~$k(n)$) is the maximum length of the longest (resp.~shortest) sequence of flips starting from any matching of size $n$, we show that $g(n) = O(n^3)$ and $g(n) = Ω(n^2)$ (resp.~$k(n) = O(n^2)$ and $k(n) = Ω(n)$).
Cores, joins and the Fano-flow conjectures
Published
• View Publication
• BIB
The Fan-Raspaud Conjecture states that every bridgeless cubic graph has three 1-factors with empty intersection. A weaker one than this conjecture is that every bridgeless cubic graph has two 1-factors and one join with empty intersection. Both of these two conjectures can be related to conjectures on Fano-flows. In this paper, we show that these two conjectures are equivalent to some statements on cores and weak cores of a bridgeless cubic graph. In particular, we prove that the Fan-Raspaud Conjecture is equivalent to a conjecture proposed in [E. Steffen, 1-factor and cycle covers of cubic graphs, J. Graph Theory 78 (2015) 195-206]. Furthermore, we disprove a conjecture proposed in [G. Mazzuoccolo, New conjectures on perfect matchings in cubic graphs, Electron. Notes Discrete Math. 40 (2013) 235-238] and we propose a new version of it under a stronger connectivity assumption. The weak oddness of a cubic graph $G$ is the minimum number of odd components in the complement of a join of $G$. We obtain an upper bound of weak oddness in terms of weak cores, and thus an upper bound of oddness in terms of cores as a by-product.
Covering a cubic graph by 5 perfect matchings
Published
• View Publication
• BIB
Berge Conjecture states that every bridgeless cubic graph has 5 perfect matchings such that each edge is contained in at least one of them. In this paper, we show that Berge Conjecture holds for two classes of cubic graphs, cubic graphs with a circuit missing only one vertex and bridgeless cubic graphs with a 2-factor consisting of two circuits. The first part of this result implies that Berge Conjecture holds for hypohamiltonian cubic graphs.
Derivatives and real roots of graph polynomials
Published
• View Publication
• BIB
Graph polynomials are polynomials assigned to graphs. Interestingly, they also arise in many areas outside graph theory as well. Many properties of graph polynomials have been widely studied. In this paper, we survey some results on the derivative and real roots of graph polynomials, which have applications in chemistry, control theory and computer science. Related to the derivatives of graph polynomials, polynomial reconstruction of the matching polynomial is also introduced.
Treelike snarks
Published
• View Publication
• BIB
We study snarks whose edges cannot be covered by fewer than five perfect matchings. Esperet and Mazzuoccolo found an infinite family of such snarks, generalising an example provided by Hagglund. We construct another infinite family, arising from a generalisation in a different direction. The proof that this family has the requested property is computer-assisted. In addition, we prove that the snarks from this family (we call them treelike snarks) have circular flow number five and admit a 5-cycle double cover.
Representation of large matchings in bipartite graphs
Published
• View Publication
• BIB
Let $f(n)$ be the smallest number such that every collection of $n$ matchings, each of size at least $f(n)$, in a bipartite graph, has a full rainbow matching. Generalizing famous conjectures of Ryser, Brualdi and Stein, Aharoni and Berger conjectured that $f(n)=n+1$ for every $n>1$. Clemens and Ehrenm{ü}ller proved that $f(n) \le \frac{3}{2}n +o(n)$. We show that the $o(n)$ term can be reduced to a constant, namely $f(n) \le \lceil \frac{3}{2}n \rceil+1$.
A Graph Theoretic Proof of the Tight Cut Lemma
Published
• View Publication
• BIB
In deriving their characterization of the perfect matchings polytope, Edmonds, Lovász, and Pulleyblank introduced the so-called {\em Tight Cut Lemma} as the most challenging aspect of their work. The Tight Cut Lemma in fact claims {\em bricks} as the fundamental building blocks that constitute a graph in studying the matching polytope and can be referred to as a key result in this field. Even though the Tight Cut Lemma is a matching \textup{(}$1$-matching\textup{)} theoretic statement that consists of purely graph theoretic concepts, the known proofs either employ a linear programming argument or are established upon results regarding a substantially wider notion than matchings. This paper presents a new proof of the Tight Cut Lemma, which attains both of the two reasonable features for the first time, namely, being {\em purely graph theoretic} as well as {\em purely matching theory closed}. Our proof uses, as the only preliminary result, the canonical decomposition recently introduced by Kita. By further developing this canonical decomposition, we acquire a new device of {\em towers} to analyze the structure of bricks, and thus prove the Tight Cut Lemma. We believe that our new proof of the Tight Cut Lemma provides a highly versatile example of how to handle bricks.
On graphs decomposable into induced matchings of linear sizes
Published
• View Publication
• BIB
We call a graph $G$ an $(r,t)$-Ruzsa-Szemerédi graph if its edge set can be partitioned into $t$ edge-disjoint induced matchings, each of size $r$. These graphs were introduced in 1978 and has been extensively studied since then. In this paper, we consider the case when $r=cn$. For $c>1/4$, we determine the maximum possible $t$ which is a constant depending only on $c$. On the other hand, when $c=1/4$, there could be as many as $Ω(\log n)$ induced matchings. We prove that this bound is tight up to a constant factor. Finally, when $c$ is fixed strictly between $1/5$ and $1/4$, we give a short proof that the number $t$ of induced matchings is $O(n/\log n)$. We are also able to further improve the upper bound to $o(n/\log n)$ for fixed $c> 1/4-b$ for some positive constant $b$.
The difference and ratio of the fractional matching number and the matching number of graphs
Published in Discrete Mathematics, Volume 339, Issue 4, 6 April 2016, Pages 1382-1386
• View Publication
• BIB
Given a graph $G$, the matching number of $G$, written $α'(G)$, is the maximum size of a matching in $G$, and the fractional matching number of $G$, written $α'_f(G)$, is the maximum size of a fractional matching of $G$. In this paper, we prove that if $G$ is an $n$-vertex connected graph that is neither $K_1$ nor $K_3$, then $α'_f(G)-α'(G) \le \frac{n-2}6$ and $\frac{α'_f(G)}{α'(G)} \le \frac{3n}{2n+2}$. Both inequalities are sharp, and we characterize the infinite family of graphs where equalities hold.
Perfect Matchings in Hypergraphs and the Erdős matching conjecture
Published
• View Publication
• BIB
We prove a new upper bound for the minimum $d$-degree threshold for perfect matchings in $k$-uniform hypergraphs when $d<k/2$. As a consequence, this determines exact values of the threshold when $0.42k \le d < k/2$ or when $(k,d)=(12,5)$ or $(17,7)$. Our approach is to give an upper bound on the Erdős Matching Conjecture and convert the result to the minimum $d$-degree setting by an approach of Kühn, Osthus and Townsend. To obtain exact thresholds, we also apply a result of Treglown and Zhao.
Enumerating matroids of fixed rank
Published
• View Publication
• BIB
It has been conjectured that asymptotically almost all matroids are sparse paving, i.e. that $s(n) \sim m(n)$, where $m(n)$ denotes the number of matroids on a fixed groundset of size $n$, and $s(n)$ the number of sparse paving matroids. In an earlier paper, we showed that $\log s(n) \sim \log m(n)$. The bounds that we used for that result were dominated by matroids of rank $r\approx n/2$. In this paper we consider the relation between the number of sparse paving matroids $s(n,r)$ and the number of matroids $m(n,r)$ on a fixed groundset of size $n$ of fixed rank $r$. In particular, we show that $\log s(n,r) \sim \log m(n,r)$ whenever $r\ge 3$, by giving asymptotically matching upper and lower bounds.
Our upper bound on $m(n,r)$ relies heavily on the theory of matroid erections as developed by Crapo and Knuth, which we use to encode any matroid as a stack of paving matroids. Our best result is obtained by relating to this stack of paving matroids an antichain that completely determines the matroid.
We also obtain that the collection of essential flats and their ranks gives a concise description of matroids.
On an Edge Precoloring Conjecture
Edwards, van den Heuvel, Kang, and Sereni conjectured the following strengthening of Vizing's Theorem: let $G$ be a simple graph, and let $K = Δ(G) + 1$. For any matching $M$ in $G$ and any precoloring of the edges in $M$ using the colors $\{1, \ldots, K\}$, there is some proper $K$-edge-coloring of $G$ extending the given precoloring. We give an infinite family of counterexamples to this conjecture, and prove a weaker version of the conjecture proposed in the same work.