matching
3278 papers tagged with this keyword
Near Perfect Matchings in $k$-uniform Hypergraphs
Published
• View Publication
• BIB
Let $H$ be a $k$-uniform hypergraph on $n$ vertices where $n$ is a sufficiently large integer not divisible by $k$. We prove that if the minimum $(k-1)$-degree of $H$ is at least $\lfloor n/k \rfloor$, then $H$ contains a matching with $\lfloor n/k\rfloor$ edges. This confirms a conjecture of Rödl, Ruciński and Szemerédi, who proved that the minimum $(k-1)$-degree $n/k+O(\log n)$ suffices. More generally, we show that $H$ contains a matching of size $d$ if its minimum codegree is $d<n/k$, which is also best possible.
Gray code orders for $q$-ary words avoiding a given factor
Published
• View Publication
• BIB
Based on BRGC inspired order relations we give Gray codes and a generating algorithm for $q$-ary words avoiding a prescribed factor. These generalize an early 2001 result and a very recent one published by some of the present authors, and can be seen as an alternative to those of Squire published in 1996. Among the involved tools, we make use of generalized BRGC order relations, ultimate periodicity of infinite words, and word matching techniques.
Normal, Abby Normal, Prefix Normal
Published in LNCS 8496, pages 74-88 (2014)
• View Publication
• BIB
A prefix normal word is a binary word with the property that no substring has more 1s than the prefix of the same length. This class of words is important in the context of binary jumbled pattern matching. In this paper we present results about the number $pnw(n)$ of prefix normal words of length $n$, showing that $pnw(n) =Ω\left(2^{n - c\sqrt{n\ln n}}\right)$ for some $c$ and $pnw(n) = O \left(\frac{2^n (\ln n)^2}{n}\right)$. We introduce efficient algorithms for testing the prefix normal property and a "mechanical algorithm" for computing prefix normal forms. We also include games which can be played with prefix normal words. In these games Alice wishes to stay normal but Bob wants to drive her "abnormal" -- we discuss which parameter settings allow Alice to succeed.
The matching polytope does not admit fully-polynomial size relaxation schemes
Published in Proceedings of SODA 2015, 837-846
• View Publication
• BIB
The groundbreaking work of Rothvoß [arxiv:1311.2369] established that every linear program expressing the matching polytope has an exponential number of inequalities (formally, the matching polytope has exponential extension complexity). We generalize this result by deriving strong bounds on the polyhedral inapproximability of the matching polytope: for fixed $0 < \varepsilon < 1$, every polyhedral $(1 + \varepsilon / n)$-approximation requires an exponential number of inequalities, where $n$ is the number of vertices. This is sharp given the well-known $ρ$-approximation of size $O(\binom{n}{ρ/(ρ-1)})$ provided by the odd-sets of size up to $ρ/(ρ-1)$. Thus matching is the first problem in $P$, whose natural linear encoding does not admit a fully polynomial-size relaxation scheme (the polyhedral equivalent of an FPTAS), which provides a sharp separation from the polynomial-size relaxation scheme obtained e.g., via constant-sized odd-sets mentioned above.
Our approach reuses ideas from Rothvoß [arxiv:1311.2369], however the main lower bounding technique is different. While the original proof is based on the hyperplane separation bound (also called the rectangle corruption bound), we employ the information-theoretic notion of common information as introduced in Braun and Pokutta [http://eccc.hpi-web.de/report/2013/056/], which allows to analyze perturbations of slack matrices. It turns out that the high extension complexity for the matching polytope stem from the same source of hardness as for the correlation polytope: a direct sum structure.
Optimum matchings in weighted bipartite graphs
Published
• View Publication
• BIB
Given an integer weighted bipartite graph $\{G=(U\sqcup V, E), w:E\rightarrow \mathbb{Z}\}$ we consider the problems of finding all the edges that occur in some minimum weight matching of maximum cardinality and enumerating all the minimum weight perfect matchings. Moreover, we construct a subgraph $G_{cs}$ of $G$ which depends on an $ε$-optimal solution of the dual linear program associated to the assignment problem on $\{G,w\}$ that allows us to reduced this problems to their unweighed variants on $G_{cs}$. For instance, when $G$ has a perfect matching and we have an $ε$-optimal solution of the dual linear program associated to the assignment problem on $\{G,w\}$, we solve the problem of finding all the edges that occur in some minimum weight perfect matching in linear time on the number of edges. Therefore, starting from scratch we get an algorithm that solves this problem in time $O(\sqrt{n}m\log(nW))$, where $n=|U|\geq |V|$, $m=|E|$, and $W={\rm max}\{|w(e)|\, :\, e\in E\}$.
Disjoint compatibility graph of non-crossing matchings of points in convex position
Published
• View Publication
• BIB
Let $X_{2k}$ be a set of $2k$ labeled points in convex position in the plane. We consider geometric non-intersecting straight-line perfect matchings of $X_{2k}$. Two such matchings, $M$ and $M'$, are disjoint compatible if they do not have common edges, and no edge of $M$ crosses an edge of $M'$. Denote by $\mathrm{DCM}_k$ the graph whose vertices correspond to such matchings, and two vertices are adjacent if and only if the corresponding matchings are disjoint compatible. We show that for each $k \geq 9$, the connected components of $\mathrm{DCM}_k$ form exactly three isomorphism classes -- namely, there is a certain number of isomorphic small components, a certain number of isomorphic medium components, and one big component. The number and the structure of small and medium components is determined precisely.
Generating Tatami Coverings Efficiently
We present two algorithms to list certain classes of monomino-domino coverings which conform to the \emph{tatami} restriction; no four tiles meet. Our methods exploit structural features of tatami coverings in order to create the lists in $O(1)$ time per covering. This is faster than known methods for generating certain classes of matchings in bipartite graphs.
We discuss tatami coverings of $n\times n$ grids with $n$ monominoes and $v$ vertical dominoes, as well as tatami coverings of a two-way infinitely-wide strip of constant height, subject to the constraint that they have a finite number of non-trivial structural "features".
These two classes are representative of two differing structural characterisations of tatami coverings which may be adapted to count other classes of tatami coverings or locally restricted matchings, such as tatami coverings of rectangles.
A note on the combinatorial structure of finite and locally finite simplicial complexes of nonpositive curvature
We investigate the collapsibility of systolic finite simplicial complexes of arbitrary dimension. The main tool we use in the proof is discrete Morse theory. We shall consider a convex subcomplex of the complex and project any simplex of the complex onto a ball around this convex subcomplex. These projections will induce a convenient gradient matching on the complex. Besides we analyze the combinatorial structure of both CAT(0) and systolic locally finite simplicial complexes of arbitrary dimensions. We will show that both such complexes possess an arborescent structure. Along the way we make use of certain well known results regarding systolic geometry.
The Minimum Perfect Matching in Pseudo-dimension $0<q<1$
Published
• View Publication
• BIB
It is known that for $K_{n,n}$ equipped with i.i.d. $exp(1)$ edge costs, the minimum total cost of a perfect matching converges to $π^2/6$ in probability. Similar convergence has been established for all edge cost distributions of pseudo-dimension $q \geq 1$, such as Wei(1,q) costs. In this paper we extend those results all $q>0$, confirming the Mézard-Parisi conjecture in the last remaining applicable case.
Elegantly colored paths and cycles in edge colored random graphs
Published
• View Publication
• BIB
We first consider the following problem. We are given a fixed perfect matching $M$ of $[n]$ and we add random edges one at a time until there is a Hamilton cycle containing $M$. We show that w.h.p. the hitting time for this event is the same as that for the first time there are no isolated vertices in the graph induced by the random edges. We then use this result for the following problem. We generate random edges and randomly color them black or white. A path/cycle is said to \emph{zebraic} if the colors alternate along the path. We show that w.h.p. the hitting time for a zebraic Hamilton cycle coincides with every vertex meeting at least one edge of each color. We then consider some related problems and extend to multiple colors. We also briefly consider directed versions.
The Graceful Tree Conjecture: a class of graceful diameter-6 trees
We survey the current state of progress on the Graceful Tree Conjecture, and then we present several new results toward the conjecture, driven by three new ideas: (1) It has been proven that generalized banana trees are graceful by rearranging the branches at the root--consider rearranging branches at all internal vertices; (2) The method of transfers has typically involved type-1 transfers and type-2 transfers--all type-2 transfers are type-1 transfers in disguise, and hence can be removed from the discussion; (3) The method of transfers has typically used the sequence of transfers $0\rightarrow n\rightarrow 1\rightarrow n - 1\rightarrow\cdots$--transfer backwards to manipulate the resulting labels. Using these ideas, we prove that several classes of diameter-6 trees are graceful, and we generalize some of these classes to larger trees. We also introduce a class of graceful spiders, prove that attaching sufficiently many leaves to any tree gives a graceful tree, and extend known results on trees with perfect matchings.
Closed-form expansions for the universal edge elimination polynomial
Published in Australasian Journal of Combinatorics, 63 (2015), 196-201
• Search Publication
We establish closed-form expansions for the universal edge elimination polynomial of paths and cycles and their generating functions. This includes closed-form expansions for the bivariate matching polynomial, the bivariate chromatic polynomial, and the covered components polynomial.
Percolation with small clusters on random graphs
Published in Graphs Combin. 32 no. 3 (2016), 1167-1185
• View Publication
• BIB
Consider the problem of determining the maximal induced subgraph in a random $d$-regular graph such that its components remain bounded as the size of the graph becomes arbitrarily large. We show, for asymptotically large $d$, that any such induced subgraph has size density at most $2(\log d)/d$ with high probability. A matching lower bound is known for independent sets. We also prove the analogous result for sparse Erdős-Rényi graphs.
Proof of Blum's conjecture on hexagonal dungeons
Published
• View Publication
• BIB
Matt Blum conjectured that the number of tilings of the Hexagonal Dungeon of sides $a,\ 2a,\ b,\ a,\ 2a,\ b$ (where $b\geq 2a$) is $13^{2a^2}14^{\lfloor\frac{a^2}{2}\rfloor}$ (J. Propp, New Perspectives in Geometric Combinatorics, Cambridge University Press, 1999). In this paper we present a proof for this conjecture using Kuo's Graphical Condensation Theorem (E. Kuo, Applications of Graphical Condensation for Enumerating Matchings and Tilings, Theoretical Computer Science, 2004).
Equality of Distance Packing Numbers
Published
• View Publication
• BIB
We characterize the graphs for which the independence number equals the packing number. As a consequence we obtain simple structural descriptions of the graphs for which (i) the distance-$k$-packing number equals the distance-$2k$-packing number, and (ii) the distance-$k$-matching number equals the distance-$2k$-matching number. This last result considerably simplifies and extends previous results of Cameron and Walker (The graphs with maximum induced matching and maximum matching the same size, Discrete Math. 299 (2005) 49-55). For positive integers $k_1$ and $k_2$ with $k_1<k_2$ and $\lceil(3k_2+1)/2\rceil\leq 2k_1+1$, we prove that it is NP-hard to determine for a given graph whether its distance-$k_1$-packing number equals its distance-$k_2$-packing number.
Approximate Counting of Matchings in $(3,3)$-Hypergraphs
Published
• View Publication
• BIB
We design a fully polynomial time approximation scheme (FPTAS) for counting the number of matchings (packings) in arbitrary 3-uniform hypergraphs of maximum degree three, referred to as $(3,3)$-hypergraphs. It is the first polynomial time approximation scheme for that problem, which includes also, as a special case, the 3D Matching counting problem for 3-partite $(3,3)$-hypergraphs. The proof technique of this paper uses the general correlation decay technique and a new combinatorial analysis of the underlying structures of the intersection graphs. The proof method could be also of independent interest.
Electroid varieties and a compactification of the space of electrical networks
Published
• View Publication
• BIB
We construct a compactification of the space of circular planar electrical networks studied by Curtis-Ingerman-Morrow and De Verdiere-Gitler-Vertigan, using cactus networks. We embed this compactification as a linear slice of the totally nonnegative Grassmannian, and relate Kenyon and Wilson's grove measurements to Postnikov's boundary measurements. Intersections of the slice with the positroid stratification leads to a class of electroid varieties, indexed by matchings. The partial order on matchings arising from electrical networks is shown to be dual to a subposet of affine Bruhat order. The analogues of matroids in this setting are certain distinguished collections of non-crossing partitions.
A generalization of extension complexity that captures $P$
Published
• View Publication
• BIB
In this paper we propose a generalization of the extension complexity of a polyhedron $Q$. On the one hand it is general enough so that all problems in $P$ can be formulated as linear programs with polynomial size extension complexity. On the other hand it still allows non-polynomial lower bounds to be proved for $NP$-hard problems independently of whether or not $P=NP$. The generalization, called $H$-free extension complexity, allows for a set of valid inequalities $H$ to be excluded in computing the extension complexity of $Q$. We give results on the $H$-free extension complexity of hard matching problems (when $H$ are the odd set inequalities) and the traveling salesman problem (when $H$ are the subtour elimination constraints).
List strong edge coloring of some classes of graphs
Published in Australas. J. Combin. 68 (2017) 106--117
• Search Publication
A {\em strong edge coloring} of a graph is a proper edge coloring in which every color class is an induced matching. The {\em strong chromatic index} of a graph is the minimum number of colors needed to obtain a strong edge coloring. In an analogous way, we can define the list version of strong edge coloring and list version of strong chromatic index. In this paper, we prove that if $G$ is a graph with maximum degree at most four and maximum average degree less than $3$, then the list strong chromatic index is at most $3Δ+ 1$, where $Δ$ is the maximum degree of $G$. In addition, we prove that if $G$ is a planar graph with maximum degree at least $4$ and girth at least $7$, then the list strong chromatic index is at most $3Δ$.
A Note on the Sparing Number of Graphs
Published in Advances and Applications in Discrete Mathematics, Vol.14 Issue.1, 2014, pp.51-65
• Search Publication
An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective. An IASI $f$ is said to be a weak IASI if $|g_f(uv)|=max(|f(u)|,|f(v)|)$ for all $u,v\in V(G)$. A graph which admits a weak IASI may be called a weak IASI graph. The set-indexing number of an element of a graph $G$, a vertex or an edge, is the cardinality of its set-labels. The sparing number of a graph $G$ is the minimum number of edges with singleton set-labels, required for a graph $G$ to admit a weak IASI. In this paper, we study the sparing number of certain graphs and the relation of sparing number with some other parameters like matching number, chromatic number, covering number, independence number etc.