matching
3168 papers tagged with this keyword
Shortest (A+B)-path packing via hafnian
Published
• View Publication
• BIB
Björklund and Husfeldt developed a randomized polynomial time algorithm to solve the shortest two disjoint paths problem. Their algorithm is based on computation of permanents modulo 4 and the isolation lemma. In this paper, we consider the following generalization of the shortest two disjoint paths problem, and develop a similar algebraic algorithm. The shortest perfect $(A+B)$-path packing problem is: given an undirected graph $G$ and two disjoint node subsets $A,B$ with even cardinalities, find a shortest $|A|/2+|B|/2$ disjoint paths whose ends are both in $A$ or both in $B$. Besides its NP-hardness, we prove that this problem can be solved in randomized polynomial time if $|A|+|B|$ is fixed. Our algorithm basically follows the framework of Björklund and Husfeldt but uses a new technique: computation of hafnian modulo $2^k$ combined with Gallai's reduction from $T$-paths to matchings. We also generalize our technique for solving other path packing problems, and discuss its limitation.
On the number of cliques in graphs with a forbidden minor
Published
• View Publication
• BIB
Reed and Wood and independently Norine, Seymour, Thomas, and Wollan proved that for each positive integer $t$ there is a constant $c(t)$ such that every graph on $n$ vertices with no $K_t$-minor has at most $c(t)n$ cliques. Wood asked in 2007 if we can take $c(t) = c^t$ for some absolute constant $c$. This question was recently answered affirmatively by Lee and Oum. In this paper, we determine the exponential constant. We prove that every graph on $n$ vertices with no $K_t$-minor has at most $3^{2t/3+o(t)}n$ cliques. This bound is tight for $n \geq 4t/3$. More generally, let $H$ be a connected graph on $t$ vertices, and $x$ denote the size (i.e., the number edges) of the largest matching in the complement of $H$. We prove that every graph on $n$ vertices with no $H$-minor has at most $\max(3^{2t/3-x/3+o(t)}n,2^{t+o(t)}n)$ cliques, and this bound is tight for $n \geq \max (4t/3-2x/3,t)$ by a simple construction. Even more generally, we determine explicitly the exponential constant for the maximum number of cliques an $n$-vertex graph can have in a minor-closed family of graphs which is closed under disjoint union.
Peeling and Nibbling the Cactus: Subexponential-Time Algorithms for Counting Triangulations and Related Problems
Given a set of $n$ points $S$ in the plane, a triangulation $T$ of $S$ is a maximal set of non-crossing segments with endpoints in $S$. We present an algorithm that computes the number of triangulations on a given set of $n$ points in time $n^{(11+ o(1))\sqrt{n} }$, significantly improving the previous best running time of $O(2^n n^2)$ by Alvarez and Seidel [SoCG 2013]. Our main tool is identifying separators of size $O(\sqrt{n})$ of a triangulation in a canonical way. The definition of the separators are based on the decomposition of the triangulation into nested layers ("cactus graphs"). Based on the above algorithm, we develop a simple and formal framework to count other non-crossing straight-line graphs in $n^{O(\sqrt{n})}$ time. We demonstrate the usefulness of the framework by applying it to counting non-crossing Hamilton cycles, spanning trees, perfect matchings, $3$-colorable triangulations, connected graphs, cycle decompositions, quadrangulations, $3$-regular graphs, and more.
Some bounds on the maximum induced matching numbers of certain grids
An induced matching $M$ in a graph $G$ is a matching in $G$ that is also the edge set of an induced subgraph of $G$. That is, any edge not in $M$ must have no more than one incident vertex saturated by $M$. The maximum size $|M|$ of an induced matching $M$ of $G$ is maximum induced matching number of $G$, which is denoted by $\textrm{Max}(G)$. In this article, we obtain upper bounds for $\textrm{Max}(G)$, for $G=G_{n,m}$, grids with $n,m \geq 9$, $m\equiv 1 \mod 4$ and $nm$ odd.
Hereditary Konig Egervary Collections
Let $G$ be a simple graph with vertex set $V(G)$. A subset $S$ of $V(G)$ is independent if no two vertices from $S$ are adjacent. The graph $G$ is known to be a Konig-Egervary (KE in short) graph if $α(G) + μ(G)= |V(G)|$, where $α(G)$ denotes the size of a maximum independent set and $μ(G)$ is the cardinality of a maximum matching. Let $Ω(G)$ denote the family of all maximum independent sets. A collection $F$ of sets is an hke collection if $|\bigcup Γ|+|\bigcap Γ|=2α$ holds for every subcollection $Γ$ of $F$. We characterize an hke collection and invoke new characterizations of a KE graph. We prove the existence and uniqueness of a graph $G$ such that $Ω(G)$ is a maximal hke collection. It is a bipartite graph. As a result, we solve a problem of Jarden, Levit and Mandrescu \cite{jlm}, proving that $F$ is an hke collection if and only if it is a subset of $Ω(G)$ for some graph $G$ and $|\bigcup F|+|\bigcap F|=2α(F)$. Finally, we show that the maximal cardinality of an hke collection $F$ with $α(F)=α$ and $|\bigcup F|=n$ is $2^{n-α}$.
The parity search problem
Published in Mosc. J. Comb. Number Theory 3 (2013), no. 1, 78-83
• Search Publication
We prove that for any positive integers $n$ and $d$ there exists a collection consisting of $f=d\log n+O(1)$ subsets $A_1, A_2, \ldots, A_f$ of $[n]$ such that for any two distinct subsets $X$ and $Y$ of $[n]$ whose size is at most $d$ there is an index $i\in [f]$ for which $| A_i\cap X|$ and $|A_i\cap Y|$ have different parity. Here we think of $d$ as fixed whereas $n$ is thought of as tending to infinity, and the base of the logarithm is $2$.
Translated into the language of combinatorial search theory, this tells us that \[
d \log n+O(1) \] queries suffice to identify up to $d$ marked items from a totality of $n$ items if the answers one gets are just whether an even or an odd number of marked elements has been queried, even if the search is performed non-adaptively. Since the entropy method easily yields a matching lower bound for the adaptive version of this problem, our result is asymptotically best possible.
This answers a question posed by Dániel Gerbner and Balázs Patkós in Gyula O.H. Katona's Search Theory Seminar at the Rényi institute.
On the complexity of the identifiable subgraph problem, revisited
Published
• View Publication
• BIB
A bipartite graph $G=(L,R;E)$ with at least one edge is said to be identifiable if for every vertex $v\in L$, the subgraph induced by its non-neighbors has a matching of cardinality $|L|-1$. An $\ell$-subgraph of $G$ is an induced subgraph of $G$ obtained by deleting from it some vertices in $L$ together with all their neighbors. The Identifiable Subgraph problem is the problem of determining whether a given bipartite graph contains an identifiable $\ell$-subgraph.
We show that the Identifiable Subgraph problem is polynomially solvable, along with the version of the problem in which the task is to delete as few vertices from $L$ as possible together with all their neighbors so that the resulting $\ell$-subgraph is identifiable. We also complement a known APX-hardness result for the complementary problem in which the task is to minimize the number of remaining vertices in $L$, by showing that two parameterized variants of the problem are W[1]-hard.
Pairwise Stability in Two Sided Market with Strictly Increasing Valuation Functions
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Discrete Algorithms (April 12, 2017) dmtcs:1415
• View Publication
• BIB
This paper deals with two-sided matching market with two disjoint sets, i.e. the set of buyers and the set of sellers. Each seller can trade with at most with one buyer and vice versa. Money is transferred from sellers to buyers for an indivisible goods that buyers own. Valuation functions, for participants of both sides, are represented by strictly increasing functions with money considered as discrete variable. An algorithm is devised to prove the existence of stability for this model.
On the permanental nullity and matching number of graphs
Published
• View Publication
• BIB
For a graph $G$ with $n$ vertices, let $ν(G)$ and $A(G)$ denote the matching number and adjacency matrix of $G$, respectively. The permanental polynomial of $G$ is defined as $π(G,x)={\rm per}(Ix-A(G))$. The permanental nullity of $G$, denoted by $η_{per}(G)$, is the multiplicity of the zero root of $π(G,x)$. In this paper, we use the Gallai-Edmonds structure theorem to derive a concise formula which reveals the relationship between the permanental nullity and the matching number of a graph. Furthermore, we prove a necessary and sufficient condition for a graph $G$ to have $η_{per}(G)=0$. As applications, we show that every unicyclic graph $G$ on $n$ vertices satisfies $n-2ν(G)-1 \le η_{per}(G) \le n-2ν(G)$, that the permanental nullity of the line graph of a graph is either zero or one, and that the permanental nullity of a factor critical graph is always zero.
Co-adjoint polynomial
In this note we study a certain graph polynomial arising from a special recursion. This recursion is a member of a family of four recursions where the other three recursions belong to the chromatic polynomial, the modified matching polynomial, and the adjoint polynomial, respectively. The four polynomials share many common properties, for instance all of them are of exponential type, i. e., they satisfy the identity $$\sum_{S\subseteq V(G)}f(G[S],x)f(G[V\setminus S],y)=f(G,x+y)$$ for every graph $G$.
It turns out that the new graph polynomial is a specialization of the Tutte polynomial.
Spectral radius and fractional matchings in graphs
Published in European Journal of Combinatorics, Volume 55, 2016, Pages 144-148
• View Publication
• BIB
A {\it fractional matching} of a graph $G$ is a function $f$ giving each edge a number in $[0,1]$ so that $\sum_{e \in Γ(v)} f(e) \le 1$ for each $v\in V(G)$, where $Γ(v)$ is the set of edges incident to $v$. The {\it fractional matching number} of $G$, written $α'_*(G)$, is the maximum of $\sum_{e \in E(G)} f(e)$ over all fractional matchings $f$. Let $G$ be an $n$-vertex connected graph with minimum degree $d$, let $λ_1(G)$ be the largest eigenvalue of $G$, and let $k$ be a positive integer less than $n$. In this paper, we prove that if $λ_1(G) < d\sqrt{1+\frac{2k}{n-k}}$, then $α'_*(G) > \frac{n-k}{2}$. As a result, we prove $α'_*(G) \ge \frac{nd^2}{λ_1(G)^2 + d^2}$, we characterize when equality holds in the bound.
Topologically Distinct Sets of Non-intersecting Circles in the Plane
Nested parentheses are forms in an algebra which define orders of evaluations. A class of well-formed sets of associated opening and closing parentheses is well studied in conjunction with Dyck paths and Catalan numbers. Nested parentheses also represent cuts through circles on a line. These become topologies of non-intersecting circles in the plane if the underlying algebra is commutative.
This paper generalizes the concept and answers quantitatively - as recurrences and generating functions of matching rooted forests - the questions: how many different topologies of nested circles exist in the plane if (i) pairs of circles may intersect, or (ii) even triples of circles may intersect. That analysis is driven by examining the symmetry properties of the inner regions of the fundamental type(s) of the intersecting pairs and triples.
Trapezoidal Diagrams, Upward Triangulations, and Prime Catalan Numbers
Published
• View Publication
• BIB
The d-dimensional Catalan numbers form a well-known sequence of numbers which count balanced bracket expressions over an alphabet of size d. In this paper, we introduce and study what we call d-dimensional prime Catalan numbers, a sequence of numbers which count only a very specific subset of indecomposable balanced bracket expressions.
We further introduce the notion of a trapezoidal diagram of a crossing-free geometric graph, such as a triangulation or a crossing-free perfect matching. In essence, such a diagram is obtained by augmenting the geometric graph in question with its trapezoidal decomposition, and then forgetting about the precise coordinates of individual vertices while preserving the vertical visibility relations between vertices and segments. We note that trapezoidal diagrams of triangulations are closely related to abstract upward triangulations.
We study the numbers of such diagrams in the cases of (i) perfect matchings and (ii) triangulations. We give bijective proofs which establish relations with 3-dimensional (prime) Catalan numbers. This allows us to determine the corresponding exponential growth rates exactly as (i) 5.196^n and (ii) 23.459^n (bases are rounded to 3 decimal places).
Finally, we give lower bounds for the maximum number of embeddings of a trapezoidal diagram on any given point set.
Convergence of graphs with intermediate density
Published
• View Publication
• BIB
We propose a notion of graph convergence that interpolates between the Benjamini--Schramm convergence of bounded degree graphs and the dense graph convergence developed by László Lovász and his coauthors. We prove that spectra of graphs, and also some important graph parameters such as numbers of colorings or matchings, behave well in convergent graph sequences. Special attention is given to graph sequences of large essential girth, for which asymptotics of coloring numbers are explicitly calculated. We also treat numbers of matchings in approximately regular graphs.
We introduce tentative limit objects that we call graphonings because they are common generalizations of graphons and graphings. Special forms of these, called Hausdorff and Euclidean graphonings, involve geometric measure theory. We construct Euclidean graphonings that provide limits of hypercubes and of finite projective planes, and, more generally, of a wide class of regular sequences of large essential girth. For any convergent sequence of large essential girth, we construct weaker limit objects: an involution invariant probability measure on the sub-Markov space of consistent measure sequences (this is unique), or an acyclic reversible sub-Markov kernel on a probability space (non-unique). We also pose some open problems.
Fast strategies in biased Maker--Breaker games
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Graph Theory (October 8, 2018) dmtcs:4033
• View Publication
• BIB
We study the biased $(1:b)$ Maker--Breaker positional games, played on the edge set of the complete graph on $n$ vertices, $K_n$. Given Breaker's bias $b$, possibly depending on $n$, we determine the bounds for the minimal number of moves, depending on $b$, in which Maker can win in each of the two standard graph games, the Perfect Matching game and the Hamilton Cycle game.
Rainbow perfect matchings and Hamilton cycles in the random geometric graph
Published
• View Publication
• BIB
Given a graph on $n$ vertices and an assignment of colours to the edges, a rainbow Hamilton cycle is a cycle of length $n$ visiting each vertex once and with pairwise different colours on the edges. Similarly (for even $n$) a rainbow perfect matching is a collection of $n/2$ independent edges with pairwise different colours. In this note we show that if we randomly colour the edges of a random geometric graph with sufficiently many colours, then a.a.s. the graph contains a rainbow perfect matching (rainbow Hamilton cycle) if and only if the minimum degree is at least $1$ (respectively, at least $2$). More precisely, consider $n$ points (i.e. vertices) chosen independently and uniformly at random from the unit $d$-dimensional cube for any fixed $d\ge2$. Form a sequence of graphs on these $n$ vertices by adding edges one by one between each possible pair of vertices. Edges are added in increasing order of lengths (measured with respect to the $\ell_p$ norm, for any fixed $1<p\le\infty$). Each time a new edge is added, it receives a random colour chosen uniformly at random and with repetition from a set of $\lceil Kn\rceil$ colours, where $K=K(d)$ is a sufficiently large fixed constant. Then, a.a.s. the first graph in the sequence with minimum degree at least $1$ must contain a rainbow perfect matching (for even $n$), and the first graph with minimum degree at least $2$ must contain a rainbow Hamilton cycle.
A Simple Condition for the Existence of Transversals
Hall's Theorem is a basic result in Combinatorics which states that the obvious necesssary condition for a finite family of sets to have a transversal is also sufficient. We present a sufficient (but not necessary) condition on the sizes of the sets in the family and the sizes of their intersections so that a transversal exists. Using this, we prove that in a bipartite graph $G$ (bipartition $\{A, B\}$), without 4-cycles, if $°(v) \geq \sqrt{2e|A|}$ for all $v \in A$, then $G$ has a matching of size $|A|$.
On Minimum Maximal Distance-k Matchings
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (January 11, 2018) dmtcs:3271
• View Publication
• BIB
We study the computational complexity of several problems connected with finding a maximal distance-$k$ matching of minimum cardinality or minimum weight in a given graph. We introduce the class of $k$-equimatchable graphs which is an edge analogue of $k$-equipackable graphs. We prove that the recognition of $k$-equimatchable graphs is co-NP-complete for any fixed $k \ge 2$. We provide a simple characterization for the class of strongly chordal graphs with equal $k$-packing and $k$-domination numbers. We also prove that for any fixed integer $\ell \ge 1$ the problem of finding a minimum weight maximal distance-$2\ell$ matching and the problem of finding a minimum weight $(2 \ell - 1)$-independent dominating set cannot be approximated in polynomial time in chordal graphs within a factor of $δ\ln |V(G)|$ unless $\mathrm{P} = \mathrm{NP}$, where $δ$ is a fixed constant (thereby improving the NP-hardness result of Chang for the independent domination case). Finally, we show the NP-hardness of the minimum maximal induced matching and independent dominating set problems in large-girth planar graphs.
Note: This version (as compared to the journal submission) contains corrections to Section 4.
Sharp thresholds for half-random games II
Published
• View Publication
• BIB
We study biased Maker-Breaker positional games between two players, one of whom is playing randomly against an opponent with an optimal strategy. In this work we focus on the case of Breaker playing randomly and Maker being "clever". The reverse scenario is treated in a separate paper. We determine the sharp threshold bias of classical games played on the edge set of the complete graph $K_n$, such as connectivity, perfect matching, Hamiltonicity, and minimum degree-$1$. In all of these games, the threshold is equal to the trivial upper bound implied by the number of edges needed for Maker to occupy a winning set. Moreover, we show that the clever Maker can not only win against an asymptotically optimal bias, but can do so very fast, wasting only logarithmically many moves (while the winning set sizes are linear in $n$).
Spectral characterization of matchings in graphs
Published
• View Publication
• BIB
A spectral characterization of the matching number (the size of a maximum matching) of a graph is given. More precisely, it is shown that the graphs G of order n whose matching number is k are precisely those graphs with the maximum skew rank 2k such that for any given set of k distinct nonzero purely imaginary numbers there is a real skew-symmetric matrix A with graph G whose spectrum consists of the given k numbers, their conjugate pairs, and n-2k zeros.