matching
3168 papers tagged with this keyword
On the saturation number of graphs
Let $G=(V,E)$ be a simple connected graph. A matching $M$ in a graph $G$ is a collection of edges of $G$ such that no two edges from $M$ share a vertex. A matching $M$ is maximal if it cannot be extended to a larger matching in $G$. The cardinality of any smallest maximal matching in $G$ is the saturation number of $G$ and is denoted by $s(G)$. In this paper we study the saturation number of the corona product of two specific graphs. We also consider some graphs with certain constructions that are of importance in chemistry and study their saturation number.
Redundant edges in Ramsey graphs
Published
• View Publication
• BIB
For graphs $G$, $F$ and $H$, let $G\rightarrow (F,H)$ signify that any edge coloring of $G$ in red and blue contains a red $F$ or a blue $H$. The Ramsey number $R(F,H)=\min\{r|\; K_r\rightarrow (F,H)\}$. In this note, we consider redundant edges in Ramsey graphs, which are associate with critical Ramsey numbers. For an integer $k\ge 1$, let ${\mathbb G}=\{G_k,G_{k+1},\dots \}$ be a class of graphs with $δ(G_n)\ge 1$. We define the critical Ramsey number $R_{\mathbb G}(F,H)$ with respect to $\mathbb G$ to be $\max\{n|\; K_r\setminus G_n \rightarrow(F,H),\,G_n\in{\mathbb G}\big\}$, where $r=R(F,H)$. We shall determine some $R_{\mathbb G}(F,H)$, where ${\mathbb G}$ consists of stars, matchings and complete graphs, respectively.
On the complexity of graph coloring with additional local conditions
Published
• View Publication
• BIB
Let $G = (V,E)$ be a finite simple graph. Recall that a proper coloring of $G$ is a mapping $\varphi: V\to\{1,\ldots,k\}$ such that every color class induces an independent set. Such a $\varphi$ is called a semi-matching coloring if the union of any two consecutive color classes induces a matching. We show that the semi-matching coloring problem is NP-complete for any fixed $k\geqslant 3$, and we get the same result for another version of this problem in which any triangle of G is required to have vertices whose colors differ at least by three.
Parity Factors I: General Kotzig-Lovász Decomposition for Grafts
This paper is the first from a series of papers that establish a generalization of the basilica decomposition for cardinality minimum joins in grafts. Joins in grafts are also known as $T$-joins in graphs, where $T$ is a given set of vertices, and minimum joins in grafts can be considered as a generalization of perfect matchings in graphs provided in terms of parity. The basilica decomposition is a canonical decomposition applicable to general graphs with perfect matchings, and the general Kotzig-Lovász decomposition is one of the three central concepts that compose this theory. The classical Kotzig-Lovász decomposition is a canonical decomposition for a special class of graphs known as {\em factor-connected graphs} and is famous for its contribution to the study of the matching polytope and lattice. The general Kotzig-Lovász decomposition is a nontrivial generalization of its classical counterpart and is applicable to general graphs with perfect matchings. As a component of the basilica decomposition theory, the general Kotzig-Lovász decomposition has contributed to the derivation of further results in matching theory, such as a characterization of barriers or an alternative proof of the tight cut lemma. In this paper, we present an analogue of the general Kotzig-Lovász decomposition for minimum joins in grafts.
The Game of Blocking Pebbles
Published
• View Publication
• BIB
Graph Pebbling is a well-studied single-player game on graphs. We introduce the game of Blocking Pebbles which adapts Graph Pebbling into a two-player strategy game in order to examine it within the context of Combinatorial Game Theory. Positions with game values matching all integers, all nimbers, and many infinitesimals and switches are found.
Topology of posets with special partial matchings
Published
• View Publication
• BIB
Special partial matchings (SPMs) are a generalisation of Brenti's special matchings. Let a \emph{pircon} be a poset in which every non-trivial principal order ideal is finite and admits an SPM. Thus pircons generalise Marietti's zircons. We prove that every open interval in a pircon is a PL ball or a PL sphere. It is then demonstrated that Bruhat orders on certain twisted identities and quasiparabolic $W$-sets constitute pircons. Together, these results extend a result of Can, Cherniavsky, and Twelbeck, prove a conjecture of Hultman, and confirm a claim of Rains and Vazirani.
Minimum co-degree condition for perfect matchings in k-partite k-graphs
Published
• View Publication
• BIB
Let $H$ be a $k$-partite $k$-graph with $n$ vertices in each partition class, and let $δ_{k-1}(H)$ denote the minimum co-degree of $H$. We characterize those $H$ with $δ_{k-1}(H) \geq n/2$ and with no perfect matching. As a consequence we give an affirmative answer to the following question of Rödl and Ruciński: If $k$ is even or $n \not\equiv 2 \pmod 4$, does $δ_{k-1}(H) \geq n/2$ imply that $H$ has a perfect matching? We also give an example indicating that it is not sufficient to impose this degree bound on only two types of $(k-1)$-sets.
On the optimality of the uniform random strategy
Published
• View Publication
• BIB
The concept of biased Maker-Breaker games, introduced by Chvátal and Erd{\H o}s, is a central topic in the field of positional games, with deep connections to the theory of random structures. For any given hypergraph ${\cal H}$ the main questions is to determine the smallest bias $q({\cal H})$ that allows Breaker to force that Maker ends up with an independent set of ${\cal H}$. Here we prove matching general winning criteria for Maker and Breaker when the game hypergraph satisfies a couple of natural `container-type' regularity conditions about the degree of subsets of its vertices. This will enable us to derive a hypergraph generalization of the $H$-building games, studied for graphs by Bednarska and Łuczak. Furthermore, we investigate the biased version of generalizations of the van der Waerden games introduced by Beck. We refer to these generalizations as Rado games and determine their threshold bias up to constant factors by applying our general criteria. We find it quite remarkable that a purely game theoretic deterministic approach provides the right order of magnitude for such a wide variety of hypergraphs, when the generalizations to hypergraphs in the analogous setup of sparse random discrete structures are usually quite challenging.
On the anti-Kelulé problem of cubic graphs
Published
• View Publication
• BIB
An edge set $S$ of a connected graph $G$ is called an anti-Kekulé set if $G-S$ is connected and has no perfect matchings, where $G-S$ denotes the subgraph obtained by deleting all edges in $S$ from $G$. The anti-Kekulé number of a graph $G$, denoted by $ak(G)$, is the cardinality of a smallest anti-Kekulé set of $G$. It is NP-complete to find the smallest anti-Kekulé set of a graph. In this paper, we show that the anti-Kekulé number of a 2-connected cubic graph is either 3 or 4, and the anti-Kekulé number of a connected cubic bipartite graph is always equal to 4. Furthermore, a polynomial time algorithm is given to find all smallest anti-Kekulé sets of a connected cubic graph.
The $r$-matching sequencibility of complete graphs
Published in Adam Mammoliti, The r-matching sequencibility of complete graphs, Electron. J. Combin. 25 (2018), Paper 1.6, 23 pp
• View Publication
• BIB
Alspach [ Bull. Inst. Combin. Appl., 52 (2008), pp. 7-20] defined the maximal matching sequencibility of a graph $G$, denoted $ms(G)$, to be the largest integer $s$ for which there is an ordering of the edges of $G$ such that every $s$ consecutive edges form a matching. Alspach also proved that $ms(K_n) = \bigl\lfloor\frac{n-1}{2}\bigr\rfloor$. Brualdi et al. [ Australas. J. Combin., 53 (2012), pp. 245-256] extended the definition to cyclic matching sequencibility of a graph $G$, denoted $cms(G)$, which allows cyclical orderings and proved that $cms(K_n) = \bigl\lfloor\frac{n-2}{2}\bigr\rfloor$.
In this paper, we generalise these definitions to require that every $s$ consecutive edges form a subgraph where every vertex has degree at most $r\geq 1$, and we denote the maximum such number for a graph $G$ by $ms_r(G)$ and $cms_r(G)$ for the non-cyclic and cyclic cases, respectively. We conjecture that $ms_r(K_n) = \bigl\lfloor\frac{rn-1}{2}\bigr\rfloor$ and ${\bigl\lfloor\frac{rn-1}{2}\bigr\rfloor-1}~ \leq cms_r(K_n) \leq \bigl\lfloor\frac{rn-1}{2}\bigr\rfloor$ and that both bounds are attained for some $r$ and $n$. We prove these conjectured identities for the majority of cases, by defining and characterising selected decompositions of $K_n$. We also provide bounds on $ms_r(G)$ and $cms_r(G)$ as well as results on hypergraph analogues of $ms_r(G)$ and $cms_r(G)$.
Rainbow matchings in Dirac bipartite graphs
Published
• View Publication
• BIB
We show the existence of rainbow perfect matchings in $μn$-bounded edge colourings of Dirac bipartite graphs, for a sufficiently small $μ>0$. As an application of our results, we obtain several results on the existence of rainbow $k$-factors in Dirac graphs and rainbow spanning subgraphs of bounded maximum degree on graphs with large minimum degree.
Signless Laplacian spectral radius and fractional matchings in graphs
A {\it fractional matching} of a graph $G$ is a function $f$ giving each edge a number in $[0,1]$ so that $\sum_{e\in Γ(v)}f(e)\leq 1$ for each $v\in V(G)$, where $Γ(v)$ is the set of edges incident to $v$. The {\it fractional matching number} of $G$, written $α'_{*}(G)$, is the maximum of $\sum_{e\in E(G)}f(e)$ over all fractional matchings $f$. In this paper, we propose the relations between the fractional matching number and the signless Laplacian spectral radius of a graph. As applications, we also give sufficient spectral conditions for existence of a fractional perfect matching in a graph in terms of the signless Laplacian spectral radius of the graph and its complement.
Snake graphs and continued fractions
This paper is a sequel to our previous work in which we found a combinatorial realization of continued fractions as quotients of the number of perfect matchings of snake graphs. We show how this realization reflects the convergents of the continued fractions as well as the Euclidean division algorithm. We apply our findings to establish results on sums of squares, palindromic continued fractions, Markov numbers and other statements in elementary number theory.
The Unit Acquisition Number of a Graph
Published
• View Publication
• BIB
Let $G$ be a graph with nonnegative integer weights. A {\it unit acquisition move} transfers one unit of weight from a vertex to a neighbor that has at least as much weight. The {\it unit acquisition number} of a graph $G$, denoted $a_u(G)$, is the minimum size that the set of vertices with positive weight can be reduced to via successive unit acquisition moves when starting from the configuration in which every vertex has weight $1$.
For a graph $G$ with $n$ vertices and minimum degree $k$, we prove $a_u(G)\le (n-1)/k$, with equality for complete graphs and $C_5$. Also $a_u(G)$ is at most the minimum size of a maximal matching in $G$, with equality on an infinite family of graphs. Furthermore, $a_u(G)$ is bounded by the maximum degree and by $\sqrt{n-1}$ when $G$ is an $n$-vertex tree with diameter at most $4$. We also construct arbitrarily large trees with maximum degree $5$ having unit acquisition number $1$, obtain a linear-time algorithm to compute the acquisition number of a caterpillar, and show that graphs with diameter $2$ have unit acquisition number $1$ except for $C_5$ and the Petersen graph.
Algorithms to Approximate Column-Sparse Packing Problems
Published
• View Publication
• BIB
Column-sparse packing problems arise in several contexts in both deterministic and stochastic discrete optimization. We present two unifying ideas, (non-uniform) attenuation and multiple-chance algorithms, to obtain improved approximation algorithms for some well-known families of such problems. As three main examples, we attain the integrality gap, up to lower-order terms, for known LP relaxations for k-column sparse packing integer programs (Bansal et al., Theory of Computing, 2012) and stochastic k-set packing (Bansal et al., Algorithmica, 2012), and go "half the remaining distance" to optimal for a major integrality-gap conjecture of Furedi, Kahn and Seymour on hypergraph matching (Combinatorica, 1993).
The Second Moment Phenomenon for Monochromatic Subgraphs
Published in SIAM Journal on Discrete Mathematics, Vol. 34 (1), 794-824, 2020
• View Publication
• BIB
What is the chance that among a group of $n$ friends, there are $s$ friends all of whom have the same birthday? This is the celebrated birthday problem which can be formulated as the existence of a monochromatic $s$-clique $K_s$ ($s$-matching birthdays) in the complete graph $K_n$, where every vertex of $K_n$ is uniformly colored with $365$ colors (corresponding to birthdays). More generally, for a general connected graph $H$, let $T(H, G_n)$ be the number of monochromatic copies of $H$ in a uniformly random coloring of the vertices of the graph $G_n$ with $c_n$ colors. In this paper we show that $T(H, G_n)$ converges to $\mathrm{Pois}(λ)$ whenever $\mathbb E T(H, G_n) \rightarrow λ$ and $\mathrm{Var} T(H, G_n) \rightarrow λ$, that is, the asymptotic Poisson distribution of $T(H, G_n)$ is determined just by the convergence of its mean and variance. Moreover, this condition is necessary if and only if $H$ is a star-graph. In fact, the second-moment phenomenon is a consequence of a more general theorem about the convergence of $T(H,G_n)$ to a finite linear combination of independent Poisson random variables. As an application, we derive the limiting distribution of $T(H, G_n)$, when $G_n\sim G(n, p)$ is the Erd\H os-Rényi random graph. Multiple phase-transitions emerge as $p$ varies from 0 to 1, depending on whether the graph $H$ is balanced or unbalanced.
Classes of graphs without star forests and related graphs
Published
• View Publication
• BIB
This work provides a structural characterisation of hereditary graph classes that do not contain a star forest, several graphs obtained from star forests by subset complementation, a union of cliques, and the complement of a union of cliques as induced subgraphs. This provides, for instance, structural results for graph classes not containing a matching and several complements of a matching. In terms of the speed of hereditary graph classes, our results imply that all such classes have at most factorial speed of growth.
A Simply Exponential Upper Bound on the Maximum Number of Stable Matchings
Published
• View Publication
• BIB
Stable matching is a classical combinatorial problem that has been the subject of intense theoretical and empirical study since its introduction in 1962 in a seminal paper by Gale and Shapley. In this paper, we provide a new upper bound on $f(n)$, the maximum number of stable matchings that a stable matching instance with $n$ men and $n$ women can have. It has been a long-standing open problem to understand the asymptotic behavior of $f(n)$ as $n\to\infty$, first posed by Donald Knuth in the 1970s. Until now the best lower bound was approximately $2.28^n$, and the best upper bound was $2^{n\log n- O(n)}$. In this paper, we show that for all $n$, $f(n) \leq c^n$ for some universal constant $c$. This matches the lower bound up to the base of the exponent. Our proof is based on a reduction to counting the number of downsets of a family of posets that we call "mixing". The latter might be of independent interest.
Random walk on random planar maps: spectral dimension, resistance, and displacement
Published
• View Publication
• BIB
We study simple random walk on the class of random planar maps which can be encoded by a two-dimensional random walk with i.i.d. increments or a two-dimensional Brownian motion via a "mating-of-trees" type bijection. This class includes the uniform infinite planar triangulation (UIPT), the infinite-volume limits of random planar maps weighted by the number of spanning trees, bipolar orientations, or Schnyder woods they admit, and the $γ$-mated-CRT map for $γ\in (0,2)$. For each of these maps, we obtain an upper bound for the Green's function on the diagonal, an upper bound for the effective resistance to the boundary of a metric ball, an upper bound for the return probability of the random walk to its starting point after $n$ steps, and a lower bound for the graph-distance displacement of the random walk, all of which are sharp up to polylogarithmic factors.
When combined with work of Lee (2017), our bound for the return probability shows that the spectral dimension of each of these random planar maps is a.s. equal to 2, i.e., the (quenched) probability that the simple random walk returns to its starting point after $2n$ steps is $n^{-1+o_n(1)}$. Our results also show that the amount of time that it takes a random walk to exit a metric ball is at least its volume (up to a polylogarithmic factor). In the special case of the UIPT, this implies that random walk typically travels at least $n^{1/4 - o_n(1)}$ units of graph distance in $n$ units of time. The matching upper bound for the displacement is proven by Gwynne and Hutchcroft (2018). These two works together resolve a conjecture of Benjamini and Curien (2013) in the UIPT case.
Our proofs are based on estimates for the mated-CRT map (which come from its relationship to SLE-decorated Liouville quantum gravity) and a strong coupling of the mated-CRT map with the other random planar map models.
Designing RNA Secondary Structures is Hard
Published
• View Publication
• BIB
An RNA sequence is a word over an alphabet on four elements $\{A,C,G,U\}$ called bases. RNA sequences fold into secondary structures where some bases match one another while others remain unpaired. Pseudoknot-free secondary structures can be represented as well-parenthesized expressions with additional dots, where pairs of matching parentheses symbolize paired bases and dots, unpaired bases. The two fundamental problems in RNA algorithmic are to predict how sequences fold within some model of energy and to design sequences of bases which will fold into targeted secondary structures. Predicting how a given RNA sequence folds into a pseudoknot-free secondary structure is known to be solvable in cubic time since the eighties and in truly subcubic time by a recent result of Bringmann et al. (FOCS 2016). As a stark contrast, it is unknown whether or not designing a given RNA secondary structure is a tractable task; this has been raised as a challenging open question by Anne Condon (ICALP 2003). Because of its crucial importance in a number of fields such as pharmaceutical research and biochemistry, there are dozens of heuristics and software libraries dedicated to RNA secondary structure design. It is therefore rather surprising that the computational complexity of this central problem in bioinformatics has been unsettled for decades.
In this paper we show that, in the simplest model of energy which is the Watson-Crick model the design of secondary structures is NP-complete if one adds natural constraints of the form: index $i$ of the sequence has to be labeled by base $b$. This negative result suggests that the same lower bound holds for more realistic models of energy. It is noteworthy that the additional constraints are by no means artificial: they are provided by all the RNA design pieces of software and they do correspond to the actual practice.