matching
3278 papers tagged with this keyword
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.
Critical independent sets and Konig--Egervary graphs
Published
• View Publication
• BIB
Let alpha(G) be the cardinality of a independence set of maximum size in the graph G, while mu(G) is the size of a maximum matching. G is a Konig--Egervary graph if its order equals alpha(G) + mu(G). The set core(G) is the intersection of all maximum independent sets of G (Levit & Mandrescu, 2002). The number def(G)=|V(G)|-2*mu(G) is the deficiency of G (Lovasz & Plummer, 1986). The number d(G)=max{|S|-|N(S)|:S in Ind(G)} is the critical difference of G. An independent set A is critical if |A|-|N(A)|=d(G), where N(S) is the neighborhood of S (Zhang, 1990). In 2009, Larson showed that G is Konig--Egervary graph if and only if there exists a maximum independent set that is critical as well. In this paper we prove that: (i) d(G)=|core(G)|-|N(core(G))|=alpha(G)-mu(G)=def(G) for every Konig--Egervary graph G; (ii) G is Konig--Egervary graph if and only if every maximum independent set of G is critical.
Graphical condensation, overlapping Pfaffians and superpositions of matchings
Published
• View Publication
• BIB
The purpose of this note is to exhibit clearly how the "graphical condensation" identities of Kuo, Yan, Yeh and Zhang follow from classical Pfaffian identities by the Kasteleyn-Percus method for the enumeration of matchings. Knuth termed the relevant identities "overlapping Pfaffian" identities and the key concept of proof "superpositions of matchings". In our uniform presentation of the material, we also give an apparently unpublished general "overlapping Pfaffian" identity of Krattenthaler.
A previous version of this paper contained an erroneous application of the Kasteleyn-Percus method, which is now corrected.
Perfect matchings of line graphs with small maximum degree
Let $G$ be a connected graph with vertex set $V(G)=\{v_1,v_2,...,v_ν\}$, which may have multiple edges but have no loops, and $2\leq d_G(v_i)\leq 3$ for $i=1,2,...,ν$, where $d_G(v)$ denotes the degree of vertex $v$ of $G$. We show that if $G$ has an even number of edges, then the number of perfect matchings of the line graph of $G$ equals $2^{n/2+1}$, where $n$ is the number of 3-degree vertices of $G$. As a corollary, we prove that the number of perfect matchings of a connected cubic line graph with $n$ vertices equals $2^{n/6+1}$ if $n>4$, which implies the conjecture by Lovász and Plummer holds for the connected cubic line graphs. As applications, we enumerate perfect matchings of the Kagomé lattices, $3.12.12$ lattices, and Sierpinski gasket with dimension two in the context of statistical physics.
Perfect matchings for the three-term Gale-Robinson sequences
Published in Electronic Journal of Combinatories 16, 1 (2009) paper R125
• View Publication
• BIB
In 1991, David Gale and Raphael Robinson, building on explorations carried out by Michael Somos in the 1980s, introduced a three-parameter family of rational recurrence relations, each of which (with suitable initial conditions) appeared to give rise to a sequence of integers, even though a priori the recurrence might produce non-integral rational numbers. Throughout the '90s, proofs of integrality were known only for individual special cases. In the early '00s, Sergey Fomin and Andrei Zelevinsky proved Gale and Robinson's integrality conjecture. They actually proved much more, and in particular, that certain bivariate rational functions that generalize Gale-Robinson numbers are actually polynomials with integer coefficients. However, their proof did not offer any enumerative interpretation of the Gale-Robinson numbers/polynomials. Here we provide such an interpretation in the setting of perfect matchings of graphs, which makes integrality/polynomiality obvious. Moreover, this interpretation implies that the coefficients of the Gale-Robinson polynomials are positive, as Fomin and Zelevinsky conjectured.
Perfect Matchings in Claw-free Cubic Graphs
Published in Electronic J. of Combin., 18 (2011), #P62 (pp. 6)
• View Publication
• BIB
Lovasz and Plummer conjectured that there exists a fixed positive constant c such that every cubic n-vertex graph with no cutedge has at least 2^(cn) perfect matchings. Their conjecture has been verified for bipartite graphs by Voorhoeve and planar graphs by Chudnovsky and Seymour. We prove that every claw-free cubic n-vertex graph with no cutedge has more than 2^(n/12) perfect matchings, thus verifying the conjecture for claw-free graphs.
Edge Cover Colouring Versus Minimum Degree in Multigraphs
An edge colouring of a multigraph can be thought of as a partition of the edges into matchings (a matching meets each vertex at most once). Analogously, an edge cover colouring is a partition of the edges into edge covers (an edge cover meets each vertex at least once). We aim to determine a tight lower bound on the maximum number of parts in an edge cover colouring as a function of the minimum degree delta, which would be an analogue of Shannon's theorem from 1949 on edge-colouring multigraphs. We are able to give a lower bound that is tight except when delta=9 or delta is odd and > 12; in these non-tight cases the best upper and lower bounds differ by one.
Matching and Factor-Critical Property in 3-Dominating-Critical Graphs
Let $γ(G)$ be the domination number of a graph $G$. A graph $G$ is \emph{domination-vertex-critical}, or \emph{$γ$-vertex-critical}, if $γ(G-v)< γ(G)$ for every vertex $v \in V(G)$. In this paper, we show that: Let $G$ be a $γ$-vertex-critical graph and $γ(G)=3$. (1) If $G$ is of even order and $K_{1,6}$-free, then $G$ has a perfect matching; (2) If $G$ is of odd order and $K_{1,7}$-free, then $G$ has a near perfect matching with only three exceptions. All these results improve the known results.