matching
3278 papers tagged with this keyword
Lobsters with an almost perfect matching are graceful
Let $T$ be a lobster with a matching that covers all but one vertex. We show that in this case, $T$ is graceful.
Computing Unique Maximum Matchings in O(m) time for Konig-Egervary Graphs and Unicyclic Graphs
Published
• View Publication
• BIB
Let alpha(G) denote the maximum size of an independent set of vertices and mu(G) be the cardinality of a maximum matching in a graph G. A matching saturating all the vertices is perfect. If alpha(G) + mu(G) equals the number of vertices of G, then it is called a Konig-Egervary graph. A graph is unicyclic if it has a unique cycle.
In 2010, Bartha conjectured that a unique perfect matching, if it exists, can be found in O(m) time, where m is the number of edges.
In this paper we validate this conjecture for Konig-Egervary graphs and unicylic graphs. We propose a variation of Karp-Sipser leaf-removal algorithm (Karp and Spiser, 1981), which ends with an empty graph if and only if the original graph is a Konig-Egervary graph with a unique perfect matching obtained as an output as well.
We also show that a unicyclic non-bipartite graph G may have at most one perfect matching, and this is the case where G is a Konig-Egervary graph.
On the $f$-matching polytope and the fractional $f$-chromatic index
Published
• View Publication
• BIB
Our motivation is the question of how similar the $f$-colouring problem is to the classic edge-colouring problem, particularly with regard to graph parameters. In 2010, Zhang, Yu, and Liu gave a new description of the $f$-matching polytope and derived a formula for the fractional $f$-chromatic index, stating that the fractional $f$-chromatic index equals the maximum of the fractional maximum $f$-degree and the fractional $f$-density. Unfortunately, this formula is incorrect. We present counterexamples for both the description of the $f$-matching polytope and the formula for the fractional $f$-chromatic index. Finally, we prove a short lemma concerning the generalization of Goldberg's conjecture.
Partitioning Perfect Graphs into Stars
Published in Journal of Graph Theory 85(2):297--335 (2017)
• View Publication
• BIB
The partition of graphs into "nice" subgraphs is a central algorithmic problem with strong ties to matching theory. We study the partitioning of undirected graphs into same-size stars, a problem known to be NP-complete even for the case of stars on three vertices. We perform a thorough computational complexity study of the problem on subclasses of perfect graphs and identify several polynomial-time solvable cases, for example, on interval graphs and bipartite permutation graphs, and also NP-complete cases, for example, on grid graphs and chordal graphs.
Fractional covers and matchings in families of weighted $d$-intervals
Published
• View Publication
• BIB
A $d$-{\em interval} is a union of at most $d$ disjoint closed intervals on a fixed line. Tardos [Combinatorica 15 (1995), 123-134] and the second author [Disc. Comput. Geom. 18 (1997), 195-203] used topological tools to bound the transversal number $τ$ of a family $H$ of $d$-intervals in terms of $d$ and the matching number $ν$ of $H$. We investigate the weighted and fractional versions of this problem and prove upper bounds that are tight up to constant factors. We apply both the topological method and an approach of Alon [Disc. Comput. Geom. 19 (1998), 333-334]. For the use of the latter, we prove a weighted version of Turán's theorem. We also provide a proof of the second author's upper bound that is more direct than the original proof.
Erdös's Matching Conjecture and $s$-wise $t$-intersection Conjecture via Symmetrical Smoothing Method
We find the formula for the maximal cardinality of the family of $n$-tuples from ${[n]\choose k}$ with does not have $\ell$--matching. This formula after some analytical issues can be reduce to the Erdös's Matching formula. Also we prove the conjecture about the cardinality of maximal $s$-wise $t$-intersecting family of $k$-element subsets of $[n]$. In the proofs we use original method which we have already used in the proof of Miklós-Manikam-Singhi conjecture in \cite{1}. We call this method Symmetrical smoothing method, we add small corrections
A short proof of Kotzig's theorem
A new shortest proof of Kotzig's Theorem about graphs with unique perfect matching is presented in this paper. It is well known that Kotzig's theorem is a consequence of Yeo's Theorem about edge-colored graph without alternating cycle. We present a proof of Yeo's Theorem based on the same ideas as our proof of Kotzig's theorem.
Almost-Ramanujan Graphs and Prime Gaps
Published
• View Publication
• BIB
The method of Murty and Cioabă shows how one can use results about gaps between primes to construct families of almost-Ramanujan graphs. In this paper we give a simpler construction which avoids the search for perfect matchings and thus eliminates the need for computation. A couple of recent explicit bounds on the gap between consecutive primes are then used to give the construction of $k$-regular families with explicit lower bounds on the spectral gaps. We then show that a result of Ben-Aroya and Ta-Shma can be improved using our simpler construction on the assumption of the Riemann Hypothesis, which sheds some more light on a question raised by Reingold, Vadhan and Widgerson.
Perfect Packings in Quasirandom Hypergraphs
Let k >= 2 and F be a linear k-uniform hypergraph with v vertices. We prove that if n is sufficiently large and v|n, then every quasirandom k-uniform hypergraph on n vertices with constant edge density and minimum degree $Ω(n^{k-1})$ admits a perfect F-packing. The case k = 2 follows immediately from the blowup lemma of Komlós, Sárközy, and Szemerédi. We also prove positive results for some nonlinear F but at the same time give counterexamples for rather simple F that are close to being linear. Finally, we address the case when the density tends to zero, and prove (in analogy with the graph case) that sparse quasirandom 3-uniform hypergraphs admit a perfect matching as long as their second largest eigenvalue is sufficiently smaller than the largest eigenvalue.
Improved Bounds for Relaxed Graceful Trees
Published in Graphs and Combinatorics 33: 287-305, (2017)
• View Publication
• BIB
We introduce left and right-layered trees as trees with a specific representation and define the excess of a tree. Applying these ideas, we show a range-relaxed graceful labeling which improves on the upper bound for maximum vertex label given by Van Bussel. For the case when the tree is a lobster of size $m$ and diameter $d$, the labeling produces vertex labels no greater than $\frac{3}{2}m-\frac{1}{2}d$. Furthermore, we show that any lobster $T$ with $m$ edges and diameter $d$ has an edge-relaxed graceful bipartite labeling with at least $\max\{\frac{3m-d+6}{4},\frac{5m+d+15}{8}\}$ of the edge weights distinct, which is an improvement on a bound given by Rosa and Širáň on the $α$-size of trees, for $d<\frac{m+22}{7}$ and $d>\frac{5m-65}{7}$. We also show that there exists an edge-relaxed graceful labeling (not necessarily bipartite) with at least $\max\left\{\frac{3}{4}m+\frac{d-ν}{8}+\frac{3}{2},ν\right\}$ of the edge weights distinct, where $ν$ is twice the size of a partial matching of $T$. This is an improvement on the gracesize bound of Rosa and Širáň for certain values of $ν$ and $d$. We view these results as a step towards Bermond's conjecture.
Stable Roommates Problem with Random Preferences
Published
• View Publication
• BIB
The stable roommates problem with $n$ agents has worst case complexity $O(n^2)$ in time and space. Random instances can be solved faster and with less memory, however. We introduce an algorithm that has average time and space complexity $O(n^\frac{3}{2})$ for random instances. We use this algorithm to simulate large instances of the stable roommates problem and to measure the probabilty $p_n$ that a random instance of size $n$ admits a stable matching. Our data supports the conjecture that $p_n = Θ(n^{-1/4})$.
Counting Houses of Pareto Optimal Matchings in the House Allocation Problem
Published
• View Publication
• BIB
Let $A,B$ with $|A| = m$ and $|B| = n\ge m$ be two sets. We assume that every element $a\in A$ has a reference list over all elements from $B$. We call an injective mapping $τ$ from $A$ to $B$ a matching. A blocking coalition of $τ$ is a subset $A'$ of $A$ such that there exists a matching $τ'$ that differs from $τ$ only on elements of $A'$, and every element of $A'$ improves in $τ'$, compared to $τ$ according to its preference list. If there exists no blocking coalition, we call the matching $τ$ an exchange stable matching (ESM). An element $b\in B$ is reachable if there exists an exchange stable matching using $b$. The set of all reachable elements is denoted by $E^*$. We show \[|E^*| \leq \sum_{i = 1,\ldots, m}{\left\lfloor\frac{m}{i}\right\rfloor} = Θ(m\log m).\] This is asymptotically tight. A set $E\subseteq B$ is reachable (respectively exactly reachable) if there exists an exchange stable matching $τ$ whose image contains $E$ as a subset (respectively equals $E$). We give bounds for the number of exactly reachable sets. We find that our results hold in the more general setting of multi-matchings, when each element $a$ of $A$ is matched with $\ell_a$ elements of $B$ instead of just one. Further, we give complexity results and algorithms for corresponding algorithmic questions. Finally, we characterize unavoidable elements, i.e., elements of $B$ that are used by all ESM's. This yields efficient algorithms to determine all unavoidable elements.
Strong edge-colouring of sparse planar graphs
Published
• View Publication
• BIB
A strong edge-colouring of a graph is a proper edge-colouring where each colour class induces a matching. It is known that every planar graph with maximum degree $Δ$ has a strong edge-colouring with at most $4Δ+4$ colours. We show that $3Δ+1$ colours suffice if the graph has girth 6, and $4Δ$ colours suffice if $Δ\geq 7$ or the girth is at least 5. In the last part of the paper, we raise some questions related to a long-standing conjecture of Vizing on proper edge-colouring of planar graphs.
Proof of the $1$-factorization and Hamilton Decomposition Conjectures
Published
• View Publication
• BIB
In this paper we prove the following results (via a unified approach) for all sufficiently large $n$:
(i) [$1$-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$.
(ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 \rfloor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching.
(iii) [Optimal packings of Hamilton cycles] Suppose that $G$ is a graph on $n$ vertices with minimum degree $δ\ge n/2$. Then $G$ contains at least ${\rm reg}_{\rm even}(n,δ)/2 \ge (n-2)/8$ edge-disjoint Hamilton cycles. Here $\text{reg}_{\text{even}}(n,δ)$ denotes the degree of the largest even-regular spanning subgraph one can guarantee in a graph on $n$ vertices with minimum degree $δ$.
(i) was first explicitly stated by Chetwynd and Hilton. (ii) and the special case $δ= \lceil n/2 \rceil$ of (iii) answer questions of Nash-Williams from 1970. All of the above bounds are best possible.
Proof of the 1-factorization and Hamilton decomposition conjectures II: the bipartite case
Published
• View Publication
• BIB
In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$:
(i) [1-factorization conjecture] Suppose that $n$ is even and $D \geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$.
(ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 \rfloor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching.
(iii) [Optimal packings of Hamilton cycles] Suppose that $G$ is a graph on $n$ vertices with minimum degree $δ\ge n/2$. Then $G$ contains at least ${\rm reg}_{\rm even}(n,δ)/2 \ge (n-2)/8$ edge-disjoint Hamilton cycles. Here ${\rm reg}_{\rm even}(n,δ)$ denotes the degree of the largest even-regular spanning subgraph one can guarantee in a graph on $n$ vertices with minimum degree $δ$.
According to Dirac, (i) was first raised in the 1950s. (ii) and the special case $δ= \lceil n/2 \rceil$ of (iii) answer questions of Nash-Williams from 1970. All of the above bounds are best possible. In the current paper, we prove the above results for the case when $G$ is close to a complete balanced bipartite graph.
Proof of the 1-factorization and Hamilton decomposition conjectures III: approximate decompositions
Published
• View Publication
• BIB
In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$:
(i) [1-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$.
(ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 \rfloor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching.
(iii) We prove an optimal result on the number of edge-disjoint Hamilton cycles in a graph of given minimum degree.
According to Dirac, (i) was first raised in the 1950s. (ii) and (iii) answer questions of Nash-Williams from 1970. The above bounds are best possible. In the current paper, we show the following: suppose that $G$ is close to a complete balanced bipartite graph or to the union of two cliques of equal size. If we are given a suitable set of path systems which cover a set of `exceptional' vertices and edges of $G$, then we can extend these path systems into an approximate decomposition of $G$ into Hamilton cycles (or perfect matchings if appropriate).
Proof of the 1-factorization and Hamilton decomposition conjectures IV: exceptional systems for the two cliques case
In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$:
(i) [1-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$.
(ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 \rfloor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching.
(iii) We prove an optimal result on the number of edge-disjoint Hamilton cycles in a graph of given minimum degree.
According to Dirac, (i) was first raised in the 1950s. (ii) and (iii) answer questions of Nash-Williams from 1970. The above bounds are best possible. In the current paper, we prove results on the decomposition of sparse graphs into path systems. These are used in the proof of (i) and (ii) in the case when $G$ is close to the union of two disjoint cliques.
Resolving sets for breaking symmetries of graphs
This paper deals with the maximum value of the difference between the determining number and the metric dimension of a graph as a function of its order. Our technique requires to use locating-dominating sets, and perform an independent study on other functions related to these sets. Thus, we obtain lower and upper bounds on all these functions by means of very diverse tools. Among them are some adequate constructions of graphs, a variant of a classical result in graph domination and a polynomial time algorithm that produces both distinguishing sets and determining sets. Further, we consider specific families of graphs where the restrictions of these functions can be computed. To this end, we utilize two well-known objects in graph theory: $k$-dominating sets and matchings.
Matching groups and gliding systems
Published
• View Publication
• BIB
With every matching in a graph we associate a group called the matching group. We study this group using the theory of non-positively curved cubed complexes. Our approach is formulated in terms of so-called gliding systems.
Lower bounds for algebraic connectivity of graphs in terms of matching number or edge covering number
Published in ARS COMBINATORIA, 2016, 125: 361-370
• Search Publication
In this paper we characterize the unique graph whose algebraic connectivity is minimum among all connected graphs with given order and fixed matching number or edge covering number, and present two lower bounds for the algebraic connectivity in terms of the matching number or edge covering number.