matching
3168 papers tagged with this keyword
Regularity of symbolic powers of edge ideals of Cameron-Walker graphs
Published
• View Publication
• BIB
A Cameron-Walker graph is a graph for which the matching number and the induced matching number are the same. Assume that $G$ is a Cameron-Walker graph with edge ideal $I(G)$, and let $\ind-match(G)$ be the induced matching number of $G$. It is shown that for every integer $s\geq 1$, we have the equality ${\rm reg}(I(G)^{(s)})=2s+\ind-match(G)-1$, where $I(G)^{(s)}$ denotes the $s$-th symbolic power of $I(G)$.
Paired domination and 2- distance Paired domination of the flower graph $f_{n\times m}$
Let $G = (V, E)$ be a graph without an isolated vertex. A set $D\subseteq V(G)$ is a $k$-distance paired domination set of $G$ if $D$ is a $k$-distance dominating set of $G$ and the induced subgraph $\langle D \rangle$ has a perfect matching. The minimum cardinality of a $k$-distance paired dominating set for graph $G$ is the $k$-distance paired domination number, denoted by $γ_{p} ^{k}(G)$. In this paper, the $k$-distance paired domination of the flower graph $f_{n\times m}$ is discussed. For $m,n\geq 3$, the exact values for paired domination number and $2$-distance paired domination number of flower graph $f_{n\times m}$ are determined
Determining the Hausdorff Distance Between Trees in Polynomial Time
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Discrete Algorithms (August 19, 2021) dmtcs:6952
• View Publication
• BIB
The Hausdorff distance is a relatively new measure of similarity of graphs. The notion of the Hausdorff distance considers a special kind of a common subgraph of the compared graphs and depends on the structural properties outside of the common subgraph. There was no known efficient algorithm for the problem of determining the Hausdorff distance between two trees, and in this paper we present a polynomial-time algorithm for it. The algorithm is recursive and it utilizes the divide and conquer technique. As a subtask it also uses the procedure that is based on the well known graph algorithm of finding the maximum bipartite matching.
Minimal bricks
Published in J. Combin. Theory Ser. B 96 (2006), 505-513
• View Publication
• BIB
A brick is a 3-connected graph such that the graph obtained from it by deleting any two distinct vertices has a perfect matching. A brick is minimal if for every edge e the deletion of e results in a graph that is not a brick. We prove a generation theorem for minimal bricks and two corollaries: (1) for n>4, every minimal brick on 2n vertices has at most 5n-7 edges, and (2) every minimal brick has at least three vertices of degree three.
On the spectral radii of the unicyclic hypergraphs with fixed matching number
Published
• View Publication
• BIB
We determine the unique hypergraphs with maximum spectral radius among all connected $k$-uniform ($k\geq 3$) unicyclic hypergraphs with matching number at least $z$, and among all connected $k$-uniform ($k\geq 3$) unicyclic hypergraphs with a given matching number, respectively.
Structural Parameterization for Graph Deletion Problems over Data Streams
Published
• View Publication
• BIB
The study of parameterized streaming complexity on graph problems was initiated by Fafianie et al. (MFCS'14) and Chitnis et al. (SODA'15 and SODA'16). Simply put, the main goal is to design streaming algorithms for parameterized problems such that $O\left(f(k)\log^{O(1)}n\right)$ space is enough, where $f$ is an arbitrary computable function depending only on the parameter $k$. However, in the past few years, very few positive results have been established. Most of the graph problems that do have streaming algorithms of the above nature are ones where localized checking is required, like Vertex Cover or Maximum Matching parameterized by the size $k$ of the solution we are seeking. Many important parameterized problems that form the backbone of traditional parameterized complexity are known to require $Ω(n)$ bits for any streaming algorithm; e.g., Feedback Vertex Set, Even/Odd Cycle Transversal, Triangle Deletion or the more general ${\cal F}$-Subgraph Deletion when parameterized by solution size $k$.
Our main conceptual contribution is to overcome the obstacles to efficient parameterized streaming algorithms by utilizing the power of parameterization. To the best of our knowledge, this is the first work in parameterized streaming complexity that considers structural parameters instead of the solution size as a parameter. We focus on the vertex cover size $K$ as the parameter for the parameterized graph deletion problems we consider. At the same time, most of the previous work in parameterized streaming complexity was restricted to the EA (edge arrival) or DEA (dynamic edge arrival) models. In this work, we consider the above mentioned graph deletion problems in the four most well-studied streaming models, i.e., the EA, DEA, VA (vertex arrival) and AL (adjacency list) models.
Perfect matchings and derangements on graphs
Published
• View Publication
• BIB
We show that each perfect matching in a bipartite graph $G$ intersects at least half of the perfect matchings in $G$. This result has equivalent formulations in terms of the permanent of the adjacency matrix of a graph, and in terms of derangements and permutations on graphs. We give several related results and open questions.
The Kőnig Graph Process
Say that a graph G has property $\mathcal{K}$ if the size of its maximum matching is equal to the order of a minimal vertex cover. We study the following process. Set $N:= \binom{n}{2}$ and let $e_1, e_2, \dots e_{N}$ be a uniformly random ordering of the edges of $K_n$, with $n$ an even integer. Let $G_0$ be the empty graph on $n$ vertices. For $m \geq 0$, $G_{m+1}$ is obtained from $G_m$ by adding the edge $e_{m+1}$ exactly if $G_m \cup \{ e_{m+1}\}$ has property $\mathcal{K}$. We analyse the behaviour of this process, focusing mainly on two questions: What can be said about the structure of $G_N$ and for which $m$ will $G_m$ contain a perfect matching?
Finding a Shortest Non-zero Path in Group-Labeled Graphs
Published
• View Publication
• BIB
We study a constrained shortest path problem in group-labeled graphs with nonnegative edge length, called the shortest non-zero path problem. Depending on the group in question, this problem includes two types of tractable variants in undirected graphs: one is the parity-constrained shortest path/cycle problem, and the other is computing a shortest noncontractible cycle in surface-embedded graphs.
For the shortest non-zero path problem with respect to finite abelian groups, Kobayashi and Toyooka (2017) proposed a randomized, pseudopolynomial-time algorithm via permanent computation. For a slightly more general class of groups, Yamaguchi (2016) showed a reduction of the problem to the weighted linear matroid parity problem. In particular, some cases are solved in strongly polynomial time via the reduction with the aid of a deterministic, polynomial-time algorithm for the weighted linear matroid parity problem developed by Iwata and Kobayashi (2021), which generalizes a well-known fact that the parity-constrained shortest path problem is solved via weighted matching.
In this paper, as the first general solution independent of the group, we present a rather simple, deterministic, and strongly polynomial-time algorithm for the shortest non-zero path problem. The algorithm is based on Dijkstra's algorithm for the unconstrained shortest path problem and Edmonds' blossom shrinking technique in matching algorithms; this approach is inspired by Derigs' faster algorithm (1985) for the parity-constrained shortest path problem via a reduction to weighted matching. Furthermore, we improve our algorithm so that it does not require explicit blossom shrinking, and make the computational time match Derigs' one. In the speeding-up step, a dual linear programming formulation of the equivalent problem based on potential maximization for the unconstrained shortest path problem plays a key role.
Extremal problems for convex geometric hypergraphs and ordered hypergraphs
An ordered hypergraph is a hypergraph whose vertex set is linearly ordered, and a convex geometric hypergraph is a hypergraph whose vertex set is cyclically ordered. Extremal problems for ordered and convex geometric graphs have a rich history with applications to a variety of problems in combinatorial geometry. In this paper, we consider analogous extremal problems for uniform hypergraphs, and determine the order of magnitude of the extremal function for various ordered and convex geometric paths and matchings. Our results generalize earlier works of Braß-Károlyi-Valtr, Capoyleas-Pach and Aronov-Dujmovič-Morin-Ooms-da Silveira. We also provide a new generalization of the Erd\H os-Ko-Rado theorem in the ordered setting.
Manifold Matching Complexes
The matching complex of a graph is the simplicial complex whose vertex set is the set of edges of the graph with a face for each independent set of edges. In this paper we completely characterize the pairs (graph, matching complex) for which the matching complex is a homology manifold, with or without boundary. Except in dimension two, all of these manifolds are sphere or balls.
Generating Functions for Domino Matchings in the $2\times k$ Game of Memory
Published in Journal of Integer Sequences, Vol. 22 (2019), Article 19.8.7
• Search Publication
When all the elements of the multiset $\{1,1,2,2,3,3,\ldots,k,k\}$ are placed in the cells of a $2\times k$ rectangular array, in how many configurations are exactly $v$ of the pairs directly over top one another, and exactly $h$ directly beside one another --- thus forming $2\times 1$ or $1\times 2$ dominoes? We consider the sum of matching numbers over the graphs obtained by deleting $h$ horizontal and $v$ vertical vertex pairs from the $2\times k$ grid graph in all possible ways, providing a generating function for these aggregate matching polynomials. We use this result to derive a formal generating function enumerating the domino matchings, making connections with linear chord diagrams.
Bounding and approximating minimum maximal matchings in regular graphs
The edge domination number $γ_e(G)$ of a graph $G$ is the minimum size of a maximal matching in $G$. It is well known that this parameter is computationally very hard, and several approximation algorithms and heuristics have been studied. In the present paper, we provide best possible upper bounds on $γ_e(G)$ for regular and non-regular graphs $G$ in terms of their order and maximum degree. Furthermore, we discuss algorithmic consequences of our results and their constructive proofs.
Matching complexes of trees and applications of the matching tree algorithm
A matching complex of a simple graph $G$ is a simplicial complex with faces given by the matchings of $G$. The topology of matching complexes is mysterious; there are few graphs for which the homotopy type is known. Marietti and Testa showed that matching complexes of forests are contractible or homotopy equivalent to a wedge of spheres. We study two specific families of trees. For caterpillar graphs, we give explicit formulas for the number of spheres in each dimension and for perfect binary trees we find a strict connectivity bound. We also use a tool from discrete Morse theory called the \textit{Matching Tree Algorithm} to study the connectivity of honeycomb graphs, partially answering a question raised by Jonsson.
On the Critical Difference of Almost Bipartite Graphs
A set $S\subseteq V$ is \textit{independent} in a graph $G=\left( V,E\right) $ if no two vertices from $S$ are adjacent. The \textit{independence number} $α(G)$ is the cardinality of a maximum independent set, while $μ(G)$ is the size of a maximum matching in $G$. If $α(G)+μ(G)$ equals the order of $G$, then $G$ is called a \textit{König-Egerváry graph }\cite{dem,ster}. The number $d\left( G\right) =\max\{\left\vert A\right\vert -\left\vert N\left( A\right) \right\vert :A\subseteq V\}$ is called the \textit{critical difference} of $G$ \cite{Zhang} (where $N\left( A\right) =\left\{ v:v\in V,N\left( v\right) \cap A\neq\emptyset\right\} $). It is known that $α(G)-μ(G)\leq d\left( G\right) $ holds for every graph \cite{Levman2011a,Lorentzen1966,Schrijver2003}. In \cite{LevMan5} it was shown that $d(G)=α(G)-μ(G)$ is true for every König-Egerváry graph.
A graph $G$ is \textit{(i)} \textit{unicyclic} if it has a unique cycle, \textit{(ii)} \textit{almost bipartite} if it has only one odd cycle. It was conjectured in \cite{LevMan2012a,LevMan2013a} and validated in \cite{Bhattacharya2018} that $d(G)=α(G)-μ(G)$ holds for every unicyclic non-König-Egerváry graph $G$.
In this paper we prove that if $G$ is an almost bipartite graph of order $n\left( G\right) $, then $α(G)+μ(G)\in\left\{ n\left( G\right) -1,n\left( G\right) \right\} $. Moreover, for each of these two values, we characterize the corresponding graphs. Further, using these findings, we show that the critical difference of an almost bipartite graph $G$ satisfies \[ d(G)=α(G)-μ(G)=\left\vert \mathrm{core}(G)\right\vert -\left\vert N(\mathrm{core}(G))\right\vert , \] where by \textrm{core}$\left( G\right) $ we mean the intersection of all maximum independent sets.
On characterizing the critical graphs for matching Ramsey numbers
Given simple graphs $H_{1},H_{2},\ldots,H_{c}$, the Ramsey number $r(H_{1},H_{2},\ldots,H_{c})$ is the smallest positive integer $n$ such that every edge-colored $K_{n}$ with $c$ colors contains a subgraph in color $i$ isomorphic to $H_{i}$ for some $i\in\{1,2,\ldots,c\}$. The critical graphs for $r(H_1,H_2,\ldots,H_c)$ are edge-colored complete graphs on $r(H_1,H_2,\ldots,H_c)-1$ vertices with $c$ colors which contain no subgraphs in color $i$ isomorphic to $H_{i}$ for any $i\in \{1,2,\ldots,c\}$. For $n_1\geq n_2\geq \ldots\geq n_c\geq 1$, Cockayne and Lorimer (The Ramsey number for stripes, {\it J.\ Austral.\ Math.\ Soc.} \textbf{19} (1975), 252--256.) showed that $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})=n_{1}+1+ \sum\limits_{i=1}^c(n_{i}-1)$, in which $n_{i}K_{2}$ is a matching of size $n_{i}$. Using the Gallai-Edmonds Theorem, we characterized all the critical graphs for $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})$, implying a new proof for this Ramsey number.
An Optimal Monotone Contention Resolution Scheme for Bipartite Matchings via a Polyhedral Viewpoint
Relaxation and rounding approaches became a standard and extremely versatile tool for constrained submodular function maximization. One of the most common rounding techniques in this context are contention resolution schemes. Such schemes round a fractional point by first rounding each coordinate independently, and then dropping some elements to reach a feasible set. Also the second step, where elements are dropped, is typically randomized. This leads to an additional source of randomization within the procedure, which can complicate the analysis. We suggest a different, polyhedral viewpoint to design contention resolution schemes, which avoids to deal explicitly with the randomization in the second step. This is achieved by focusing on the marginals of a dropping procedure. Apart from avoiding one source of randomization, our viewpoint allows for employing polyhedral techniques. Both can significantly simplify the construction and analysis of contention resolution schemes. We show how, through our framework, one can obtain an optimal monotone contention resolution scheme for bipartite matchings. So far, only very few results are known about optimality of monotone contention resolution schemes. Our contention resolution scheme for the bipartite case also improves the lower bound on the correlation gap for bipartite matchings. Furthermore, we derive a monotone contention resolution scheme for matchings that significantly improves over the previously best one. At the same time, our scheme implies that the currently best lower bound on the correlation gap for matchings is not tight. Our results lead to improved approximation factors for various constrained submodular function maximization problems over a combination of matching constraints with further constraints.
Variations on the Petersen colouring conjecture
Published in The Electronic Journal of Combinatorics, 27(1), P1.8, 2020
• View Publication
• BIB
The Petersen colouring conjecture states that every bridgeless cubic graph admits an edge-colouring with $5$ colours such that for every edge $e$, the set of colours assigned to the edges adjacent to $e$ has cardinality either $2$ or $4$, but not $3$. We prove that every bridgeless cubic graph $G$ admits an edge-colouring with $4$ colours such that at most $\frac45\cdot|V(G)|$ edges do not satisfy the above condition. This bound is tight and the Petersen graph is the only connected graph for which the bound cannot be decreased. We obtain such a $4$-edge-colouring by using a carefully chosen subset of edges of a perfect matching, and the analysis relies on a simple discharging procedure with essentially no reductions and very few rules.
A Structure-Tensor Approach to Integer Matrix Completion with Applications to Differentiated Energy Services
Efficient resource allocation is one of the main driving forces of human civilizations. Of the many existing approaches to resource allocation, matrix completion is one that is frequently applied. In this paper, we investigate a special type of matrix completion problem concerning the class of $(0,1)$-matrices with given row/column sums and certain zeros prespecified. We provide a necessary and sufficient condition under which such a class is nonempty. The condition is stated in the form of the nonnegativity of a structure tensor constructed from the information regarding the given row/column sums and fixed zeros. Moreover, we show that a more general matrix completion problem can be studied in a similar manner, namely that involving the class of nonnegative integer matrices with prescribed row/column sums, predetermined zeros, and different bounds across the rows. To illustrate the utility of our results, we apply them to demand response applications in smart grids. Specifically, we address two adequacy problems in differentiated energy services, namely, the problems of supply/demand matching and minimum purchase profile.
$b$-invariant edges in essentially 4-edge-connected near-bipartite cubic bricks
A {\em brick} is a non-bipartite matching covered graph without non-trivial tight cuts. Bricks are building blocks of matching covered graphs. We say that an edge $e$ in a brick $G$ is {\em $b$-invariant} if $G-e$ is matching covered and a tight cut decomposition of $G-e$ contains exactly one brick. A 2-edge-connected cubic graph is {\em essentially 4-edge-connected} if it does not contain nontrivial 3-cuts. A brick $G$ is {\em near-bipartite} if it has a pair of edges $\{e_1, e_2\}$ such that $G-\{e_1,e_2\}$ is bipartite and matching covered.
Kothari, de Carvalho, Lucchesi and Little proved that each essentially 4-edge-connected cubic non-near-bipartite brick $G$, distinct from the Petersen graph, has at least $|V(G)|$ $b$-invariant edges. Moreover, they made a conjecture: every essentially 4-edge-connected cubic near-bipartite brick $G$, distinct from $K_4$, has at least $|V(G)|/2$ $b$-invariant edges. We confirm the conjecture in this paper. Furthermore, all the essentially 4-edge-connected cubic near-bipartite bricks, the numbers of $b$-invariant edges of which attain the lower bound, are presented.