matching
3278 papers tagged with this keyword
Decomposition of planar graphs with forbidden configurations
Published in Discrete Applied Mathematics, 331 (2023) 147-158
• View Publication
• BIB
A $(d,h)$-decomposition of a graph $G$ is an ordered pair $(D, H)$ such that $H$ is a subgraph of $G$ of maximum degree at most $h$ and $D$ is an acyclic orientation of $G-E(H)$ with maximum out-degree at most $d$. In this paper, we prove that for $l \in \{5, 6, 7, 8, 9\}$, every planar graph without $4$- and $l$-cycles is $(2,1)$-decomposable. As a consequence, for every planar graph $G$ without $4$- and $l$-cycles, there exists a matching $M$, such that $G - M$ is $3$-DP-colorable and has Alon-Tarsi number at most $3$. In particular, $G$ is $1$-defective $3$-DP-colorable, $1$-defective $3$-paintable and 1-defective 3-choosable. These strengthen the results in [Discrete Appl. Math. 157~(2) (2009) 433--436] and [Discrete Math. 343 (2020) 111797].
Convex characters, algorithms and matchings
Published
• View Publication
• BIB
Phylogenetic trees are used to model evolution: leaves are labelled to represent contemporary species ("taxa") and interior vertices represent extinct ancestors. Informally, convex characters are measurements on the contemporary species in which the subset of species (both contemporary and extinct) that share a given state, form a connected subtree. In \cite{KelkS17} it was shown how to efficiently count, list and sample certain restricted subfamilies of convex characters, and algorithmic applications were given. We continue this work in a number of directions. First, we show how combining the enumeration of convex characters with existing parameterised algorithms can be used to speed up exponential-time algorithms for the \emph{maximum agreement forest problem} in phylogenetics. Second, we re-visit the quantity $g_2(T)$, defined as the number of convex characters on $T$ in which each state appears on at least 2 taxa. We use this to give an algorithm with running time $O( φ^{n} \cdot \text{poly}(n) )$, where $φ\approx 1.6181$ is the golden ratio and $n$ is the number of taxa in the input trees, for computation of \emph{maximum parsimony distance on two state characters}. By further restricting the characters counted by $g_2(T)$ we open an interesting bridge to the literature on enumeration of matchings. By crossing this bridge we improve the running time of the aforementioned parsimony distance algorithm to $O( 1.5895^{n} \cdot \text{poly}(n) )$, and obtain a number of new results in themselves relevant to enumeration of matchings on at-most binary trees.
A note on Matching-Cut in $P_t$-free Graphs
Published
• View Publication
• BIB
A matching-cut of a graph is an edge cut that is a matching. The problem Matching-Cut is that of recognizing graphs with a matching-cut and is NP-complete, even if the graph belongs to one of a number of classes. We initiate the study of Matching-Cut for graphs without a fixed path as an induced subgraph. We show that Matching-Cut is in P for $P_5$-free graphs, but that there exists an integer $t > 0$ for which it is NP-complete for $P_{t}$-free graphs.
Maximum first Zagreb index of orientations of unicyclic graphs with given matching number
Published
• View Publication
• BIB
Let $D=(V,A)$ be a digraphs without isolated vertices. The first Zagreb index of a digraph $D$ defined as a summation over all arcs, $M_1(D)=\frac{1}{2}\sum\limits_{uv\in A}(d^{+}_{u}+d^{-}_v)$, where $d^{+}_u$(resp. $d^{-}_u$) denotes the out-degree (resp. in-degree) of the vertex $u$. In this paper, we give the maximal values and maximal digraphs of first Zagreb index over the set of all orientations of unicyclic graphs with $n$ vertices and matching number $m$ $(2\leq m\leq \lfloor \frac{n}{2}\rfloor)$.
A quotient of Fomin-Kirillov Algebra and q-Lucas polynomial
Published
• View Publication
• BIB
We introduce a quotient of Fomin-Kirillov algebra $FK(n)$ denoted $\overline{FK}_{C_n}(n)$, over the ideal generated by the edges of a complete graph on n vertexes that are missing in the $n$-cycle graph $C_n$. For this quotient algebra $\overline{FK}_{C_n}(n)$, we show that the basis is in one-to-one correspondence with the set of matchings in an $n$-cycle graph. We also prove that the dimension of $\overline{FK}_{C_n}(n)$ equals the Lucas Number $L_n$ and its Hilbert series is $q$-Lucas polynomial. We find the character map of this quotient algebra over Dihedral group $D_n$.
The $n$-queens completion problem
Published
• View Publication
• BIB
An $n$-queens configuration is a placement of $n$ mutually non-attacking queens on an $n\times n$ chessboard. The $n$-queens completion problem, introduced by Nauck in 1850, is to decide whether a given partial configuration can be completed to an $n$-queens configuration. In this paper, we study an extremal aspect of this question, namely: how small must a partial configuration be so that a completion is always possible? We show that any placement of at most $n/60$ mutually non-attacking queens can be completed. We also provide partial configurations of roughly $n/4$ queens that cannot be completed, and formulate a number of interesting problems. Our proofs connect the queens problem to rainbow matchings in bipartite graphs and use probabilistic arguments together with linear programming duality.
The $r$-coloring and maximum stable set problem in hypergraphs with bounded matching number and edge size
Published in Discrete Mathematics, Volume 346, Issue 4, April 2023, 113342
• View Publication
• BIB
Motivated by the analogous questions in graphs, we study the complexity of coloring and stable set problems in hypergraphs with forbidden substructures and bounded edge size. Letting $ν(G)$ denote the maximum size of a matching in $H$, we obtain complete dichotomies for the complexity of the following problems parametrized by fixed $r, k, s \in \mathbb{N}$: $r$-Coloring in hypergraphs $G$ with edge size at most $k$ and $ν(G) \leq s$; $r$-Precoloring Extension in $k$-uniform hypergraphs $G$ with $ν(G) \leq s$; $r$-Precoloring Extension in hypergraphs $G$ with edge size at most $k$ and $ν(G) \leq s$; Maximum Stable Set in $k$-uniform hypergraphs $G$ with $ν(G) \leq s$; Maximum Weight Stable Set in $k$-uniform hypergraphs with $ν(G) \leq s$; as well as partial results for $r$-Coloring in $k$-uniform hypergraphs $ν(G) \leq s$.
We then turn our attention to $2$-Coloring in 3-uniform hypergraphs with forbidden induced subhypergraphs, and give a polynomial-time algorithm when restricting the input to hypergraphs excluding a fixed one-edge hypergraph. Finally, we consider linear 3-uniform hypergraphs (in which every two edges share at most one vertex), and show that excluding an induced matching in $G$ implies that $ν(G)$ is bounded by a constant; and that $3$-coloring linear $3$-uniform hypergraphs $G$ with $ν(G) \leq 532$ is NP-hard.
A lattice structure for ancestral configurations arising from the relationship between gene trees and species trees
Published
• View Publication
• BIB
To a given gene tree topology $G$ and species tree topology $S$ with leaves labeled bijectively from a fixed set $X$, one can associate a set of ancestral configurations, each of which encodes a set of gene lineages that can be found at a given node of the species tree. We introduce a lattice structure on ancestral configurations, studying the directed graphs that provide graphical representations of lattices of ancestral configurations. For a matching gene tree topology and species tree topology $G=S$, we present a method for defining the digraph of ancestral configurations from the tree topology by using iterated cartesian products of graphs. We show that a specific set of paths on the digraph of ancestral configurations is in bijection with the set of labeled histories -- a well-known phylogenetic object that enumerates possible temporal orderings of the coalescences of a tree. For each of a series of tree families, we obtain closed-form expressions for the number of labeled histories by using this bijection to count paths on associated digraphs. Finally, we prove that our lattice construction extends to nonmatching tree pairs, and we use it to characterize pairs $(G,S)$ having the maximal number of ancestral configurations for a fixed $G$. We discuss how the construction provides new methods for performing enumerations of combinatorial aspects of gene and species trees.
The geometry of geometries: matroid theory, old and new
Published
• View Publication
• BIB
The theory of matroids or combinatorial geometries originated in linear algebra and graph theory, and has deep connections with many other areas, including field theory, matching theory, submodular optimization, Lie combinatorics, and total positivity. Matroids capture the combinatorial essence that these different settings share. In recent years, the (classical, polyhedral, algebraic, and tropical) geometric roots of the field have grown much deeper, bearing new fruits. We survey some recent successes, stemming from three geometric models of a matroid: the matroid polytope, the Bergman fan, and the conormal fan.
On two graph isomorphism problems
In 2015, Bogdanowicz gave a necessary and sufficient condition for a 4-regular circulant graph to be isomorphic to the Cartesian product of two cycles. Accordion graphs, denoted by $A[n,k]$, are 4-regular graphs on two parameters $n$ and $k$ which were recently introduced by the authors and studied with regards to Hamiltonicity and matchings. These graphs can be obtained by a slight modification in some of the edges of the Cartesian product of two cycles. Motivated by the work of Bogdanowicz, the authors also determined for which values of $n$ and $k$ the accordion graph $A[n,k]$ is circulant. In this work we investigate what parameters a 4-regular circulant graph must have in order to be isomorphic to an accordion graph, thus providing a complete characterisation similar to that given by Bogdanowicz. We also give a necessary and sufficient condition for two accordion graphs with distinct parameters to be isomorphic.
Subgroup sum graphs of finite abelian groups
Published
• View Publication
• BIB
Let $G$ be a finite abelian group, written additively, and $H$ a subgroup of~$G$. The \emph{subgroup sum graph} $Γ_{G,H}$ is the graph with vertex set $G$, in which two distinct vertices $x$ and $y$ are joined if $x+y\in H\setminus\{0\}$. These graphs form a fairly large class of Cayley sum graphs. Among cases which have been considered previously are the \emph{prime sum graphs}, in the case where $H=pG$ for some prime number $p$. In this paper we present their structure and a detailed analysis of their properties. We also consider the simpler graph $Γ^+_{G,H}$, which we refer to as the \emph{extended subgroup sum graph}, in which $x$ and $y$ are joined if $x+y\in H$: the subgroup sum is obtained by removing from this graph the partial matching of edges having the form $\{x,-x\}$ when $2x\ne0$. We study perfectness, clique number and independence number, connectedness, diameter, spectrum, and domination number of these graphs and their complements. We interpret our general results in detail in the prime sum graphs.
Total dual dyadicness and dyadic generating sets
Published
• View Publication
• BIB
A vector is \emph{dyadic} if each of its entries is a dyadic rational number, i.e. of the form $\frac{a}{2^k}$ for some integers $a,k$ with $k\geq 0$. A linear system $Ax\leq b$ with integral data is \emph{totally dual dyadic} if whenever $\min\{b^\top y:A^\top y=w,y\geq {\bf 0}\}$ for $w$ integral, has an optimal solution, it has a dyadic optimal solution. In this paper, we study total dual dyadicness, and give a co-NP characterization of it in terms of \emph{dyadic generating sets for cones and subspaces}, the former being the dyadic analogue of \emph{Hilbert bases}, and the latter a polynomial-time recognizable relaxation of the former. Along the way, we see some surprising turn of events when compared to total dual integrality, primarily led by the \emph{density} of the dyadic rationals. Our study ultimately leads to a better understanding of total dual integrality and polyhedral integrality. We see examples from dyadic matrices, $T$-joins, cycles, and perfect matchings of a graph.
Graph Matching via Optimal Transport
The graph matching problem seeks to find an alignment between the nodes of two graphs that minimizes the number of adjacency disagreements. Solving the graph matching is increasingly important due to it's applications in operations research, computer vision, neuroscience, and more. However, current state-of-the-art algorithms are inefficient in matching very large graphs, though they produce good accuracy. The main computational bottleneck of these algorithms is the linear assignment problem, which must be solved at each iteration. In this paper, we leverage the recent advances in the field of optimal transport to replace the accepted use of linear assignment algorithms. We present GOAT, a modification to the state-of-the-art graph matching approximation algorithm "FAQ" (Vogelstein, 2015), replacing its linear sum assignment step with the "Lightspeed Optimal Transport" method of Cuturi (2013). The modification provides improvements to both speed and empirical matching accuracy. The effectiveness of the approach is demonstrated in matching graphs in simulated and real data examples.
Extremal Problem for Matchings and Rainbow Matchings on Direct Products
Published
• View Publication
• BIB
Let $n_1,\dots,n_\ell,k_1,\dots,k_\ell$ be integers and let $V_1,\dots,V_\ell$ be disjoint sets with $|V_i|=n_i$ for $i=1,\dots,\ell$. Define $\sqcup_{i=1}^\ell \binom{V_i}{k_i}$ as the collection of all subsets $F$ of $\cup_{i=1}^\ell V_i$ with $|F\cap V_i| =k_i$ for each $i=1,\dots,\ell$. In this paper, we show that if the matching number of $\mathcal{F}\subseteq \sqcup_{i=1}^\ell \binom{V_i}{k_i}$ is at most $s$ and $n_i\geq 4\ell^2 k_i^2s$ for all $i$, then $|\mathcal{F}| \leq \max_{1\leq i\leq \ell}[\binom{n_i}{k_i}-\binom{n_i-s}{k_i}]\prod_{j\neq i}\binom{n_j}{k_j}$. Let $\mathcal{F}_1,\mathcal{F}_2,\dots,\mathcal{F}_s\subseteq\sqcup_{i=1}^\ell \binom{V_i}{k_i}$ with $n_i\geq 8\ell^2k_i^2s$ for all $i$. We also prove that if $\mathcal{F}_1,\mathcal{F}_2,\dots,\mathcal{F}_s$ are rainbow matching free, then there exists $t$ in $[s]$ such that $|\mathcal{F}_t|\leq \max_{1\leq i\leq \ell}\left[\binom{n_i}{k_i}-\binom{n_i-s+1}{k_i}\right]\prod_{j\neq i}\binom{n_j}{k_j}.$
A survey on spectral conditions for some extremal graph problems
Published in Advances in Mathematics (China), 51 (2) (2022) 193-258
• View Publication
• BIB
This survey is two-fold. We first report new progress on the spectral extremal results on the Turán type problems in graph theory. More precisely, we shall summarize the spectral Turán function in terms of the adjacency spectral radius and the signless Laplacian spectral radius for various graphs. For instance, the complete graphs, general graphs with chromatic number at least three, complete bipartite graphs, odd cycles, even cycles, color-critical graphs and intersecting triangles. The second goal is to conclude some recent results of the spectral conditions on some graphical properties. By a unified method, we present some sufficient conditions based on the adjacency spectral radius and the signless Laplacian spectral radius for a graph to be Hamiltonian, $k$-Hamiltonian, $k$-edge-Hamiltonian, traceable, $k$-path-coverable, $k$-connected, $k$-edge-connected, Hamilton-connected, perfect matching and $β$-deficient.
Spectral radius and $[a,b]$-factors in graphs
Published
• View Publication
• BIB
An $[a,b]$-factor of a graph $G$ is a spanning subgraph $H$ such that $a\leq d_{H}(v)\leq b$ for each $v\in V(G)$. In this paper, we provide spectral conditions for the existence of an odd $[1,b]$-factor in a connected graph with minimum degree $δ$ and the existence of an $[a,b]$-factor in a graph, respectively. Our results generalize and improve some previous results on perfect matchings of graphs. For $a=1$, we extend the result of O\cite{S.O} to obtain an odd $[1,b]$-factor and further improve the result of Liu, Liu and Feng\cite{W.L} for $a=b=1$. For $n\geq 3a+b-1$, we confirm the conjecture of Cho, Hyun, O and Park\cite{E.C}. We conclude some open problems in the end.
Algorithms for Interference Minimization in Future Wireless Network Decomposition
We propose a simple and fast method for providing a high quality solution for the sum-interference minimization problem. As future networks are deployed in high density urban areas, improved clustering methods are needed to provide low interference network connectivity. The proposed algorithm applies straightforward similarity based clustering and optionally stable matchings to outperform state of the art algorithms. The running times of our algorithms are dominated by one matrix multiplication.
Co-degree threshold for rainbow perfect matchings in uniform hypergraphs
Published
• View Publication
• BIB
Let $k$ and $n$ be two integers, with $k\geq 3$, $n\equiv 0\pmod k$, and $n$ sufficiently large. We determine the $(k-1)$-degree threshold for the existence of a rainbow perfect matchings in $n$-vertex $k$-uniform hypergraph. This implies the result of Rödl, Ruciński, and Szemerédi on the $(k-1)$-degree threshold for the existence of perfect matchings in $n$-vertex $k$-uniform hypergraphs. In our proof, we identify the extremal configurations of closeness, and consider whether or not the hypergraph is close to the extremal configuration. In addition, we also develop a novel absorbing device and generalize the absorbing lemma of Rödl, Ruciński, and Szemerédi.
On the inclusion ideal graph of semigroups
Published
• View Publication
• BIB
The inclusion ideal graph $\mathcal{I}n(S)$ of a semigroup $S$ is an undirected simple graph whose vertices are all nontrivial left ideals of $S$ and two distinct left ideals $I, J$ are adjacent if and only if either $I \subset J$ or $J \subset I$. The purpose of this paper is to study algebraic properties of the semigroup $S$ as well as graph theoretic properties of $\mathcal{I}n(S)$. In this paper, we investigate the connectedness of $\mathcal{I}n(S)$. We show that diameter of $\mathcal{I}n(S)$ is at most $3$ if it is connected.
We also obtain a necessary and sufficient condition of $S$ such that the clique number of $\mathcal{I}n(S)$ is $n$, where $n$ is the number of minimal left ideals of $S$. Further, various graph invariants of $\mathcal{I}n(S)$ viz. perfectness, planarity, girth etc. are discussed. For a completely simple semigroup $S$, we investigate various properties of $\mathcal{I}n(S)$ including its independence number and matching number. Finally, we obtain the automorphism group of $\mathcal{I}n(S)$.
Rainbow cycles for families of matchings
Published in Israel Journal of Mathematics 256 (2023), 1--8
• View Publication
• BIB
Given a graph $G$ and a coloring of its edges, a subgraph of $G$ is called rainbow if its edges have distinct colors. The rainbow girth of an edge coloring of G is the minimum length of a rainbow cycle in G. A generalization of the famous Caccetta-Häggkvist conjecture, proposed by the first author, is that if in an coloring of the edge set of an $n$-vertex graph by $n$ colors, in which each color class is of size $k$, the rainbow girth is at most $\lceil \frac{n}{k} \rceil$. In the known examples for sharpness of this conjecture the color classes are stars, suggesting that when the color classes are matchings, the result may be improved. We show that the rainbow girth of $n$ matchings of size at least 2 is $O(\log n)$.