matching
3168 papers tagged with this keyword
A Maximum Resonant Set of Polyomino Graphs
Published
• View Publication
• BIB
A polyomino graph $H$ is a connected finite subgraph of the infinite plane grid such that each finite face is surrounded by a regular square of side length one and each edge belongs to at least one square. In this paper, we show that if $K$ is a maximum resonant set of $H$, then $H-K$ has a unique perfect matching. We further prove that the maximum forcing number of a polyomino graph is equal to its Clar number. Based on this result, we have that the maximum forcing number of a polyomino graph can be computed in polynomial time. We also show that if $K$ is a maximal alternating set of $H$, then $H-K$ has a unique perfect matching.
On graphs with maximum Harary spectral radius
Published
• View Publication
• BIB
Let $G$ be a simple graph with vertex set $V(G) = \{v_1 ,v_2 ,\cdots ,v_n\}$. The Harary matrix $RD(G)$ of $G$, which is initially called the reciprocal distance matrix, is an $n \times n$ matrix whose $(i,j)$-entry is equal to $\frac{1}{d_{ij}}$ if $i\not=j$ and $0$ otherwise, where $d_{ij}$ is the distance of $v_i$ and $v_j$ in $G$. In this paper, we characterize graphs with maximum spectral radius of Harary matrix in three classes of simple connected graphs with $n$ vertices: graphs with fixed matching number, bipartite graphs with fixed matching number, and graphs with given number of cut edges, respectively.
A Baxter class of a different kind, and other bijective results using tableau sequences ending with a row shape
Published
• View Publication
• BIB
Tableau sequences of bounded height have been central to the analysis of k-noncrossing set partitions and matchings. We show here that familes of sequences that end with a row shape are particularly compelling and lead to some interesting connections. First, we prove that hesitating tableaux of height at most two ending with a row shape are counted by Baxter numbers. This permits us to define three new Baxter classes which, remarkably, do not obviously possess the antipodal symmetry of other known Baxter classes. We then conjecture that oscillating tableau of height bounded by k ending in a row are in bijection with Young tableaux of bounded height 2k. We prove this conjecture for k at most eight by a generating function analysis. Many of our proofs are analytic in nature, so there are intriguing combinatorial bijections to be found.
Continuous anti-forcing spectra of cata-condensed hexagonal systems
Published
• View Publication
• BIB
The anti-forcing number of a perfect matching $M$ of a graph $G$ is the minimal number of edges not in $M$ whose removal make $M$ as a unique perfect matching of the resulting graph. The anti-forcing spectrum of $G$ is the set of anti-forcing numbers of all perfect matchings of $G$. In this paper we prove that the anti-forcing spectrum of any cata-condensed hexagonal system is continuous, that is, it is an integer interval.
Ordered Ramsey numbers of loose paths and matchings
Published
• View Publication
• BIB
For a $k$-uniform hypergraph $G$ with vertex set $\{1,\ldots,n\}$, the ordered Ramsey number $\operatorname{OR}_t(G)$ is the least integer $N$ such that every $t$-coloring of the edges of the complete $k$-uniform graph on vertex set $\{1,\ldots,N\}$ contains a monochromatic copy of $G$ whose vertices follow the prescribed order. Due to this added order restriction, the ordered Ramsey numbers can be much larger than the usual graph Ramsey numbers. We determine that the ordered Ramsey numbers of loose paths under a monotone order grows as a tower of height one less than the maximum degree. We also extend theorems of Conlon, Fox, Lee, and Sudakov [Ordered Ramsey numbers, arXiv:1410.5292] on the ordered Ramsey numbers of 2-uniform matchings to provide upper bounds on the ordered Ramsey number of $k$-uniform matchings under certain orderings.
Space proof complexity for random $3$-CNFs via a $(2-ε)$-Hall's Theorem
We investigate the space complexity of refuting $3$-CNFs in Resolution and algebraic systems. No lower bound for refuting any family of $3$-CNFs was previously known for the total space in resolution or for the monomial space in algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random $3$-CNF $φ$ in $n$ variables requires, with high probability, $Ω(n/\log n)$ distinct monomials to be kept simultaneously in memory. The same construction also proves that every Resolution refutation $φ$ requires, with high probability, $Ω(n/\log n)$ clauses each of width $Ω(n/\log n)$ to be kept at the same time in memory. This gives a $Ω(n^2/\log^2 n)$ lower bound for the total space needed in Resolution to refute $φ$.
The main technical innovation is a variant of Hall's theorem. We show that in bipartite graphs $G$ with bipartition $(L,R)$ and left-degree at most 3, $L$ can be covered by certain families of disjoint paths, called $(2,4)$-matchings, provided that $L$ expands in $R$ by a factor of $(2-ε)$, for $ε< \frac{1}{23}$.
An exact characterization of tractable demand patterns for maximum disjoint path problems
Published
• View Publication
• BIB
We study the following general disjoint paths problem: given a supply graph $G$, a set $T\subseteq V(G)$ of terminals, a demand graph $H$ on the vertices $T$, and an integer $k$, the task is to find a set of $k$ pairwise vertex-disjoint valid paths, where we say that a path of the supply graph $G$ is valid if its endpoints are in $T$ and adjacent in the demand graph $H$. For a class $\mathcal{H}$ of graphs, we denote by $\mathcal{H}$-Maximum Disjoint Paths the restriction of this problem when the demand graph $H$ is assumed to be a member of $\mathcal{H}$. We study the fixed-parameter tractability of this family of problems, parameterized by $k$. Our main result is a complete characterization of the fixed-parameter tractable cases of $\mathcal{H}$-Maximum Disjoint Paths for every hereditary class $\mathcal{H}$ of graphs: it turns out that complexity depends on the existence of large induced matchings and large induced skew bicliques in the demand graph $H$ (a skew biclique is a bipartite graph on vertices $a_1$, $\dots$, $a_n$, $b_1$, $\dots$, $b_n$ with $a_i$ and $b_j$ being adjacent if and only if $i\le j$). Specifically, we prove the following classification for every hereditary class $\mathcal{H}$.
1. If $\mathcal{H}$ does not contain every matching and does not contain every skew biclique, then $\mathcal{H}$-Maximum Disjoint Paths is FPT.
2. If $\mathcal{H}$ does not contain every matching, but contains every skew biclique, then $\mathcal{H}$-Maximum Disjoint Paths is W[1]-hard, admits an FPT approximation, and the valid paths satisfy an analog of the Erdős-Pósa property.
3. If $\mathcal{H}$ contains every matching, then $\mathcal{H}$-Maximum Disjoint Paths is W[1]-hard and the valid paths do not satisfy the analog of the Erdős-Pósa property.
Combinatorics and algorithms for augmenting graphs
Published
• View Publication
• BIB
The notion of augmenting graphs generalizes Berge's idea of augmenting chains, which was used by Edmonds in his celebrated solution of the maximum matching problem. This problem is a special case of the more general maximum independent set (MIS) problem. Recently, the augmenting graph approach has been successfully applied to solve MIS in various other special cases. However, our knowledge of augmenting graphs is still very limited, and we do not even know what the minimal infinite classes of augmenting graphs are. In the present paper, we find an answer to this question and apply it to extend the area of polynomial-time solvability of the maximum independent set problem.
Dimer-monomer Model on the Towers of Hanoi Graphs
Published
• View Publication
• BIB
The number of dimer-monomers (matchings) of a graph $G$ is an important graph parameter in statistical physics. Following recent research, we study the asymptotic behavior of the number of dimer-monomers $m(G)$ on the Towers of Hanoi graphs and another variation of the Sierpiński graphs which is similar to the Towers of Hanoi graphs, and derive the recursion relations for the numbers of dimer-monomers. Upper and lower bounds for the entropy per site, defined as $μ_{G}=\lim_{v(G)\rightarrow\infty}\frac{\ln m(G)}{v(G)}$, where $v(G)$ is the number of vertices in a graph $G$, on these Sierpiński graphs are derived in terms of the numbers at a certain stage. As the difference between these bounds converges quickly to zero as the calculated stage increases, the numerical value of the entropy can be evaluated with more than a hundred significant figures accuracy.
Discrepancy properties for random regular digraphs
Published
• View Publication
• BIB
For the uniform random regular directed graph we prove concentration inequalities for (1) codegrees and (2) the number of edges passing from one set of vertices to another. As a consequence, we can deduce discrepancy properties for the distribution of edges essentially matching results for Erdős-Rényi digraphs obtained from Chernoff-type bounds. The proofs make use of the method of exchangeable pairs, developed for concentration of measure by Chatterjee. Exchangeable pairs are constructed using two involutions on the set of regular digraphs: a well-known "simple switching" operation, as well as a novel "reflection" operation.
Ordered Ramsey numbers
Published
• View Publication
• BIB
Given a labeled graph $H$ with vertex set $\{1, 2,\ldots,n\}$, the ordered Ramsey number $r_<(H)$ is the minimum $N$ such that every two-coloring of the edges of the complete graph on $\{1, 2, \ldots,N\}$ contains a copy of $H$ with vertices appearing in the same order as in $H$. The ordered Ramsey number of a labeled graph $H$ is at least the Ramsey number $r(H)$ and the two coincide for complete graphs. However, we prove that even for matchings there are labelings where the ordered Ramsey number is superpolynomial in the number of vertices. Among other results, we also prove a general upper bound on ordered Ramsey numbers which implies that there exists a constant $c$ such that $r_<(H) \leq r(H)^{c \log^2 n}$ for any labeled graph $H$ on vertex set $\{1,2, \dots, n\}$.
Computing the partition function for graph homomorphisms with multiplicities
Published
• View Publication
• BIB
We consider a refinement of the partition function of graph homomorphisms and present a quasi-polynomial algorithm to compute it in a certain domain. As a corollary, we obtain quasi-polynomial algorithms for computing partition functions for independent sets, perfect matchings, Hamiltonian cycles and dense subgraphs in graphs as well as for graph colorings. This allows us to tell apart in quasi-polynomial time graphs that are sufficiently far from having a structure of a given type (i.e., independent set of a given size, Hamiltonian cycle, etc.) from graphs that have sufficiently many structures of that type, even when the probability to hit such a structure at random is exponentially small.
The maximum forcing number of polyomino
The forcing number of a perfect matching $M$ of a graph $G$ is the cardinality of the smallest subset of $M$ that is contained in no other perfect matchings of $G$. For a planar embedding of a 2-connected bipartite planar graph $G$ which has a perfect matching, the concept of Clar number of hexagonal system had been extended by Abeledo and Atkinson as follows: a spanning subgraph $C$ of is called a Clar cover of $G$ if each of its components is either an even face or an edge, the maximum number of even faces in Clar covers of $G$ is called Clar number of $G$, and the Clar cover with the maximum number of even faces is called the maximum Clar cover. It was proved that if $G$ is a hexagonal system with a perfect matching $M$ and $K'$ is a set of hexagons in a maximum Clar cover of $G$, then $G-K'$ has a unique 1-factor. Using this result, Xu {\it et. at.} proved that the maximum forcing number of the elementary hexagonal system are equal to their Clar numbers, and then the maximum forcing number of the elementary hexagonal system can be computed in polynomial time. In this paper, we show that an elementary polyomino has a unique perfect matching when removing the set of tetragons from its maximum Clar cover. Thus the maximum forcing number of elementary polyomino equals to its Clar number and can be computed in polynomial time. Also, we have extended our result to the non-elementary polyomino and hexagonal system.
Matchings in metric spaces, the dual problem and calibrations modulo 2
We show that for a metric space with an even number of points there is a 1-Lipschitz map to a tree-like space with the same matching number. This result gives the first basic version of an unoriented Kantorovich duality. The study of the duality gives a version of global calibrations for 1-chains with coefficients in $\mathbb Z_2$. Finally we extend the results to infinite metric spaces and present a notion of "matching dimension" which arises naturally.
On Searching Zimin Patterns
Published in Theoretical Computer Science, Vol. 571 (2015), 50-57
• View Publication
• BIB
In the area of pattern avoidability the central role is played by special words called Zimin patterns. The symbols of these patterns are treated as variables and the rank of the pattern is its number of variables. Zimin type of a word $x$ is introduced here as the maximum rank of a Zimin pattern matching $x$. We show how to compute Zimin type of a word on-line in linear time. Consequently we get a quadratic time, linear-space algorithm for searching Zimin patterns in words. Then we how the Zimin type of the length $n$ prefix of the infinite Fibonacci word is related to the representation of $n$ in the Fibonacci numeration system. Using this relation, we prove that Zimin types of such prefixes and Zimin patterns inside them can be found in logarithmic time. Finally, we give some bounds on the function $f(n,k)$ such that every $k$-ary word of length at least $f(n,k)$ has a factor that matches the rank $n$ Zimin pattern.
On the number of $r$-matchings in a Tree
Published
• View Publication
• BIB
An $r$-matching in a graph $G$ is a collection of edges in $G$ such that the distance between any two edges is at least $r$. A $2$-matching is also called an induced matching. In this paper, we estimate the maximum number of $r$-matchings in a tree of fixed order. We also prove that the $n$-vertex path has the maximum number of induced matchings among all $n$-vertex trees.
On spectral properties for graph matching and graph isomorphism problems
Published
• View Publication
• BIB
Problems related to graph matching and isomorphisms are very important both from a theoretical and practical perspective, with applications ranging from image and video analysis to biological and biomedical problems. The graph matching problem is challenging from a computational point of view, and therefore different relaxations are commonly used. Although common relaxations techniques tend to work well for matching perfectly isomorphic graphs, it is not yet fully understood under which conditions the relaxed problem is guaranteed to obtain the correct answer.
In this paper we prove that the graph matching problem and its most common convex relaxation, where the matching domain of permutation matrices is substituted with its convex hull of doubly-stochastic matrices, are equivalent for a certain class of graphs, such equivalence being based on spectral properties of the corresponding adjacency matrices. We also derive results about the automorphism group of a graph, and provide fundamental spectral properties of the adjacency matrix.
Decision problem for Perfect Matchings in Dense k-uniform Hypergraphs
Published
• View Publication
• BIB
For any $γ>0$, Keevash, Knox and Mycroft constructed a polynomial-time algorithm to determine the existence of perfect matchings in any $n$-vertex $k$-uniform hypergraph whose minimum codegree is at least $n/k+γn$. We prove a structure theorem that enables us to determine the existence of a perfect matching for any $k$-uniform hypergraph with minimum codegree at least $n/k$. This solves a problem of Karpiński, Ruciński and Szymańska completely. Our proof uses a lattice-based absorbing method.
Bounds for the positive or negative inertia index of a graph
Published in Linear Algebra and its Applications, 2017, 522: 15-27
• View Publication
• BIB
Let $G$ be a graph and let $A(G)$ be adjacency matrix of $G$.The positive inertia index (respectively, the negative inertia index) of $G$, denoted by $p(G)$ (respectively, $n(G)$), is defined to be the number of positive eigenvalues (respectively, negative eigenvalues) of $A(G)$. In this paper, we present the bounds for $p(G)$ and $n(G)$ as follows:
$$m(G)-c(G)\leq p(G)\leq m(G)+c(G), \ m(G)-c(G)\leq n(G)\leq m(G)+c(G),$$
where $m(G)$ and $c(G)$ are respectively the matching number and the cyclomatic number of $G$. Furthermore, we characterize the graphs which attain the upper bounds or the lower bounds respectively.
Intersecting extremal constructions in Ryser's Conjecture for r-partite hypergraphs
Ryser's Conjecture states that for any $r$-partite $r$-uniform hypergraph the vertex cover number is at most $r-1$ times the matching number. This conjecture is only known to be true for $r\leq 3$. For intersecting hypergraphs, Ryser's Conjecture reduces to saying that the edges of every $r$-partite intersecting hypergraph can be covered by $r-1$ vertices. This special case of the conjecture has only been proven for $r \leq 5$.
It is interesting to study hypergraphs which are extremal in Ryser's Conjecture i.e, those hypergraphs for which the vertex cover number is exactly $r-1$ times the matching number. There are very few known constructions of such graphs. For large $r$ the only known constructions come from projective planes and exist only when $r-1$ is a prime power. Mansour, Song and Yuster studied how few edges a hypergraph which is extremal for Ryser's Conjecture can have. They defined $f(r)$ as the minimum integer so that there exist an $r$-partite intersecting hypergraph $\mathcal{H}$ with $τ({\mathcal{H}}) = r -1$ and with $f(r)$ edges. They showed that $f(3) = 3, f(4) = 6$, $f(5) = 9$, and $12\leq f(6)\leq 15$.
In this paper we focus on the cases when $r=6$ and 7. We show that $f(6)=13$ improving previous bounds. We also show that $f(7)\leq 22$, giving the first known extremal hypergraphs for the $r=7$ case of Ryser's Conjecture. These results have been obtained independently by Aharoni, Barat, and Wanless.