matching
3278 papers tagged with this keyword
Matching complexes of small grids
The matching complex $M(G)$ of a simple graph $G$ is the simplicial complex consisting of the matchings on $G$. The matching complex $M(G)$ is isomorphic to the independence complex of the line graph $L(G)$.
Braun and Hough introduced a family of graphs $Δ^m_n$, which is a generalization of the line graph of the $(n \times 2)$-grid graph. In this paper, we show that the independence complex of $Δ^m_n$ is a wedge of spheres. This gives an answer to a problem suggested by Braun and Hough.
Efficiently list-edge coloring multigraphs asymptotically optimally
We give polynomial time algorithms for the seminal results of Kahn, who showed that the Goldberg-Seymour and List-Coloring conjectures for (list-)edge coloring multigraphs hold asymptotically. Kahn's arguments are based on the probabilistic method and are non-constructive. Our key insight is to show that the main result of Achlioptas, Iliopoulos and Kolmogorov for analyzing local search algorithms can be used to make constructive applications of a powerful version of the so-called Lopsided Lovasz Local Lemma. In particular, we use it to design algorithms that exploit the fact that correlations in the probability spaces on matchings used by Kahn decay with distance.
The 2-Factor Polynomial Detects Even Perfect Matchings
Published in Electronic Journal of Combinatorics, 27 (2020), no. 2, Paper No. 2.27, 16pp
• View Publication
• BIB
In this paper, we prove that the 2-factor polynomial, an invariant of a planar trivalent graph with a perfect matching, counts the number of 2- factors that contain the the perfect matching as a subgraph. Consequently, we show that the polynomial detects even perfect matchings.
On the hardness of deciding the equality of the induced and the uniquely restricted matching number
If $G(M)$ denotes the subgraph of a graph $G$ induced by the set of vertices that are covered by some matching $M$ in $G$, then $M$ is an induced or a uniquely restricted matching if $G(M)$ is $1$-regular or if $M$ is the unique perfect matching of $G(M)$, respectively. Let $ν_s(G)$ and $ν_{ur}(G)$ denote the maximum cardinality of an induced and a uniquely restricted matching in $G$. Golumbic, Hirst, and Lewenstein (Uniquely restricted matchings, Algorithmica 31 (2001) 139-154) posed the problem to characterize the graphs $G$ with $ν_{ur}(G) = ν_{s}(G)$. We prove that the corresponding decision problem is NP-hard, which suggests that a good characterization is unlikely to be possible.
Lipschitz bijections between boolean functions
Published in Combinator. Probab. Comp. 30 (2021) 513-525
• View Publication
• BIB
We answer four questions from a recent paper of Rao and Shinkar on Lipschitz bijections between functions from $\{0,1\}^n$ to $\{0,1\}$. (1) We show that there is no $O(1)$-bi-Lipschitz bijection from $\mathrm{Dictator}$ to $\mathrm{XOR}$ such that each output bit depends on $O(1)$ input bits. (2) We give a construction for a mapping from $\mathrm{XOR}$ to $\mathrm{Majority}$ which has average stretch $O(\sqrt{n})$, matching a previously known lower bound. (3) We give a 3-Lipschitz embedding $φ: \{0,1\}^n \to \{0,1\}^{2n+1}$ such that $\mathrm{XOR}(x) = \mathrm{Majority}(φ(x))$ for all $x \in \{0,1\}^n$. (4) We show that with high probability there is a $O(1)$-bi-Lipschitz mapping from $\mathrm{Dictator}$ to a uniformly random balanced function.
Vertex-Facet Assignments For Polytopes
Published
• View Publication
• BIB
Motivated by the search for reduced polytopes, we consider the following question: For which polytopes exists a vertex-facet assignment, that is, a matching between vertices and non-incident facets, so that the matching covers either all vertices, or all facets? We provide general conditions for the existence of such an assignment. We conclude that such exist for all simple and simplicial polytopes, as well as all polytopes of dimension $d\le 6$. We construct counterexample in all dimensions $d\ge 7$.
Fair Multi-Cake Cutting
In the classic problem of fair cake-cutting, a single interval ("cake") has to be divided among n agents with different value measures, giving each agent a single sub-interval with a value of at least 1/n of the total. This paper studies a generalization in which the cake is made of m disjoint intervals, and each agent should get at most k sub-intervals. The paper presents a polynomial-time algorithm that guarantees to each agent at least min(1/n, k/(m+n-1)) of the total value, and shows that this is the largest fraction that can be guaranteed. The algorithm simultaneously guarantees to each agent at least 1/n of the value that the agent can get without partners to share with. The main technical tool is envy-free matching in a bipartite graph. Some of the results remain valid even with additional fairness constraints such as envy-freeness. Besides the natural application of the algorithm to simultaneous division of multiple land-estates, the paper shows an application to a geometric problem -- fair division of a two-dimensional land estate shaped as a rectilinear polygon, where each agent should receive a rectangular piece.
Homomorphism Complexes and Maximal Chains in Graded Posets
We apply the homomorphism complex construction to partially ordered sets, introducing a new topological construction based on the set of maximal chains in a graded poset. Our primary objects of study are distributive lattices, with special emphasis on finite products of chains. For the special case of a Boolean algebra, we observe that the corresponding homomorphism complex is isomorphic to the subcomplex of cubical cells in a permutahedron. Thus, this work can be interpreted as a generalization of the study of these complexes. We provide a detailed investigation when our poset is a product of chains, in which case we find an optimal discrete Morse matching and prove that the corresponding complex is torsion-free.
On non-feasible edge sets in matching-covered graphs
Published in Journal of Graph Theory, 95(2):192-208,2020
• View Publication
• BIB
Let $G=(V,E)$ be a matching-covered graph and $X$ be an edge set of $G$. $X$ is said to be feasible if there exist two perfect matchings $M_1$ and $M_2$ in $G$ such that $|M_1\cap X|\not \equiv|M_2\cap X|\ (\mbox{mod } 2)$. For any $V_0\subseteq V$, $X$ is said to be switching-equivalent to $X\oplus \nabla_G(V_0)$, where $\nabla_G(V_0)$ is the set of edges in $G$ each of which has exactly one end in $V_0$ and $A \oplus B$ is the symmetric difference of two sets $A$ and $B$. Lukot'ka and Rollová showed that when $G$ is regular and bipartite, $X$ is non-feasible if and only if $X$ is switching-equivalent to $\emptyset$. This article extends Lukot'ka and Rollová's result by showing that this conclusion holds as long as $G$ is matching-covered and bipartite. This article also studies matching-covered graphs $G$ whose non-feasible edge sets are switching-equivalent to $\emptyset$ or $E$ and partially characterizes these matching-covered graphs in terms of their ear decompositions. Another aim of this article is to construct infinite many $r$-connected and $r$-regular graphs of class 1 containing non-feasible edge sets not switching-equivalent to either $\emptyset$ or $E$ for an arbitrary integer $r$ with $r\ge 3$, which provides negative answers to problems asked by Lukot'ka and Rollová and He, et al respectively.
Linear programming based approximation for unweighted induced matchings --- breaking the $Δ$ barrier
A matching in a graph is induced if no two of its edges are joined by an edge, and finding a large induced matching is a very hard problem. Lin et al. (Approximating weighted induced matchings, Discrete Applied Mathematics 243 (2018) 304-310) provide an approximation algorithm with ratio $Δ$ for the weighted version of the induced matching problem on graphs of maximum degree $Δ$. Their approach is based on an integer linear programming formulation whose integrality gap is at least $Δ-1$, that is, their approach offers only little room for improvement in the weighted case. For the unweighted case though, we conjecture that the integrality gap is at most $\frac{5}{8}Δ+O(1)$, and that also the approximation ratio can be improved at least to this value. We provide primal-dual approximation algorithms with ratios $(1-ε) Δ+ \frac{1}{2}$ for general $Δ$ with $ε\approx 0.02005$, and $\frac{7}{3}$ for $Δ=3$. Furthermore, we prove a best-possible bound on the fractional induced matching number in terms of the order and the maximum degree.
A characterization of claw-free CIS graphs and new results on the order of CIS graphs
A graph is CIS if every maximal clique interesects every maximal stable set. Currently, no good characterization or recognition algorithm for the CIS graphs is known. We characterize graphs in which every maximal matching saturates all vertices of degree at least two and use this result to give a structural, efficiently testable characterization of claw-free CIS graphs. We answer in the negative a question of Dobson, Hujdurović, Milanič, and Verret [Vertex-transitive CIS graphs, European J. Combin. 44 (2015) 87-98] asking whether the number of vertices of every CIS graph is bounded from above by the product of its clique and stability numbers. On the positive side, we show that the question of Dobson et al. has an affirmative answer in the case of claw-free graphs.
The Tight Cut Decomposition of Matching Covered Uniformable Hypergraphs
The perfect matching polytope, i.e. the convex hull of (incidence vectors of) perfect matchings of a graph is used in many combinatorial algorithms. Kotzig, Lovász and Plummer developed a decomposition theory for graphs with perfect matchings and their corresponding polytopes known as the tight cut decomposition which breaks down every graph into a number of indecomposable graphs, so called bricks. For many properties that are of interest on graphs with perfect matchings, including the description of the perfect matching polytope, it suffices to consider these bricks. A key result by Lovász on the tight cut decomposition is that the list of bricks obtained is the same independent of the choice of tight cuts made during the tight cut decomposition procedure. This implies that finding a tight cut decomposition is polynomial time equivalent to finding a single tight cut.
We generalise the notions of a tight cut, a tight cut contraction and a tight cut decomposition to hypergraphs. By providing an example, we show that the outcome of the tight cut decomposition on general hypergraphs is no longer unique. However, we are able to prove that the uniqueness of the tight cut decomposition is preserved on a slight generalisation of uniform hypergraphs. Moreover, we show how the tight cut decomposition leads to a decomposition of the perfect matching polytope of uniformable hypergraphs and that the recognition problem for tight cuts in uniformable hypergraphs is polynomial time solvable.
Characterizing the fullerene graphs with the minimum forcing number 3
The minimum forcing number of a graph $G$ is the smallest number of edges simultaneously contained in a unique perfect matching of $G$. Zhang, Ye and Shiu \cite{HDW} showed that the minimum forcing number of any fullerene graph was bounded below by $3$. However, we find that there exists exactly one excepted fullerene $F_{24}$ with the minimum forcing number $2$. In this paper, we characterize all fullerenes with the minimum forcing number $3$ by a construction approach. This also solves an open problem proposed by Zhang et al. We also find that except for $F_{24}$, all fullerenes with anti-forcing number $4$ have the minimum forcing number $3$. In particular, the nanotube fullerenes of type $(4, 2)$ are such fullerenes.
Counting independent sets in graphs with bounded bipartite pathwidth
We show that a simple Markov chain, the Glauber dynamics, can efficiently sample independent sets almost uniformly at random in polynomial time for graphs in a certain class. The class is determined by boundedness of a new graph parameter called bipartite pathwidth. This result, which we prove for the more general hardcore distribution with fugacity $λ$, can be viewed as a strong generalisation of Jerrum and Sinclair's work on approximately counting matchings, that is, independent sets in line graphs. The class of graphs with bounded bipartite pathwidth includes claw-free graphs, which generalise line graphs. We consider two further generalisations of claw-free graphs and prove that these classes have bounded bipartite pathwidth. We also show how to extend all our results to polynomially-bounded vertex weights.
The shifting method and generalized Turán number of matchings
Given two graphs $T$ and $F$, the maximum number of copies of $T$ in an $F$-free graph on $n$ vertices is called the generalized Turán number, denoted by $ex(n,T,F)$. When $T=K_2$, it reduces to the classical Turán number $ex(n,F)$. Let $M_{k}$ be a matching with $k$ edges and $K^{*}_{s,t}$ a graph obtained from $K_{s,t}$ by replacing the part of size $s$ by a clique of the same size. In this paper, we show that for any $s\geq 2$ and $n\geq 2k+1$, \[ ex(n,K_s,M_{k+1})=\max\left\{\binom{2k+1}{s}, \binom{k}{s}+(n-k)\binom{k}{s-1}\right\}. \] For any $s\geq 1$, $t\geq 2$ and $n\geq 2k+1$, \[ ex(n,K_{s,t}^*,M_{k+1})=\max\left\{\binom{2k+1}{s+t}\binom{s+t}{t}, \binom{k}{s}\binom{n-s}{t}+(n-k)\binom{k}{s+t-1}\binom{s+t-1}{t}\right\}. \] Moreover, we also study the bipartite case of the problem. Let $ex_{bip}(n,T,F)$ be the maximum possible number of copies of $T$ in an $F$-free bipartite graph with each part of size $n$. We prove that for any $s,t\geq 1$ and $n\geq k$, \[ ex_{bip}(n,K_{s,t},M_{k+1})=\left\{ \begin{aligned} &\binom{k}{s}\binom{n}{t}+\binom{k}{t}\binom{n}{s}, & \quad s\neq t, &\binom{k}{s}\binom{n}{s},&\quad s=t. \end{aligned} \right. \] Our proof is mainly based on the shifting method.
The Turán problem for a family of tight linear forests
Let $\mathcal{F}$ be a family of $r$-graphs. The Turán number $ex_r(n;\mathcal{F})$ is defined to be the maximum number of edges in an $r$-graph of order $n$ that is $\mathcal{F}$-free. The famous Erdős Matching Conjecture shows that \[ ex_r(n,M_{k+1}^{(r)})= \max\left\{\binom{rk+r-1}{r},\binom{n}{r}-\binom{n-k}{r}\right\}, \] where $M_{k+1}^{(r)}$ represents the $r$-graph consisting of $k+1$ disjoint edges. Motivated by this conjecture, we consider the Turán problem for tight linear forests. A tight linear forest is an $r$-graph whose connected components are all tight paths or isolated vertices. Let $\mathcal{L}_{n,k}^{(r)}$ be the family of all tight linear forests of order $n$ with $k$ edges in $r$-graphs. In this paper, we prove that for sufficiently large $n$, \[ ex_r(n;\mathcal{L}_{n,k}^{(r)})=\max\left\{\binom{k}{r}, \binom{n}{r}-\binom{n-\left\lfloor (k-1)/r\right \rfloor}{r}\right\}+d, \] where $d=o(n^r)$ and if $r=3$ and $k=cn$ with $0<c<1$, if $r\geq 4$ and $k=cn$ with $0<c<1/2$. The proof is based on the weak regularity lemma for hypergraphs. We also conjecture that for arbitrary $k$ satisfying $k \equiv 1\ (mod\ r)$, the error term $d$ in the above result equals 0. We prove that the proposed conjecture implies the Erdős Matching Conjecture directly.
The formula for Turán number of spanning linear forests
Published in Discrete Mathematics Volume 343, Issue 8, August 2020, 111924
• View Publication
• BIB
Let $\mathcal{F}$ be a family of graphs. The Turán number $ex(n;\mathcal{F})$ is defined to be the maximum number of edges in a graph of order $n$ that is $\mathcal{F}$-free. In 1959, Erdős and Gallai determined the Turán number of $M_{k+1}$ (a matching of size $k+1$) as follows: \[ ex(n;M_{k+1})= \max\left\{\binom{2k+1}{2},\binom{n}{2}-\binom{n-k}{2}\right\}. \] Since then, there has been a lot of research on Turán number of linear forests.
A linear forest is a graph whose connected components are all paths or isolated vertices. Let $\mathcal{L}_{n,k}$ be the family of all linear forests of order $n$ with $k$ edges. In this paper, we prove that \[ ex(n;\mathcal{L}_{n,k})= \max \left\{\binom{k}{2},\binom{n}{2}-\binom{n-\left\lfloor \frac{k-1}{2}\right \rfloor}{2}+ c \right\}, \] where $c=0$ if $k$ is odd and $c=1$ otherwise. This determines the maximum number of edges in a non-Hamiltonian graph with given Hamiltonian completion number and also solves two open problems in \cite{WY} as special cases.
Moreover, we show that our main theorem implies Erdős-Gallai Theorem and also gives a short new proof for it by the closure and counting techniques. Finally, we generalize our theorem to a conjecture which implies the famous Erdős Matching Conjecture.
The Alon-Tarsi number of a planar graph minus a matching
This paper proves that every planar graph $G$ contains a matching $M$ such that the Alon-Tarsi number of $G-M$ is at most $4$. As a consequence, $G-M$ is $4$-paintable, and hence $G$ itself is $1$-defective $4$-paintable. This improves a result of Cushing and Kierstead [Planar Graphs are 1-relaxed, 4-choosable, {\em European Journal of Combinatorics} 31(2010),1385-1397], who proved that every planar graph is $1$-defective $4$-choosable.
Finding perfect matchings in random regular graphs in linear time
Published
• View Publication
• BIB
In a seminal paper on finding large matchings in sparse random graphs, Karp and Sipser proposed two algorithms for this task. The second algorithm has been intensely studied, but due to technical difficulties, the first algorithm has received less attention. Empirical results suggest that the first algorithm is superior. In this paper we analyze an adapted version of the first algorithm, the Reduce-Construct algorithm. We show that the Reduce-Construct algorithm finds a maximum matching in random $k=O(1)$-regular graphs in linear time in expectation, as opposed to $O(n^{3/2})$ time for the worst-case.
On the König-Hall-Egerváry theorem for multidimensional matrices and multipartite hypergraphs
One of possible interpretations of the well-known König--Hall--Egerváry theorem is a full characterization of all bipartite graphs extremal for fractional matchings of a given weight (or, equivalently, a characterization of $(0,1)$-matrices extremal for partial fractional diagonals of a given length). In this paper we initiate the study of $d$-partite $d$-uniform hypergraphs that are extremal for fractional perfect matchings (or, equivalently, $d$-dimensional $(0,1)$-matrices that are extremal for polydiagonals). For this purpose, we analyze similarities and differences between $2$-dimensional and multidimensional cases and put forward a series of questions and conjectures on properties of multidimensional extremal matrices (extremal hypergraphs). We also prove these conjectures for several parameters and provide a number of supporting constructions and examples.