matching
3168 papers tagged with this keyword
Super edge-connectivity and matching preclusion of data center networks
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 4, Graph Theory (July 30, 2019) dmtcs:4689
• View Publication
• BIB
Edge-connectivity is a classic measure for reliability of a network in the presence of edge failures. $k$-restricted edge-connectivity is one of the refined indicators for fault tolerance of large networks. Matching preclusion and conditional matching preclusion are two important measures for the robustness of networks in edge fault scenario. In this paper, we show that the DCell network $D_{k,n}$ is super-$λ$ for $k\geq2$ and $n\geq2$, super-$λ_2$ for $k\geq3$ and $n\geq2$, or $k=2$ and $n=2$, and super-$λ_3$ for $k\geq4$ and $n\geq3$. Moreover, as an application of $k$-restricted edge-connectivity, we study the matching preclusion number and conditional matching preclusion number, and characterize the corresponding optimal solutions of $D_{k,n}$. In particular, we have shown that $D_{1,n}$ is isomorphic to the $(n,k)$-star graph $S_{n+1,2}$ for $n\geq2$.
Counting maximal near perfect matchings in quasirandom and dense graphs
A maximal $\varepsilon$-near perfect matching is a maximal matching which covers at least $(1-\varepsilon)|V(G)|$ vertices. In this paper, we study the number of maximal near perfect matchings in generalized quasirandom and dense graphs. We provide tight lower and upper bounds on the number of $\varepsilon$-near perfect matchings in generalized quasirandom graphs. Moreover, based on these results, we provide a deterministic polynomial time algorithm that for a given dense graph $G$ of order $n$ and a real number $\varepsilon>0$, returns either a conclusion that $G$ has no $\varepsilon$-near perfect matching, or a positive non-trivial number $\ell$ such that the number of maximal $\varepsilon$-near perfect matchings in $G$ is at least $n^{\ell n}$. Our algorithm uses algorithmic version of Szemerédi Regularity Lemma, and has $O(f(\varepsilon)n^{5/2})$ time complexity. Here $f(\cdot)$ is an explicit function depending only on $\varepsilon$.
The geometry and combinatorics of discrete line segment hypergraphs
Published
• View Publication
• BIB
An $r$-segment hypergraph $H$ is a hypergraph whose edges consist of $r$ consecutive integer points on line segments in $\mathbb{R}^2$. In this paper, we bound the chromatic number $χ(H)$ and covering number $τ(H)$ of hypergraphs in this family, uncovering several interesting geometric properties in the process. We conjecture that for $r \ge 3$, the covering number $τ(H)$ is at most $(r - 1)ν(H)$, where $ν(H)$ denotes the matching number of $H$. We prove our conjecture in the case where $ν(H) = 1$, and provide improved (in fact, optimal) bounds on $τ(H)$ for $r \le 5$. We also provide sharp bounds on the chromatic number $χ(H)$ in terms of $r$, and use them to prove two fractional versions of our conjecture.
(Probably) Concave Graph Matching
In this paper we address the graph matching problem. Following the recent works of \cite{zaslavskiy2009path,Vestner2017} we analyze and generalize the idea of concave relaxations. We introduce the concepts of conditionally concave and probably conditionally concave energies on polytopes and show that they encapsulate many instances of the graph matching problem, including matching Euclidean graphs and graphs on surfaces. We further prove that local minima of probably conditionally concave energies on general matching polytopes (e.g., doubly stochastic) are with high probability extreme points of the matching polytope (e.g., permutations).
The matching polynomials and spectral radii of uniform supertrees
Published
• View Publication
• BIB
We study matching polynomials of uniform hypergraph and spectral radii of uniform supertrees. By comparing the matching polynomials of supertrees, we extend Li and Feng's results on grafting operations on graphs to supertrees. Using the methods of grafting operations on supertrees and comparing matching polynomials of supertrees, we determine the first $\lfloor\frac{d}{2}\rfloor+1$ largest spectral radii of $r$-uniform supertrees with size $m$ and diameter $d$. In addition, the first two smallest spectral radii of supertrees with size $m$ are determined.
On the vertex cover number of 3 uniform hypergraph
Published
• View Publication
• BIB
Given a hypergraph H(V;E), a set of vertices S in V is a vertex cover if every edge has at least a vertex in S. The vertex cover number is the minimum cardinality of a vertex cover, denoted by t(H). In this paper, we prove that for every 3 uniform connected hypergraph H(V;E), t(H)<=(2m+1)/3 holds on where m is the number of edges. Furthermore, the equality holds on if and only if H(V;E) is a hypertree with perfect matching.
The perfect matching association scheme
Published
• View Publication
• BIB
We revisit the Bose-Mesner algebra of the perfect matching association scheme. Our main results are:
1. An inductive algorithm, based on solving linear equations, to compute the eigenvalues of the orbital basis elements given the central characters of the symmetric groups.
2. Universal formulas, as content evaluations of symmetric functions, for the eigenvalues of fixed orbitals.
3. An inductive construction of an eigenvector (the so called first Gelfand-Tsetlin vector) in each eigenspace leading to a different inductive algorithm (not using central characters) for the eigenvalues of the orbital basis elements.
Decomposing Claw-free Subcubic Graphs and $4$-Chordal Subcubic Graphs
Published
• View Publication
• BIB
Hoffmann-Ostenhof's Conjecture states that the edge set of every connected cubic graph can be decomposed into a spanning tree, a matching and a $2$-regular subgraph. In this paper, we show that the conjecture holds for claw-free subcubic graphs and $4$-chordal subcubic graphs.
The Erdős Matching Conjecture and concentration inequalities
Published
• View Publication
• BIB
More than 50 years ago, Erd\H os asked the following question: what is the maximum size of a family $\mathcal F$ of $k$-element subsets of an $n$-element set if it has no $s+1$ pairwise disjoint sets? This question attracted a lot of attention recently, in particular, due to its connection to various combinatorial, probabilistic and theoretical computer science problems. Improving the previous best bound due to the first author, we prove that $|\mathcal F|\le {n\choose k}-{n-s\choose k}$, provided $n\ge \frac 53sk -\frac 23 s$ and $s$ is sufficiently large. We derive several corollaries concerning Dirac thresholds and deviations of sums of random variables. We also obtain several related results.
Strong chromatic index of graphs with maximum degree four
Published
• View Publication
• BIB
A strong edge-coloring of a graph $G$ is a coloring of the edges such that every color class induces a matching in $G$. The strong chromatic index of a graph is the minimum number of colors needed in a strong edge-coloring of the graph. In 1985, Erdős and Nešetřil conjectured that every graph with maximum degree $Δ$ has a strong edge-coloring using at most $\frac{5}{4}Δ^2$ colors if $Δ$ is even, and at most $\frac{5}{4}Δ^2 - \frac{1}{2}Δ+ \frac{1}{4}$ if $Δ$ is odd. Despite recent progress for large $Δ$ by using an iterative probabilistic argument, the only nontrivial case of the conjecture that has been verified is when $Δ= 3$, leaving the need for new approaches to verify the conjecture for any $Δ\ge 4$. In this paper, we apply some ideas used in previous results to an upper bound of 21 for graphs with maximum degree 4, which improves a previous bound due to Cranston in 2006 and moves closer to the conjectured upper bound of 20.
The strong chromatic index of $(3,Δ)$-bipartite graphs
Published in Discrete Mathematics, 2017
• Search Publication
A strong edge-coloring of a graph $G=(V,E)$ is a partition of its edge set $E$ into induced matchings. We study bipartite graphs with one part having maximum degree at most $3$ and the other part having maximum degree $Δ$. We show that every such graph has a strong edge-coloring using at most $3 Δ$ colors. Our result confirms a conjecture of Brualdi and Quinn Massey ~\cite{[BQ]} for this class of bipartite graphs.
Approximating real-rooted and stable polynomials, with combinatorial applications
Published
• View Publication
• BIB
Let $p(x)=a_0 + a_1 x + \ldots + a_n x^n$ be a polynomial with all roots real and satisfying $x \leq -δ$ for some $0<δ<1$. We show that for any $0 < ε<1$, the value of $p(1)$ is determined within relative error $ε$ by the coefficients $a_k$ with $k \leq {c \over \sqrtδ} \ln {n \over ε\sqrt{ δ}}$ for some absolute constant $c > 0$. Consequently, if $m_k(G)$ is the number of matchings with $k$ edges in a graph $G$, then for any $0 < ε< 1$, the total number $M(G)=m_0(G)+m_1(G) + \ldots $ of matchings is determined within relative error $ε$ by the numbers $m_k(G)$ with $k \leq c \sqrtΔ \ln (v /ε)$, where $Δ$ is the largest degree of a vertex, $v$ is the number of vertices of $G$ and $c >0$ is an absolute constant. We prove a similar result for polynomials with complex roots satisfying $\Re\thinspace z \leq -δ$ and apply it to estimate the number of unbranched subgraphs of $G$.
A unifying method for the design of algorithms canonizing combinatorial objects
Published
• View Publication
• BIB
We devise a unified framework for the design of canonization algorithms. Using hereditarily finite sets, we define a general notion of combinatorial objects that includes graphs, hypergraphs, relational structures, codes, permutation groups, tree decompositions, and so on.
Our approach allows for a systematic transfer of the techniques that have been developed for isomorphism testing to canonization. We use it to design a canonization algorithm for combinatorial objects in general. This result gives new fastest canonization algorithms with an asymptotic running time matching the best known isomorphism algorithm for the following types of objects: hypergraphs, hypergraphs of bounded color class size, permutation groups (up to permutational isomorphism) and codes that are explicitly given (up to code equivalence).
Proportional Choosability: A New List Analogue of Equitable Coloring
Published
• View Publication
• BIB
In 2003, Kostochka, Pelsmajer, and West introduced a list analogue of equitable coloring called equitable choosability. In this paper, we motivate and define a new list analogue of equitable coloring called proportional choosability. A $k$-assignment $L$ for a graph $G$ specifies a list $L(v)$ of $k$ available colors for each vertex $v$ of $G$. An $L$-coloring assigns a color to each vertex $v$ from its list $L(v)$. For each color $c$, let $η(c)$ be the number of vertices $v$ whose list $L(v)$ contains $c$. A proportional $L$-coloring of $G$ is a proper $L$-coloring in which each color $c \in \bigcup_{v \in V(G)} L(v)$ is used $\lfloor η(c)/k \rfloor$ or $\lceil η(c)/k \rceil$ times. A graph $G$ is proportionally $k$-choosable if a proportional $L$-coloring of $G$ exists whenever $L$ is a $k$-assignment for $G$. We show that if a graph $G$ is proportionally $k$-choosable, then every subgraph of $G$ is also proportionally $k$-choosable and also $G$ is proportionally $(k+1)$-choosable, unlike equitable choosability for which analogous claims would be false. We also show that any graph $G$ is proportionally $k$-choosable whenever $k \geq Δ(G) + \lceil |V(G)|/2 \rceil$, and we use matching theory to completely characterize the proportional choosability of stars and the disjoint union of cliques.
On 2-representation infinite algebras arising from dimer models
Published
• View Publication
• BIB
The Jacobian algebra arising from a consistent dimer model is a bimodule $3$-Calabi-Yau algebra, and its center is a $3$-dimensional Gorenstein toric singularity. A perfect matching of a dimer model gives the degree making the Jacobian algebra $\mathbb{Z}$-graded. It is known that if the degree zero part of such an algebra is finite dimensional, then it is a $2$-representation infinite algebra which is a generalization of a representation infinite hereditary algebra. Internal perfect matchings, which correspond to toric exceptional divisors on a crepant resolution of a $3$-dimensional Gorenstein toric singularity, characterize the property that the degree zero part of the Jacobian algebra is finite dimensional. Combining this characterization with the theorems due to Amiot-Iyama-Reiten, we show that the stable category of graded maximal Cohen-Macaulay modules admits a tilting object for any $3$-dimensional Gorenstein toric isolated singularity. We then show that all internal perfect matchings corresponding to the same toric exceptional divisor are transformed into each other using the mutations of perfect matchings, and this induces derived equivalences of $2$-representation infinite algebras.
The diameter of the fractional matching polytope and its hardness implications
Published
• View Publication
• BIB
The (combinatorial) diameter of a polytope $P \subseteq \mathbb R^d$ is the maximum value of a shortest path between a pair of vertices on the 1-skeleton of $P$, that is the graph where the nodes are given by the $0$-dimensional faces of $P$, and the edges are given the 1-dimensional faces of $P$. The diameter of a polytope has been studied from many different perspectives, including a computational complexity point of view. In particular, [Frieze and Teng, 1994] showed that computing the diameter of a polytope is (weakly) NP-hard.
In this paper, we show that the problem of computing the diameter is strongly NP-hard even for a polytope with a very simple structure: namely, the \emph{fractional matching} polytope. We also show that computing a pair of vertices at maximum shortest path distance on the 1-skeleton of this polytope is an APX-hard problem. We prove these results by giving an \emph{exact characterization} of the diameter of the fractional matching polytope, that is of independent interest.
Structural Rounding: Approximation Algorithms for Graphs Near an Algorithmically Tractable Class
We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world networks) while still guaranteeing approximation ratios. The idea is to $\textit{edit}$ a given graph via vertex- or edge-deletions to put the graph into an algorithmically tractable class, apply known approximation algorithms for that class, and then $\textit{lift}$ the solution to apply to the original graph. We give a general characterization of when an optimization problem is amenable to this approach, and show that it includes many well-studied graph problems, such as Independent Set, Vertex Cover, Feedback Vertex Set, Minimum Maximal Matching, Chromatic Number, ($\ell$-)Dominating Set, Edge ($\ell$-)Dominating Set, and Connected Dominating Set.
To enable this framework, we develop new editing algorithms that find the approximately-fewest edits required to bring a given graph into one of several important graph classes (in some cases, also approximating the target parameter of the family). For bounded degeneracy, we obtain a bicriteria $(4,4)$-approximation which also extends to a smoother bicriteria trade-off. For bounded treewidth, we obtain a bicriteria $(O(\log^{1.5} n), O(\sqrt{\log w}))$-approximation, and for bounded pathwidth, we obtain a bicriteria $(O(\log^{1.5} n), O(\sqrt{\log w} \cdot \log n))$-approximation. For treedepth $2$ (also related to bounded expansion), we obtain a $4$-approximation. We also prove complementary hardness-of-approximation results assuming $\mathrm{P} \neq \mathrm{NP}$: in particular, these problems are all log-factor inapproximable, except the last which is not approximable below some constant factor ($2$ assuming UGC).
Maximum and minimum nullity of a tree degree sequence
The nullity of a graph is the multiplicity of the eigenvalue zero in its adjacency spectrum. In this paper, we give a closed formula for the minimum and maximum nullity among trees with the same degree sequence, using the notion of matching number and annihilation number. Algorithms for constructing such minimum-nullity and maximum-nullity trees are described.
On the some parameters related to matching of graph powers
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple connected graph. A matching of $G$ is a set of disjoint edges of $G$. For every $n, m\in\mathbb{N}$, the $n$-subdivision of $G$ is a simple graph $G^{\frac{1}{n}}$ which is constructed by replacing each edge of $G$ with a path of length $n$ and the $m$th power of $G$, denoted by $G^m$, is a graph with the same vertex set as $G$ such that two vertices are adjacent in $G^m$ if and only if their distance is at most $m$ in $G$. The $m^{th}$ power of the $n$-subdivision of $G$ has been introduced as a fractional power of $G$ and is denoted by $G^{\frac{m}{n}}$. In this paper, we study some parameters related to matching of the natural and the fractional powers of some specific graphs. Also we study these parameters for power of graphs that are importance of in Chemistry.
On Prefix Normal Words
Published in G. Mauri and A. Leporati (Eds.): DLT 2011, LNCS 6795, pp. 228--238, 2011
• View Publication
• BIB
We present a new class of binary words: the prefix normal words. They are defined by the property that for any given length $k$, no factor of length $k$ has more $a$'s than the prefix of the same length. These words arise in the context of indexing for jumbled pattern matching (a.k.a. permutation matching or Parikh vector matching), where the aim is to decide whether a string has a factor with a given multiplicity of characters, i.e., with a given Parikh vector. Using prefix normal words, we give the first non-trivial characterization of binary words having the same set of Parikh vectors of factors. We prove that the language of prefix normal words is not context-free and is strictly contained in the language of pre-necklaces, which are prefixes of powers of Lyndon words. We discuss further properties and state open problems.