matching
3168 papers tagged with this keyword
Extremal Threshold Graphs for Matchings and Independent Sets
Published
• View Publication
• BIB
Many extremal problems for graphs have threshold graphs as their extremal examples. For instance the current authors proved that for fixed $k\ge 1$, among all graphs on $n$ vertices with $m$ edges, some threshold graph has the fewest matchings of size $k$; indeed either the lex graph or the colex graph is such an extremal example. In this paper we consider the problem of maximizing the number of matchings in the class of threshold graphs. We prove that the minimizers are what we call \emph{almost alternating threshold graphs}.
We also discuss a problem with a similar flavor: which threshold graph has the fewest independent sets. Here we are inspired by the result that among all graphs on $n$ vertices and $m$ edges the lex graph has the most independent sets.
On the Circuit Diameter of some Combinatorial Polytopes
Published
• View Publication
• BIB
The combinatorial diameter of a polytope $P$ is the maximum value of a shortest path between two vertices of $P$, where the path uses the edges of $P$ only. In contrast to the combinatorial diameter, the circuit diameter of $P$ is defined as the maximum value of a shortest path between two vertices of $P$, where the path uses potential edge directions of $P$ i.e., all edge directions that can arise by translating some of the facets of $P$.
In this paper, we study the circuit diameter of polytopes corresponding to classical combinatorial optimization problems, such as the Matching polytope, the Traveling Salesman polytope and the Fractional Stable Set polytope.
Partial matching width and its application to lower bounds for branching programs
We introduce a new structural graph parameter called \emph{partial matching width}. For each (sufficiently large) integer $k \geq 1$, we introduce a class $\mathcal{G}_k$ of graphs of treewidth at most $k$ and max-degree $7$ such that for each $G \in \mathcal{G}_k$ and each (sufficiently large) $V \subseteq V(G)$, the partial matching width of $V$ is $Ω(k \log |V|)$.
We use the above lower bound to establish a lower bound on the size of non-deterministic read-once branching programs (NROBPs). In particular, for each sufficiently large ineteger $k$, we introduce a class ${\bf Φ}_k$ of CNFs of (primal graph) treewidth at most $k$ such that for any $\varphi \in {\bf Φ}_k$ and any Boolean function $F \subseteq \varphi$ and such that $|\varphi|/|F| \leq 2^{\sqrt{n}}$ (here the functions are regarded as sets of assignments on which they are true), a NROBP implementing $F$ is of size $n^{Ω(k)}$. This result significantly generalises an earlier result of the author showing a non-FPT lower bound for NROBPs representing CNFs of bounded treewidth. Intuitively, we show that not only those CNFs but also their arbitrary one side approximations with an exponential ratio still attain that lower bound.
The non-trivial aspect of this approximation is that due to a small number of satisfying assignments for $F$, it seems difficult to establish a large bottleneck: the whole function can `sneak' through a single rectangle corresponding to just \emph{one} vertex of the purported bottleneck. We overcome this problem by simultaneously exploring $\sqrt{n}$ bottlenecks and showing that at least one of them must be large. This approach might be useful for establishing other lower bounds for branching programs.
Perfect matchings in highly cyclically connected regular graphs
A leaf matching operation on a graph consists of removing a vertex of degree~$1$ together with its neighbour from the graph. For $k\geq 0$, let $G$ be a $d$-regular cyclically $(d-1+2k)$-edge-connected graph of even order. We prove that for any given set $X$ of $d-1+k$ edges, there is no $1$-factor of $G$ avoiding $X$ if and only if either an isolated vertex can be obtained by a series of leaf matching operations in $G-X$, or $G-X$ has an independent set that contains more than half of the vertices of~$G$. To demonstrate how to check the conditions of the theorem we prove several statements on $2$-factors of cubic graphs. For $k\ge 3$, we prove that given a cubic cyclically $(4k-5)$-edge-connected graph $G$ and three paths of length $k$ such that the distance of any two of them is at least $8k-17$, there is a $2$-factor of $G$ that contains one of the paths . We provide a similar statement for two paths when $k=3$ and $k=4$. As a corollary we show that given a vertex $v$ in a cyclically $7$-edge-connected cubic graph, there is a $2$-factor such that $v$ is in a circuit of length greater than $7$.
On some actions of the 0-Hecke monoids of affine symmetric groups
Published in J. Combin. Theory Ser. A 161 (2019) 178-219
• View Publication
• BIB
There are left and right actions of the 0-Hecke monoid of the affine symmetric group $\tilde{S}_n$ on involutions whose cycles are labeled periodically by nonnegative integers. Using these actions we construct two bijections, which are length-preserving in an appropriate sense, from the set of involutions in $\tilde{S}_n$ to the set of $\mathbb{N}$-weighted matchings in the $n$-element cycle graph. As an application, we compute a formula for the bivariate generating function counting the involutions in $\tilde S_n$ by length and absolute length. The 0-Hecke monoid of $\tilde{S}_n$ also acts on involutions (without any cycle labelling) by Demazure conjugation. The atoms of an involution $z \in \tilde{S}_n$ are the minimal length permutations $w$ which transform the identity to $z$ under this action. We prove that the set of atoms for an involution in $\tilde{S}_n$ is naturally a bounded, graded poset, and give a formula for the set's minimum and maximum elements. Using these properties, we classify the covering relations in the Bruhat order restricted to involutions in $\tilde{S}_n$.
Analogies between the crossing number and the tangle crossing number
Published
• View Publication
• BIB
Tanglegrams are special graphs that consist of a pair of rooted binary trees with the same number of leaves, and a perfect matching between the two leaf-sets. These objects are of use in phylogenetics and are represented with straightline drawings where the leaves of the two plane binary trees are on two parallel lines and only the matching edges can cross. The tangle crossing number of a tanglegram is the minimum crossing number over all such drawings and is related to biologically relevant quantities, such as the number of times a parasite switched hosts.
Our main results for tanglegrams which parallel known theorems for crossing numbers are as follows. The removal of a single matching edge in a tanglegram with $n$ leaves decreases the tangle crossing number by at most $n-3$, and this is sharp. Additionally, if $γ(n)$ is the maximum tangle crossing number of a tanglegram with $n$ leaves, we prove $\frac{1}{2}\binom{n}{2}(1-o(1))\leγ(n)<\frac{1}{2}\binom{n}{2}$. Further, we provide an algorithm for computing non-trivial lower bounds on the tangle crossing number in $O(n^4)$ time. This lower bound may be tight, even for tanglegrams with tangle crossing number $Θ(n^2)$.
Planar Graph Perfect Matching is in NC
Published
• View Publication
• BIB
Is perfect matching in NC? That is, is there a deterministic fast parallel algorithm for it? This has been an outstanding open question in theoretical computer science for over three decades, ever since the discovery of RNC matching algorithms. Within this question, the case of planar graphs has remained an enigma: On the one hand, counting the number of perfect matchings is far harder than finding one (the former is #P-complete and the latter is in P), and on the other, for planar graphs, counting has long been known to be in NC whereas finding one has resisted a solution.
In this paper, we give an NC algorithm for finding a perfect matching in a planar graph. Our algorithm uses the above-stated fact about counting matchings in a crucial way. Our main new idea is an NC algorithm for finding a face of the perfect matching polytope at which $Ω(n)$ new conditions, involving constraints of the polytope, are simultaneously satisfied. Several other ideas are also needed, such as finding a point in the interior of the minimum weight face of this polytope and finding a balanced tight odd set in NC.
NC Algorithms for Weighted Planar Perfect Matching and Related Problems
Consider a planar graph $G=(V,E)$ with polynomially bounded edge weight function $w:E\to [0, poly(n)]$. The main results of this paper are NC algorithms for the following problems:
- minimum weight perfect matching in $G$,
- maximum cardinality and maximum weight matching in $G$ when $G$ is bipartite,
- maximum multiple-source multiple-sink flow in $G$ where $c:E\to [1, poly(n)]$ is a polynomially bounded edge capacity function,
- minimum weight $f$-factor in $G$ where $f:V\to [1, poly(n)]$,
- min-cost flow in $G$ where $c:E\to [1, poly(n)]$ is a polynomially bounded edge capacity function and $b:V\to [1, poly(n)]$ is a polynomially bounded vertex demand function.
There have been no known NC algorithms for any of these problems previously (Before this and independent paper by Anari and Vazirani). In order to solve these problems we develop a new relatively simple but versatile framework that is combinatorial in spirit. It handles the combinatorial structure of matchings directly and needs to only know weights of appropriately defined matchings from algebraic subroutines.
The size of $3$-uniform hypergraphs with given matching number and codegree
Published
• View Publication
• BIB
Determine the size of $r$-graphs with given graph parameters is an interesting problem. Chvátal and Hanson (JCTB, 1976) gave a tight upper bound of the size of 2-graphs with restricted maximum degree and matching number; Khare (DM, 2014) studied the same problem for linear $3$-graphs with restricted matching number and maximum degree. In this paper, we give a tight upper bound of the size of $3$-graphs with bounded codegree and matching number.
Structural properties of edge-chromatic critical multigraphs
Published
• View Publication
• BIB
Appearing in different format, Gupta\,(1967), Goldberg\,(1973), Andersen\,(1977), and Seymour\,(1979) conjectured that if $G$ is an edge-$k$-critical graph with $k \ge Δ+1$, then $|V(G)|$ is odd and, for every edge $e$, $E(G-e)$ is a union of disjoint near-perfect matchings, where $Δ$ denotes the maximum degree of $G$. Tashkinov tree method shows that critical graphs contain a subgraph with two important properties named closed and elementary. Recently, efforts have been made in extending graphs beyond Tashkinov trees. However, these results can only keep one of the two essential properties. In this paper, we developed techniques to extend Tashkinov trees to larger subgraphs with both properties. Applying our result, we have improved almost all known results towards Goldberg's conjecture. In particular, we showed that Goldberg's conjecture holds for graph $G$ with $|V(G)| \le 39$ and $|Δ(G)| \le 39$ and Jacobsen's equivalent conjecture holds for $m \le 39$ while the previous known bound is $23$.
Fractional matching preclusion number of graphs
Published
• View Publication
• BIB
Let $G$ be a graph with an even number of vertices. The matching preclusion number of $G$, denoted by $mp(G)$, is the minimum number of edges whose deletion leaves the resulting graph without a perfect matching. We introduced a $0$-$1$ linear programming which can be used to find matching preclusion number of graphs. In this paper, by relaxing of the $0$-$1$ linear programming we obtain a linear programming and call its optimal objective value as fractional matching preclusion number of graph $G$, denoted by $mp_f(G)$. We show $mp_f(G)$ can be computed in polynomial time for any graph $G$. By using perfect matching polytope, we transform it as a new linear programming whose optimal value equals the reciprocal of $mp_f(G)$. For bipartite graph $G$, we obtain an explicit formula for $mp_f(G)$ and show that $\lfloor mp_f(G) \rfloor$ is the maximum integer $k$ such that $G$ has a $k$-factor. Moreover, for any two bipartite graphs $G$ and $H$, we show $mp_f(G \square H) \geqslant mp_f(G)+\lfloor mp_f(H) \rfloor$, where $G \square H$ is the Cartesian product of $G$ and $H$.
On the Clar Number of Benzenoid Graphs
Published in MATCH Commun. Math. Comput. Chem. 80 (2018) 173-188
• Search Publication
A Clar set of a benzenoid graph $B$ is a maximum set of independent alternating hexagons over all perfect matchings of $B$. The Clar number of $B$, denoted by ${\rm Cl}(B)$, is the number of hexagons in a Clar set for $B$. In this paper, we first prove some results on the independence number of subcubic trees to study the Clar number of catacondensed benzenoid graphs. As the main result of the paper we prove an upper bound for the Clar number of catacondensed benzenoid graphs and characterize the graphs that attain this bound. More precisely, it is shown that for a catacondensed benzenoid graph $B$ with $n$ hexagons ${\rm Cl}(B) \leq [(2n+1)/3]$.
Maximum matchings and minimum dominating sets in Apollonian networks and extended Tower of Hanoi graphs
Published
• View Publication
• BIB
The Apollonian networks display the remarkable power-law and small-world properties as observed in most realistic networked systems. Their dual graphs are extended Tower of Hanoi graphs, which are obtained from the Tower of Hanoi graphs by adding a special vertex linked to all its three extreme vertices. In this paper, we study analytically maximum matchings and minimum dominating sets in Apollonian networks and their dual graph- s, both of which have found vast applications in various fields, e.g. structural controllability of complex networks. For both networks, we determine their matching number, domination number, the number of maximum matchings, as well as the number of minimum dominating sets.
S-trees
In this paper two new graph operations are introduced, and with them the S-trees are studied in depth. This allows to find \(\{-1,0,1\}\)-basis for all the fundamental subspaces of the adjacency matrix of any tree, and to understand in detail the matching structure of any tree.
Depth and Stanley depth of symbolic powers of cover ideals of graphs
Published
• View Publication
• BIB
Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $J(G)$ is the cover ideal of $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that the sequences $\{{\rm sdepth}(S/J(G)^{(k)})\}_{k=1}^\infty$ and $\{{\rm sdepth}(J(G)^{(k)})\}_{k=1}^\infty$ are non-increasing and hence convergent. Suppose that $ν_{o}(G)$ denotes the ordered matching number of $G$. We show that for every integer $k\geq 2ν_{o}(G)-1$, the modules $J(G)^{(k)}$ and $S/J(G)^{(k)}$ satisfy the Stanley's inequality. We also provide an alternative proof for \cite[Theorem 3.4]{hktt} which states that ${\rm depth}(S/J(G)^{(k)})=n-ν_{o}(G)-1$, for every integer $k\geq 2ν_{o}(G)-1$.
Full rainbow matchings in graphs and hypergraphs
Published in Combinatorics, Probability and Computing 30, (2021) 762-780
• View Publication
• BIB
Let $G$ be a simple graph that is properly edge coloured with $m$ colours and let $\M=\{M_1,\ldots, M_m\}$ be the set of $m$ matchings induced by the colours in $G$. Suppose that $m\le n-n^{c}$, where $c>9/10$, and every matching in $\M$ has size $n$. Then $G$ contains a full rainbow matching, i.e.\ a matching that contains exactly one edge from $M_i$ for each $1\le i\le m$. This answers an open problem of Pokrovskiy and gives an affirmative answer to a generalisation of a special case of a conjecture of Aharoni and Berger.
Related results are also found for multigraphs with edges of bounded multiplicity, and for hypergraphs.
Finally, we provide counterexamples to several conjectures on full rainbow matchings made by Aharoni and Berger.
A Tight Lower Bound for Counting Hamiltonian Cycles via Matrix Rank
For even $k$, the matchings connectivity matrix $\mathbf{M}_k$ encodes which pairs of perfect matchings on $k$ vertices form a single cycle. Cygan et al. (STOC 2013) showed that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_2$ is $Θ(\sqrt 2^k)$ and used this to give an $O^*((2+\sqrt{2})^{\mathsf{pw}})$ time algorithm for counting Hamiltonian cycles modulo $2$ on graphs of pathwidth $\mathsf{pw}$. The same authors complemented their algorithm by an essentially tight lower bound under the Strong Exponential Time Hypothesis (SETH). This bound crucially relied on a large permutation submatrix within $\mathbf{M}_k$, which enabled a "pattern propagation" commonly used in previous related lower bounds, as initiated by Lokshtanov et al. (SODA 2011).
We present a new technique for a similar pattern propagation when only a black-box lower bound on the asymptotic rank of $\mathbf{M}_k$ is given; no stronger structural insights such as the existence of large permutation submatrices in $\mathbf{M}_k$ are needed. Given appropriate rank bounds, our technique yields lower bounds for counting Hamiltonian cycles (also modulo fixed primes $p$) parameterized by pathwidth.
To apply this technique, we prove that the rank of $\mathbf{M}_k$ over the rationals is $4^k / \mathrm{poly}(k)$. We also show that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_p$ is $Ω(1.97^k)$ for any prime $p\neq 2$ and even $Ω(2.15^k)$ for some primes.
As a consequence, we obtain that Hamiltonian cycles cannot be counted in time $O^*((6-ε)^{\mathsf{pw}})$ for any $ε>0$ unless SETH fails. This bound is tight due to a $O^*(6^{\mathsf{pw}})$ time algorithm by Bodlaender et al. (ICALP 2013). Under SETH, we also obtain that Hamiltonian cycles cannot be counted modulo primes $p\neq 2$ in time $O^*(3.97^\mathsf{pw})$, indicating that the modulus can affect the complexity in intricate ways.
Some Sufficient Conditions for Finding a Nesting of the Normalized Matching Posets of Rank 3
Published
• View Publication
• BIB
Given a graded poset $P$, consider a chain decomposition $\mathcal{C}$ of $P$. If $|C_1|\le |C_2|$ implies that the set of the ranks of elements in $C_1$ is a subset of the ranks of elements in $C_2$ for any chains $C_1,C_2\in \mathcal{C}$, then we say $\mathcal{C}$ is a nested chain decomposition (or nesting, for short) of $P$, and $P$ is said to be nested. In 1970s, Griggs conjectured that every normalized matching rank-unimodal poset is nested. This conjecture is proved to be true only for all posets of rank 2 [W:05], some posets of rank 3 [HLS:09,ENSST:11], and the very special cases for higher ranks. For general cases, it is still widely open. In this paper, we provide some sufficient conditions on the rank numbers of posets of rank 3 to satisfies the Griggs's conjecuture.
Stabilizing Weighted Graphs
Published
• View Publication
• BIB
An edge-weighted graph $G=(V,E)$ is called stable if the value of a maximum-weight matching equals the value of a maximum-weight fractional matching. Stable graphs play an important role in some interesting game theory problems, such as network bargaining games and cooperative matching games, because they characterize instances which admit stable outcomes. Motivated by this, in the last few years many researchers have investigated the algorithmic problem of turning a given graph into a stable one, via edge- and vertex-removal operations. However, all the algorithmic results developed in the literature so far only hold for unweighted instances, i.e., assuming unit weights on the edges of $G$.
We give the first polynomial-time algorithm to find a minimum cardinality subset of vertices whose removal from $G$ yields a stable graph, for any weighted graph $G$. The algorithm is combinatorial and exploits new structural properties of basic fractional matchings, which are of independent interest. In particular, one of the main ingredients of our result is the development of a polynomial-time algorithm to compute a basic maximum-weight fractional matching with minimum number of odd cycles in its support. This generalizes a fundamental and classical result on unweighted matchings given by Balas more than 30 years ago, which we expect to prove useful beyond this particular application.
In contrast, we show that the problem of finding a minimum cardinality subset of edges whose removal from a weighted graph $G$ yields a stable graph, does not admit any constant-factor approximation algorithm, unless $P=NP$. In this setting, we develop an $O(Δ)$-approximation algorithm for the problem, where $Δ$ is the maximum degree of a node in $G$.
On the local homology of Artin groups of finite and affine type
Published in Algebr. Geom. Topol. 19 (2019) 3615-3639
• View Publication
• BIB
We study the local homology of Artin groups using weighted discrete Morse theory. In all finite and affine cases, we are able to construct Morse matchings of a special type (we call them "precise matchings"). The existence of precise matchings implies that the homology has a square-free torsion. This property was known for Artin groups of finite type, but not in general for Artin groups of affine type. We also use the constructed matchings to compute the local homology in all exceptional cases, correcting some results in the literature.