matching
3165 papers tagged with this keyword
Matchings in balanced hypergraphs
We give a new proof of König's theorem and generalize the Gallai-Edmonds decomposition to balanced hypergraphs in two different ways. Based on our decompositions we give two new characterizations of balanced hypergraphs and show some properties of matchings and vertex cover in balanced hypergraphs.
On a pattern avoidance condition for the wreath product of cyclic groups with symmetric groups
Published
• View Publication
• BIB
In this paper, we extend to a non-consecutive case, the study of the pattern matching condition on the wreath product of the cyclic group and the symmetric group initiated by the authors in a previous paper. The main focus of our paper is (colored) patterns of length 2, although a number of enumerative results for longer patterns are also presented. A new non-trivial bijective interpretation for the Catalan numbers is found, in terms of simultaneously bi-avoiding two patterns in a wreath product.
A direct encoding of Stoimenow's matchings as ascent sequences
In connection with Vassiliev's knot invariants, Stoimenow (1998) introduced certain matchings, also called regular linearized chord diagrams. Bousquet-Melou et al. (2008) gave a bijection from those matchings to unlabeled (2+2)-free posets; they also showed how to encode the posets as so called ascent sequences. In this paper we present a direct encoding of Stoimenow's matchings as ascent sequences. In doing so we give the rules for recursively constructing and deconstructing such matchings.
Sharp threshold functions for the random intersection graph via coupling method?
Published in The Electronic Journal of Combinatorics, 18(1), P36, 2011
• View Publication
• BIB
We will present a new method, which enables us to find threshold functions for many properties in random intersection graphs. This method will be used to establish sharp threshold functions in random intersection graphs for k-connectivity, perfect matching containment and Hamilton cycle containment.
Matching polytopes and Specht modules
Published
• View Publication
• BIB
We prove that the dimension of the Specht module of a forest $G$ is the same as the normalized volume of the matching polytope of $G$. We also associate to $G$ a symmetric function $s_G$ (analogous to the Schur symmetric function $s_λ$ for a partition $λ$) and investigate its combinatorial and representation-theoretic properties in relation to the Specht module and Schur module of $G$. We then use this to define notions of standard and semistandard tableaux for forests.
Extensions of Barrier Sets to Nonzero Roots of the Matching Polynomials
Published
• View Publication
• BIB
In matching theory, barrier sets (also known as Tutte sets) have been studied extensively due to its connection to maximum matchings in a graph. In this paper, we first define $θ$-barrier sets. Our definition of a $θ$-barrier set is slightly different from that of a barrier set. However we show that $θ$-barrier sets and barrier sets have similar properties. In particular, we prove a generalized Berge's Formula and give a characterization for the set of all $θ$-special vertices in a graph.
Generalized $D$-graphs for Nonzero Roots of the Matching Polynomial
Recently, Bauer et al. (J Graph Theory 55(4) (2007), 343--358) introduced a graph operator $D(G)$, called the $D$-graph of $G$, which has been useful in investigating the structural aspects of maximal Tutte sets in $G$ with a perfect matching. Among other results, they proved a characterization of maximal Tutte sets in terms of maximal independent sets in the graph $D(G)$ and maximal extreme sets in $G$. This was later extended to graphs without perfect matchings by Busch et al. (Discrete Appl. Math. 155 (2007), 2487--2495). Let $θ$ be a real number and $μ(G,x)$ be the matching polynomial of a graph $G$. Let $\textnormal{mult} (θ, G)$ be the multiplicity of $θ$ as a root of $μ(G,x)$. We observe that the notion of $D$-graph is implicitly related to $θ=0$. In this paper, we give a natural generalization of the $D$-graph of $G$ for any real number $θ$, and denote this new operator by $D_θ(G)$, so that $D_θ(G)$ coincides with $D(G)$ when $θ=0$. We prove a characterization of maximal $θ$-Tutte sets which are $θ$-analogue of maximal Tutte sets in $G$. In particular, we show that for any $X \subseteq V(G)$, $|X|>1$, and any real number $θ$, $\m(θ, G \setminus X)=\m(θ, G)+|X|$ if and only if $\m(θ, G \setminus uv)=\m(θ, G)+2$ for any $u, v \in X$, $u \not = v$, thus extending the preceding work of Bauer et al. and Busch et al. which established the result for the case $θ=0$.
On Sum--Connectivity Index of Bicyclic Graphs
Published in Bull. Malays. Math. Sci. Soc. 35 (2012) 101-117
• Search Publication
We determine the minimum sum--connectivity index of bicyclic graphs with $n$ vertices and matching number $m$, where $2\le m\le \lfloor\frac{n}{2}\rfloor$, the minimum and the second minimum, as well as the maximum and the second maximum sum--connectivity indices of bicyclic graphs with $n\ge 5$ vertices. The extremal graphs are characterized.
On the maximum number of edges of non-flowerable coin graphs
Published
• View Publication
• BIB
For $n\in\nats$ and $3\leq k\leq n$ we compute the exact value of $E_k(n)$, the maximum number of edges of a simple planar graph on $n$ vertices where each vertex bounds an $\ell$-gon where $\ell\geq k$. The lower bound of $E_k(n)$ is obtained by explicit construction, and the matching upper bound is obtained by using Integer Programming (IP.) We then use this result to conjecture the maximum number of edges of a non-flowerable coin graph on $n$ vertices. A {\em flower} is a coin graph representation of the wheel graph. A collection of coins or discs in the Euclidean plane is {\em non-flowerable} if no flower can be formed by coins from the collection.
k-L(2,1)-Labelling for Planar Graphs is NP-Complete for k >= 4
Published
• View Publication
• BIB
A mapping from the vertex set of a graph G = (V,E) into an interval of integers {0,...,k} is an L(2,1)-labelling of G of span k if any two adjacent vertices are mapped onto integers that are at least 2 apart, and every two vertices with a common neighbour are mapped onto distinct integers. It is known that for any fixed k >= 4, deciding the existence of such a labelling is an NP-complete problem while it is polynomial for k <= 3. For even k >= 8, it remains NP-complete when restricted to planar graphs. In this paper, we show that it remains NP-complete for any k >= 4 by reduction from Planar Cubic Two-Colourable Perfect Matching. Schaefer stated without proof that Planar Cubic Two-Colourable Perfect Matching is NP-complete. In this paper we give a proof of this.
Higher order matching polynomials and d-orthogonality
Published in Advances in Applied Mathematics, vol 46, no 1-4, January 2011, pp 226-246
• View Publication
• BIB
We show combinatorially that the higher-order matching polynomials of several families of graphs are d-orthogonal polynomials. The matching polynomial of a graph is a generating function for coverings of a graph by disjoint edges; the higher-order matching polynomial corresponds to coverings by paths. Several families of classical orthogonal polynomials -- the Chebyshev, Hermite, and Laguerre polynomials -- can be interpreted as matching polynomials of paths, cycles, complete graphs, and complete bipartite graphs. The notion of d-orthogonality is a generalization of the usual idea of orthogonality for polynomials and we use sign-reversing involutions to show that the higher-order Chebyshev (first and second kinds), Hermite, and Laguerre polynomials are d-orthogonal. We also investigate the moments and find generating functions of those polynomials.
Invariant colorings of random planar maps
Published in Ergodic Theory and Dynamical Systems (2011), 31: 549-562
• Search Publication
Consider Bernoulli(1/2) percolation on $\mathbb{Z}^d$, and define a perfect matching between open and closed vertices in a way that is a deterministic equivariant function of the configuration. We want to find such matching rules that make the probability that the pair of the origin is at distance greater than $r$ decay as fast as possible. For two dimensions, we give a matching of decay $cr^{1/2}$, which is optimal. For dimension at least 3 we give a matching rule that has an exponential tail. This substantially improves previous bounds. The construction has two major parts: first we define a sequence of coarser and coarser partitions of $\mathbb{Z}^d$ in an equivariant way, such that with high probability the cell of a fixed point is like a cube, and the labels in it are i.i.d. Then we define a matching for a fixed finite cell, which stabilizes as we repeatedly apply it for the cells of the consecutive partitions. Our methods also work in the case when one wants to match points of two Poisson processes, and they may be applied to allocation questions.
New pattern matching conditions for wreath products of the cyclic groups with symmetric groups
We present several multi-variable generating functions for a new pattern matching condition on the wreath product of the cyclic group and the symmetric group. Our new pattern matching condition requires that the underlying permutations match in the usual sense of pattern matching for the symmetric group and that the corresponding sequence of signs match in the sense of words, rather than the exact equality of signs which has been previously studied. We produce the generating functions for the number of matches that occur in elements of the wreath product for any pattern of length 2 by applying appropriate homomorphisms from the ring of symmetric functions over an infinite number of variables to simple symmetric function identities. We also provide multi-variable generating functions for the distribution of non-overlapping matches and for the number of elements of the wreath product which have exactly 2 matches which do not overlap for several patterns of length 2.
Vertices in all minimum paired-dominating sets of block graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph without isolated vertices. A set $S\subseteq V$ is a paired-dominating set if every vertex in $V-S$ has at least one neighbor in $S$ and the subgraph induced by $S$ contains a perfect matching. In this paper, we present a linear-time algorithm to determine whether a given vertex in a block graph is contained in all its minimum paired-dominating sets.
Face-width of Pfaffian Braces and Polyhex Graphs on Surfaces
Published
• View Publication
• BIB
A graph $G$ is Pfaffian if it has an orientation such that each central cycle $C$ (i.e. $C$ is even and $G-V(C)$ has a perfect matching) has an odd number of edges directed in either direction of the cycle. The number of perfect matchings of Pfaffian graphs can be computed in polynomial time. In this paper, by applying the characterization of Pfaffian braces due to Robertson, Seymour and Thomas [Ann. Math. 150 (1999) 929-975], and independently McCuaig [Electorn. J. Combin. 11 (2004) #R79], we show that every embedding of a Pfaffian brace on a surface with positive genus has face-width at most 3. For a Pfaffian cubic brace, we obtain further structure properties which are useful in characterizing Pfaffian polyhex graphs. Combining with polyhex graphs with face-width 2, we show that a bipartite polyhex graph is Pfaffian if and only if it is isomorphic to the cube, the Heawood graph or $C_k\times K_2$ for even integers $k\ge 6$, and all non-bipartite polyhex graphs are Pfaffian.
On Konig-Egervary Square-Stable Graphs
The stability number of a graph G, denoted by alpha(G), is the cardinality of a maximum stable set, and mu(G) is the cardinality of a maximum matching in G. If alpha(G)+mu(G) equals its order, then G is a Konig-Egervary graph.
In this paper we deal with square-stable graphs, i.e., the graphs G enjoying the equality alpha(G)=alpha(G^{2}), where G^{2} denotes the second power of G. In particular, we show that a Konig-Egervary graph is square-stable if and only if it has a perfect matching consisting of pendant edges, and in consequence, we deduce that well-covered trees are exactly the square-stable trees.
Disjoint Hamilton cycles in the random geometric graph
We prove a conjecture of Penrose about the standard random geometric graph process, in which n vertices are placed at random on the unit square and edges are sequentially added in increasing order of lengths taken in the l_p norm. We show that the first edge that makes the random geometric graph Hamiltonian is a.a.s. exactly the same one that gives 2-connectivity. We also extend this result to arbitrary connectivity, by proving that the first edge in the process that creates a k-connected graph coincides a.a.s. with the first edge that causes the graph to contain k/2 pairwise edge-disjoint Hamilton cycles (for even k), or (k-1)/2 Hamilton cycles plus one perfect matching, all of them pairwise edge-disjoint (for odd k).
Borel oracles. An analytical approach to constant-time algorithms
Published
• View Publication
• BIB
Nguyen and Onak constructed the first constant-time algorithm for the approximation of the size of the maximum matching in bounded degree graphs. The Borel oracle machinery is a tool that can be used to convert some statements in Borel graph theory to theorems in the field of constant-time algorithms. In this paper we illustrate the power of this tool to prove the existence of the above mentioned constant-time approximation algorithm.
On the number of perfect matchings in random lifts
Published
• View Publication
• BIB
Let G be a fixed connected multigraph with no loops. A random n-lift of G is obtained by replacing each vertex of G by a set of n vertices (where these sets are pairwise disjoint) and replacing each edge by a randomly chosen perfect matching between the n-sets corresponding to the endpoints of the edge. Let X_G be the number of perfect matchings in a random lift of G. We study the distribution of X_G in the limit as n tends to infinity, using the small subgraph conditioning method.
We present several results including an asymptotic formula for the expectation of X_G when G is d-regular, d\geq 3. The interaction of perfect matchings with short cycles in random lifts of regular multigraphs is also analysed. Partial calculations are performed for the second moment of X_G, with full details given for two example multigraphs, including the complete graph K_4.
To assist in our calculations we provide a theorem for estimating a summation over multiple dimensions using Laplace's method. This result is phrased as a summation over lattice points, and may prove useful in future applications.
Random $k$-noncrossing RNA Structures
Published
• View Publication
• BIB
In this paper we derive polynomial time algorithms that generate random $k$-noncrossing matchings and $k$-noncrossing RNA structures with uniform probability. Our approach employs the bijection between $k$-noncrossing matchings and oscillating tableaux and the $P$-recursiveness of the cardinalities of $k$-noncrossing matchings. The main idea is to consider the tableaux sequences as paths of stochastic processes over shapes and to derive their transition probabilities.