matching
3168 papers tagged with this keyword
An Ore-type Condition for Large $k$-factor and Disjoint Perfect Matchings
Published in Journal of Graph Theory (2020), Volume 94, Issue3, Pages 307--319
• View Publication
• BIB
Win [\emph{J. Graph Theory} {\bf 6}(1982), 489--492] conjectured that a graph $G$ on $n$ vertices contains $k$ disjoint perfect matchings, if the degree sum of any two nonadjacent vertices is at least $n+k-2$, where $n$ is even and $n\geq k+2$. In this paper, we prove that Win's conjecture is true for $k\geq n/2$, where $n$ is sufficiently large. To show this result, we prove a theorem on $k$-factor in a graph under some Ore-type condition. Our main tools include Tutte's $k$-factor theorem, the Karush-Kuhn-Tucker theorem on convex optimization, and the solution to the longstanding 1-factor decomposition conjecture.
Disjoint Dominating Sets with a Perfect Matching
Published
• View Publication
• BIB
In this paper, we consider dominating sets $D$ and $D'$ such that $D$ and $D'$ are disjoint and there exists a perfect matching between them. Let $DD_{\textrm{m}}(G)$ denote the cardinality of smallest such sets $D, D'$ in $G$ (provided they exist, otherwise $DD_{\textrm{m}}(G) = \infty$). This concept was introduced in [Klostermeyer et al., Theory and Application of Graphs, 2017] in the context of studying a certain graph protection problem. We characterize the trees $T$ for which $DD_{\textrm{m}}(T)$ equals a certain graph protection parameter and for which $DD_{\textrm{m}}(T) = α(T)$, where $α(G)$ is the independence number of $G$. We also further study this parameter in graph products, e.g., by giving bounds for grid graphs, and in graphs of small independence number.
On the Multi-Interval Ulam-Rényi Game: for 3 lies 4 intervals suffice
Published
• View Publication
• BIB
We study the problem of identifying an initially unknown $m$-bit number by using yes-no questions when up to a fixed number $e$ of the answers can be erroneous. In the variant we consider here questions are restricted to be the union of up to a fixed number of intervals. For any $e \geq 1$ let $k_e$ be the minimum $k$ such that for all sufficiently large $m$, there exists a strategy matching the information theoretic lower bound and only using $k$-interval questions. It is known that $k_e = O(e^2)$. However, it has been conjectured that the $k_e = Θ(e).$ This linearity conjecture is supported by the known results for small values of $e$. For $e\leq2$ we have $k_e = e.$ We extend these results to the case $e=3$. We show $k_3 \leq 4$ improving upon the previously known bound $k_3 \leq 10.$
An algebraic Monte-Carlo algorithm for the Partition Adjacency Matrix realization problem
Published in Alg. Stat. 12 (2021) 115-124
• View Publication
• BIB
The graphical realization of a given degree sequence and given partition adjacency matrix simultaneously is a relevant problem in data driven modeling of networks. Here we formulate common generalizations of this problem and the Exact Matching Problem, and solve them with an algebraic Monte-Carlo algorithm that runs in polynomial time if the number of partition classes is bounded.
Ramsey-nice families of graphs
Published in Eur. J. Combin. 72 (2018) 29-44
• View Publication
• BIB
For a finite family $\mathcal{F}$ of fixed graphs let $R_k(\mathcal{F})$ be the smallest integer $n$ for which every $k$-coloring of the edges of the complete graph $K_n$ yields a monochromatic copy of some $F\in\mathcal{F}$. We say that $\mathcal{F}$ is $k$-nice if for every graph $G$ with $χ(G)=R_k(\mathcal{F})$ and for every $k$-coloring of $E(G)$ there exists a monochromatic copy of some $F\in\mathcal{F}$. It is easy to see that if $\mathcal{F}$ contains no forest, then it is not $k$-nice for any $k$. It seems plausible to conjecture that a (weak) converse holds, namely, for any finite family of graphs $\mathcal{F}$ that contains at least one forest, and for all $k\geq k_0(\mathcal{F})$ (or at least for infinitely many values of $k$), $\mathcal{F}$ is $k$-nice. We prove several (modest) results in support of this conjecture, showing, in particular, that it holds for each of the three families consisting of two connected graphs with 3 edges each and observing that it holds for any family $\mathcal{F}$ containing a forest with at most 2 edges. We also study some related problems and disprove a conjecture by Aharoni, Charbit and Howard regarding the size of matchings in regular 3-partite 3-uniform hypergraphs.
Berge-Fulkerson coloring for infinite families of snarks
Published
• View Publication
• BIB
It is conjectured by Berge and Fulkerson that every bridgeless cubic graph has six perfect matchings such that each edge is contained in exactly two of them. H$\ddot{a}$gglund constructed two graphs Blowup$(K_4, C)$ and Blowup$(Prism, C_4)$. Based on these two graphs, Chen constructed infinite families of bridgeless cubic graphs $M_{0,1,2, \ldots,k-2, k-1}$ which is obtained from cyclically 4-edge-connected and having a Fulkerson-cover cubic graphs $G_0,G_1,\ldots, G_{k-1}$ by recursive process. If each $G_i$ for $1\leq i\leq k-1$ is a cyclically 4-edge-connected snarks with excessive index at least 5, Chen proved that these infinite families are snarks. He obtained that each graph in $M_{0,1,2,3}$ has a Fulkerson-cover and gave the open problem that whether every graph in $M_{0,1,2, \ldots,k-2, k-1}$ has a Fulkerson-cover. In this paper, we solve this problem and prove that every graph in $M_{0,1,2, \ldots,k-2, k-1}$ has a Fulkerson-cover.
Solving Hard Stable Matching Problems Involving Groups of Similar Agents
Published
• View Publication
• BIB
Many important stable matching problems are known to be NP-hard, even when strong restrictions are placed on the input. In this paper we seek to identify structural properties of instances of stable matching problems which will allow us to design efficient algorithms using elementary techniques. We focus on the setting in which all agents involved in some matching problem can be partitioned into k different types, where the type of an agent determines his or her preferences, and agents have preferences over types (which may be refined by more detailed preferences within a single type). This situation would arise in practice if agents form preferences solely based on some small collection of agents' attributes. We also consider a generalisation in which each agent may consider some small collection of other agents to be exceptional, and rank these in a way that is not consistent with their types; this could happen in practice if agents have prior contact with a small number of candidates. We show that (for the case without exceptions), several well-studied NP-hard stable matching problems including Max SMTI (that of finding the maximum cardinality stable matching in an instance of stable marriage with ties and incomplete lists) belong to the parameterised complexity class FPT when parameterised by the number of different types of agents needed to describe the instance. For Max SMTI this tractability result can be extended to the setting in which each agent promotes at most one `exceptional' candidate to the top of his/her list (when preferences within types are not refined), but the problem remains NP-hard if preference lists can contain two or more exceptions and the exceptional candidates can be placed anywhere in the preference lists, even if the number of types is bounded by a constant.
Locally Searching for Large Induced Matchings
It is an easy observation that a natural greedy approach yields a $\left(d-O(1)\right)$-factor approximation algorithm for the maximum induced matching problem in $d$-regular graphs. The only considerable and non-trivial improvement of this approximation ratio was obtained by Gotthilf and Lewenstein using a combination of the greedy approach and local search, where understanding the performance of the local search was the challenging part of the analysis. We study the performance of their local search when applied to general graphs, $C_4$-free graphs, $\{C_3,C_4\}$-free graphs, $C_5$-free graphs, and claw-free graphs. As immediate consequences, we obtain approximation algorithms for the maximum induced matching problem restricted to the $d$-regular graphs in these classes.
Isolating a Vertex via Lattices: Polytopes with Totally Unimodular Faces
Published
• View Publication
• BIB
We present a geometric approach towards derandomizing the Isolation Lemma by Mulmuley, Vazirani, and Vazirani. In particular, our approach produces a quasi-polynomial family of weights, where each weight is an integer and quasi-polynomially bounded, that can isolate a vertex in any 0/1 polytope for which each face lies in an affine space defined by a totally unimodular matrix. This includes the polytopes given by totally unimodular constraints and generalizes the recent derandomization of the Isolation Lemma for bipartite perfect matching and matroid intersection. We prove our result by associating a lattice to each face of the polytope and showing that if there is a totally unimodular kernel matrix for this lattice, then the number of vectors of length within 3/2 of the shortest vector in it is polynomially bounded. The proof of this latter geometric fact is combinatorial and follows from a polynomial bound on the number of circuits of size within 3/2 of the shortest circuit in a regular matroid. This is the technical core of the paper and relies on a variant of Seymour's decomposition theorem for regular matroids. It generalizes an influential result by Karger on the number of minimum cuts in a graph to regular matroids.
New Canonical Decomposition in Matching Theory
Published
• View Publication
• BIB
In matching theory, one of the most fundamental and classical branches of combinatorics, {\em canonical decompositions} of graphs are powerful and versatile tools that form the basis of this theory. However, the abilities of the known canonical decompositions, that is, the {\em Dulmage-Mendelsohn}, {\em Kotzig-Lovász}, and {\em Gallai-Edmonds} decompositions, are limited because they are only applicable to particular classes of graphs, such as bipartite graphs, or they are too sparse to provide sufficient information. To overcome these limitations, we introduce a new canonical decomposition that is applicable to all graphs and provides much finer information. We focus on the notion of {\em factor-components} as the fundamental building blocks of a graph; through the factor-components, our new canonical decomposition states how a graph is organized and how it contains all the maximum matchings. The main results that constitute our new theory are the following: (i) a canonical partial order over the set of factor-components, which describes how a graph is constructed from its factor-components; (ii) a generalization of the Kotzig-Lovász decomposition, which shows the inner structure of each factor-component in the context of the entire graph; and (iii) a canonically described interrelationship between (i) and (ii), which integrates these two results into a unified theory of a canonical decomposition. These results are obtained in a self-contained way, and our proof of the generalized Kotzig-Lovász decomposition contains a shortened and self-contained proof of the classical counterpart.
The random k-matching-free process
Published
• View Publication
• BIB
Let $\mathcal{P}$ be a graph property which is preserved by removal of edges, and consider the random graph process that starts with the empty $n$-vertex graph and then adds edges one-by-one, each chosen uniformly at random subject to the constraint that $\mathcal{P}$ is not violated. These types of random processes have been the subject of extensive research over the last 20 years, having striking applications in extremal combinatorics, and leading to the discovery of important probabilistic tools. In this paper we consider the $k$-matching-free process, where $\mathcal{P}$ is the property of not containing a matching of size $k$. We are able to analyse the behaviour of this process for a wide range of values of $k$; in particular we prove that if $k=o(n)$ or if $n-2k=o(\sqrt{n}/\log n)$ then this process is likely to terminate in a $k$-matching-free graph with the maximum possible number of edges, as characterised by Erdős and Gallai. We also show that these bounds on $k$ are essentially best possible, and we make a first step towards understanding the behaviour of the process in the intermediate regime.
Excluded $t$-factors in Bipartite Graphs: Unified Framework for Nonbipartite Matchings, Restricted 2-matchings, and Matroids
Published
• View Publication
• BIB
We propose a framework for optimal $t$-matchings excluding the prescribed $t$-factors in bipartite graphs. The proposed framework is a generalization of the nonbipartite matching problem and includes several problems, such as the triangle-free $2$-matching, square-free $2$-matching, even factor, and arborescence problems. In this paper, we demonstrate a unified understanding of these problems by commonly extending previous important results. We solve our problem under a reasonable assumption, which is sufficiently broad to include the specific problems listed above. We first present a min-max theorem and a combinatorial algorithm for the unweighted version. We then provide a linear programming formulation with dual integrality and a primal-dual algorithm for the weighted version. A key ingredient of the proposed algorithm is a technique to shrink forbidden structures, which corresponds to the techniques of shrinking odd cycles, triangles, squares, and directed cycles in Edmonds' blossom algorithm, a triangle-free $2$-matching algorithm, a square-free $2$-matching algorithm, and an arborescence algorithm, respectively.
Null Decomposition of Trees
Published
• View Publication
• BIB
Let $T$ be a tree, we show that the null space of the adjacency matrix of $T$ has relevant information about the structure of $T$. We introduce the Null Decomposition of trees, and use it in order to get formulas for independence number and matching number of a tree. We also prove that the number of maximum matchings in a tree is related to the null decomposition.
A tanglegram Kuratowski theorem
Published
• View Publication
• BIB
A tanglegram consists of two rooted binary plane trees with the same number of leaves and a perfect matching between the two leaf sets. Tanglegrams are drawn with the leaves on two parallel lines, the trees on either side of the strip created by these lines, and the perfect matching inside the strip. If this can be done without any edges crossing, a tanglegram is called planar. We show that every non-planar tanglegram contains one of two non-planar 4-leaf tanglegrams as induced subtanglegram, which parallels Kuratowski's Theorem.
Nonbipartite Dulmage-Mendelsohn Decomposition for Berge Duality
Published
• View Publication
• BIB
The Dulmage-Mendelsohn decomposition is a classical canonical decomposition in matching theory applicable for bipartite graphs, and is famous not only for its application in the field of matrix computation, but also for providing a prototypal structure in matroidal optimization theory. The Dulmage-Mendelsohn decomposition is stated and proved using the two color classes, and therefore generalizing this decomposition for nonbipartite graphs has been a difficult task. In this paper, we obtain a new canonical decomposition that is a generalization of the Dulmage-Mendelsohn decomposition for arbitrary graphs, using a recently introduced tool in matching theory, the basilica decomposition. Our result enables us to understand all known canonical decompositions in a unified way. Furthermore, we apply our result to derive a new theorem regarding barriers. The duality theorem for the maximum matching problem is the celebrated Berge formula, in which dual optimizers are known as barriers. Several results regarding maximal barriers have been derived by known canonical decompositions, however no characterization has been known for general graphs. In this paper, we provide a characterization of the family of maximal barriers in general graphs, in which the known results are developed and unified.
A note on minimal dispersion of point sets in the unit cube
Published
• View Publication
• BIB
We study the dispersion of a point set, a notion closely related to the discrepancy. Given a real $r\in (0,1)$ and an integer $d\geq 2$, let $N(r,d)$ denote the minimum number of points inside the $d$-dimensional unit cube $[0,1]^d$ such that they intersect every axis-aligned box inside $[0,1]^d$ of volume greater than $r$. We prove an upper bound on $N(r,d)$, matching a lower bound of Aistleitner et al. up to a multiplicative constant depending only on $r$. This fully determines the rate of growth of $N(r,d)$ if $r\in(0,1)$ is fixed.
Eigenvariety of Nonnegative Symmetric Weakly Irreducible Tensors Associated with Spectral Radius and Its Application to Hypergraphs
Published in Linear Algebra and its Applications, 564(2019), 72-94
• View Publication
• BIB
For a nonnegative symmetric weakly irreducible tensor, its spectral radius is an eigenvalue corresponding to a unique positive eigenvector up to a scalar called the Perron vector. But including the Perron vector, there may have more than one eigenvector corresponding to the spectral radius. The projective eigenvariety associated with the spectral radius is the set of the eigenvectors corresponding to the spectral radius considered in the complex projective space. In this paper we proved that such projective eigenvariety admits a module structure, which is determined by the support of the tensor and can be characterized explicitly by solving the Smith normal form of the incidence matrix of the tensor. We introduced two parameters: the stabilizing index and the stabilizing dimension of the tensor, where the former is exactly the cardinality of the projective eigenvariety and the latter is the composition length of the projective eigenvariety as a module. We give some upper bounds for the two parameters, and characterize the case that there is only one eigenvector of the tensor corresponding to the spectral radius, i.e. the Perron vector. By applying the above results to the adjacency tensor of a connected uniform hypergraph, we give some upper bounds for the two parameters in terms of the structural parameters of the hypergraph such as path cover number, matching number and the maximum length of paths.
M-alternating Hamilton paths and M-alternating Hamilton cycles
Published in Discrete Mathematics, 309(10), 3385-3392 (2009)
• Search Publication
We study $M$-alternating Hamilton paths and $M$-alternating Hamilton cycles in a simple connected graph $G$ on $ν$ vertices with a perfect matching $M$. Let $G$ be a bipartite graph, we prove that if for any two vertices $x$ and $y$ in different parts of $G$, $d(x)+d(y)\geq ν/2+2$, then $G$ has an $M$-alternating Hamilton cycle. For general graphs, a condition for the existence of an $M$-alternating Hamilton path starting and ending with edges in $M$ is put forward. Then we prove that if $κ(G)\geqν/2$, where $κ(G)$ denotes the connectivity of $G$, then $G$ has an $M$-alternating Hamilton cycle or belongs to one class of exceptional graphs. Lou and Yu \cite{LY} have proved that every $k$-extendable graph $H$ with $k\geqν/4$ is bipartite or satisfies $κ(H)\geq 2k$. Combining this result with those we obtain we prove the existence of $M$-alternating Hamilton cycles in $H$.
On some three color Ramsey numbers for paths, cycles, stripes and stars
Published
• View Publication
• BIB
For given graphs $G_{1}, G_{2}, ... , G_{k}, k \geq 2$, the multicolor Ramsey number $R(G_{1}, G_{2}, ... , G_{k})$ is the smallest integer $n$ such that if we arbitrarily color the edges of the complete graph of order $n$ with $k$ colors, then it always contains a monochromatic copy of $G_{i}$ colored with $i$, for some $1 \leq i \leq k$. The bipartite Ramsey number $b(G_1, \cdots, G_k)$ is the least positive integer $b$ such that any coloring of the edges of $K_{b,b}$ with $k$ colors will result in a monochromatic copy of bipartite $G_i$ in the $i$-th color, for some $i$, $1 \le i \le k$.
There is very little known about $R(G_{1},\ldots, G_{k})$ even for very special graphs, there are a lot of open cases. In this paper, by using bipartite Ramsey numbers we obtain the exact values of some multicolor Ramsey numbers. We show that for sufficiently large $n_{0}$ and three following cases:
1. $n_{1}=2s$, $n_{2}=2m$ and $m-1<2s$,
2. $n_{1}=n_{2}=2s$,
3. $n_{1}=2s+1$, $n_{2}=2m$ and $s<m-1<2s+1$, we have
$$R(C_{n_0}, P_{n_{1}},P_{n_{2}}) = n_0 + \Big \lfloor \frac{n_1}{2} \Big \rfloor + \Big \lfloor \frac{n_2}{2} \Big \rfloor -2.$$
We prove that $R(P_n,kK_{2},kK_{2})=n+2k-2$ for large $n$. In addition, we prove that for even $k$, $R((k-1)K_{2},P_{k},P_{k})=3k-4$. For $s < m-1<2s+1$ and $t\geq m+s-1$, we obtain that $R(tK_{2},P_{2s+1},P_{2m})=s+m+2t-2$ where $P_{k}$ is a path on $k$ vertices and $tK_{2}$ is a matching of size $t$.
We also provide some new exact values or generalize known results for other multicolor Ramsey numbers of paths, cycles, stripes and stars versus other graphs.
Orthogonally Resolvable Matching Designs
Published
• View Publication
• BIB
An Orthogonally resolvable Matching Design OMD$(n, k)$ is a partition of the edges the complete graph $K_n$ into matchings of size $k$, called blocks, such that the blocks can be resolved in two different ways. Such a design can be represented as a square array whose cells are either empty or contain a matching of size $k$, where every vertex appears exactly once in each row and column. In this paper we show that an OMD$(n.k)$ exists if and only if $n \equiv 0 \pmod{2k}$ except when $k=1$ and $n = 4$ or $6$.