matching
3168 papers tagged with this keyword
Matching criticality in intersecting hypergraphs
Published
• View Publication
• BIB
A matching in a hypergraph $H$ is a set of pairwise vertex disjoint edges in $H$ and the matching number of $H$ is the maximum cardinality of a matching in $H$. A transversal in $H$ is a subset of vertices in $H$ that has a nonempty intersection with every edge of $H$. The transversal number $τ(H)$ of $H$ is the minimum cardinality of a transversal in $H$. A hypergraph $H$ is an intersecting hypergraph if every two distinct edges of $H$ have a non-empty intersection. Equivalently, $H$ is an intersecting hypergraph if and only if it has matching number one. In this paper we study the extremal behavior of matching critical intersecting hypergraphs. We partly solve an open problem on matching critical intersecting hypergraphs posed by Henning and Yeo. We also prove a strengthening of the result for intersecting $r$-uniform hypergraphs.
Graphs, Disjoint Matchings and Some Inequalities
Published in Buletinul Academiei de Stiinte a Republicii Moldova. Matematica 103(3), (2023), 26--36
• View Publication
• BIB
For $k \geq 1$ and a graph $G$ let $ν_k(G)$ denote the size of a maximum $k$-edge-colorable subgraph of $G$. Mkrtchyan, Petrosyan and Vardanyan proved that $ν_2(G)\geq \frac45\cdot |V(G)|$, $ν_3(G)\geq \frac76\cdot |V(G)|$ for any cubic graph $G$ ~\cite{samvel:2010}. They were also able to show that if $G$ is a cubic graph, then $ν_2(G)+ν_3(G)\geq 2\cdot |V(G)|$ ~\cite{samvel:2014} and $ν_2(G) \leq \frac{|V(G)| + 2\cdot ν_3(G)}{4}$ ~\cite{samvel:2010}. In the first part of the present work, we show that the last two inequalities imply the first two of them.
Moreover, we show that $ν_2(G) \geq α\cdot \frac{|V(G)| + 2\cdot ν_3(G)}{4} $, where
$α=\frac{16}{17}$, if $G$ is a cubic graph,
$α=\frac{20}{21}$, if $G$ is a cubic graph containing a perfect matching,
$α=\frac{44}{45}$, if $G$ is a bridgeless cubic graph.
We also investigate the parameters $ν_2(G)$ and $ν_3(G)$ in the class of claw-free cubic graphs. We improve the lower bounds for $ν_2(G)$ and $ν_3(G)$ for claw-free bridgeless cubic graphs to $ν_2(G)\geq \frac{35}{36}\cdot |V(G)|$
($n \geq 48$), $ν_3(G)\geq \frac{43}{45}\cdot |E(G)|$. On the basis of these inequalities we are able to improve the coefficient $α$ for bridgeless claw-free cubic graphs.
In the second part of the work, we prove lower bounds for $ν_k(G)$ in terms of $\frac{ν_{k-1}(G)+ν_{k+1}(G)}{2}$ for $k\geq 2$ and graphs $G$ containing at most $1$ cycle. We also present the corresponding conjectures for bipartite and nearly bipartite graphs.
On Konig-Egervary Collections of Maximum Critical Independent Sets
Published
• View Publication
• BIB
Let G be a simple graph with vertex set V(G). A set S is independent if no two vertices from S are adjacent. The graph G is known to be a Konig-Egervary if alpha(G)+mu(G)= |V(G)|, where alpha(G) denotes the size of a maximum independent set and mu(G) is the cardinality of a maximum matching. The number d(X)= |X|-|N(X)| is the difference of X, and an independent set A is critical if d(A) = max{d(I):I is an independent set in G} (Zhang; 1990). Let Omega(G) denote the family of all maximum independent sets. Let us say that a family Gamma of independent sets is a Konig-Egervary collection if |Union of Gamma| + |Intersection of Gamma| = 2alpha(G) (Jarden, Levit, Mandrescu; 2015). In this paper, we show that if the family of all maximum critical independent sets of a graph G is a Konig-Egervary collection, then G is a Konig-Egervary graph. It generalizes one of our conjectures recently validated in (Short; 2015).
The cycle descent statistic on permutations
Published
• View Publication
• BIB
In this paper we study the cycle descent statistic on permutations. Several involutions on permutations and derangements are constructed. Moreover, we construct a bijection between negative cycle descent permutations and Callan perfect matchings.
Laplacian Coefficient, Matching Polynomial and Incidence Energy of of Trees with Described Maximum Degree
Published
• View Publication
• BIB
Let $\mathcal{L}(T,λ)=\sum_{k=0}^n(-1)^{k}c_{k}(T)λ^{n-k}$ be the characteristic polynomial of its Laplacian matrix of a tree $T$. This paper studied some properties of the generating function of the coefficients sequence $(c_0, \cdots, c_n)$ which are related with the matching polynomials of division tree of $T$. These results, in turn, are used to characterize all extremal trees having the minimum Laplacian coefficient generation function and the minimum incidence energy of trees with described maximum degree, respectively.
The shape of random tanglegrams
Published
• View Publication
• BIB
A tanglegram consists of two binary rooted trees with the same number of leaves and a perfect matching between the leaves of the trees. We show that the two halves of a random tanglegram essentially look like two independently chosen random plane binary trees. This fact is used to derive a number of results on the shape of random tanglegrams, including theorems on the number of cherries and generally occurrences of subtrees, the root branches, the number of automorphisms, and the height. For each of these, we obtain limiting probabilities or distributions. Finally, we investigate the number of matched cherries, for which the limiting distribution is identified as well.
Symmetric colorings of polypolyhedra
Published in Origami6: Proceedings of the 6th International Meeting of Origami in Science, Mathematics, and Education, The American Mathematical Society, 2015, pp. 21-31
• View Publication
• BIB
Polypolyhedra (after R. Lang) are compounds of edge-transitive 1-skeleta. There are 54 topologically different polypolyhedra, and each has icosidodecahedral, cuboctahedral, or tetrahedral symmetry, all are realizable as modular origami models with one module per skeleton edge. Consider a coloring in which each edge of a given component receives a different color, and where the coloring (up to global color permutation) is invariant under the polypolyhedron's symmetry group. On the Five Intersecting Tetrahedra, the edges of each color form visual bands on the model, and correspond to matchings on the dodecahedron graph. We count the number of such colorings and give three proofs. For each of the non-polygon-component polypolyhedra, there is a corresponding matching coloring, and we count the number of these matching colorings. For some of the non-polygon-component polypolyhedra, there is a corresponding visual-band coloring, and we count the number of these band colorings.
Beyond Aztec Castles: Toric Cascades in the $dP_3$ Quiver
Published
• View Publication
• BIB
Given one of an infinite class of supersymmetric quiver gauge theories, string theorists can associate a corresponding toric variety (which is a Calabi-Yau 3-fold) as well as an associated combinatorial model known as a brane tiling. In combinatorial language, a brane tiling is a bipartite graph on a torus and its perfect matchings are of interest to both combinatorialists and physicists alike. A cluster algebra may also be associated to such quivers and in this paper we study the generators of this algebra, known as cluster variables, for the quiver associated to the cone over the del Pezzo surface $dP_3$. In particular, mutation sequences involving mutations exclusively at vertices with two in-coming arrows and two out-going arrows are referred to as toric cascades in the string theory literature. Such toric cascades give rise to interesting discrete integrable systems on the level of cluster variable dynamics. We provide an explicit algebraic formula for all cluster variables which are reachable by toric cascades as well as a combinatorial interpretation involving perfect matchings of subgraphs of the $dP_3$ brane tiling for these formulas in most cases.
On a conjecture for the signless Laplacian spectral radius of cacti with given matching number
Published
• View Publication
• BIB
A connected graph $G$ is a cactus if any two of its cycles have at most one common vertex. Let $\ell_n^m$ be the set of cacti on $n$ vertices with matching number $m.$ S.C. Li and M.J. Zhang determined the unique graph with the maximum signless Laplacian spectral radius among all cacti in $\ell_n^m$ with $n=2m$. In this paper, we characterize the case $n\geq 2m+1$. This confirms the conjecture of Li and Zhang(S.C. Li, M.J. Zhang, On the signless Laplacian index of cacti with a given number of pendant vetices, Linear Algebra Appl. 436, 2012, 4400--4411). Further, we characterize the unique graph with the maximum signless Laplacian spectral radius among all cacti on $n$ vertices.
Cluster Variables and Perfect Matchings of Subgraphs of the $dP_3$ Lattice
We give a combinatorial intepretation of cluster variables of a specific cluster algebra under a mutation sequence of period 6, in terms of perfect matchings of subgraphs of the brane tiling dual to the quiver associated with the cluster algebra.
Uniqueness of the extreme cases in theorems of Drisko and Erdős-Ginzburg-Ziv
Published
• View Publication
• BIB
Drisko \cite{drisko} proved (essentially) that every family of $2n-1$ matchings of size $n$ in a bipartite graph possesses a partial rainbow matching of size $n$. In \cite{bgs} this was generalized as follows: Any $\lfloor \frac{k+2}{k+1} n \rfloor -(k+1)$ matchings of size $n$ in a bipartite graph have a rainbow matching of size $n-k$. We extend this latter result to matchings of not necessarily equal cardinalities.
Settling a conjecture of Drisko, we characterize those families of $2n-2$ matchings of size $n$ in a bipartite graph that do not possess a rainbow matching of size $n$. Combining this with an idea of Alon \cite{alon}, we re-prove a characterization of the extreme case in a well-known theorem of Erdős-Ginzburg-Ziv in additive number theory.
Solutions to the T-systems with Principal Coefficients
Published
• View Publication
• BIB
The $A_\infty$ T-system, also called the octahedron recurrence, is a dynamical recurrence relation. It can be realized as mutation in a coefficient-free cluster algebra (Kedem 2008, Di Francesco and Kedem 2009). We define T-systems with principal coefficients from cluster algebra aspect, and give combinatorial solutions with respect to any valid initial condition in terms of partition functions of perfect matchings, non-intersecting paths and networks. This also provides a solution to other systems with various choices of coefficients on T-systems including Speyer's octahedron recurrence (Speyer 2007), generalized lambda-determinants (Di Francesco 2013) and (higher) pentagram maps (Schwartz 1992, Ovsienko et al. 2010, Glick 2011, Gekhtman et al. 2014).
On the staircases of Gyárfás
Published in The Electronic Journal of Combinatorics 23(2) (2016), #P2.17
• Search Publication
Gyárfás investigated a geometric Ramsey problem on convex, separated, balanced, geometric $K_{n,n}$. This led to appealing extremal problem on square $0$-$1$ matrices. Gyárfás conjectured that any $0$-$1$ matrix of size $n\times n$ has a staircase of size $n-1$.
We introduce the non-symmetric version of Gyárfás' problem. We give upper bounds and in certain range matching lower bound on the corresponding extremal function. In the square/balanced case we improve the $(4/5+ε)n$ lower bound of Cai, Gyárfás et al. to $5n/6-7/12$. We settle the problem when instead of considering maximum staircases we deal with the sum of the size of the longest $0$- and $1$-staircases.
On Sylvester Colorings of Cubic Graphs
If $G$ and $H$ are two cubic graphs, then an $H$-coloring of $G$ is a proper edge-coloring $f$ with edges of $H$, such that for each vertex $x$ of $G$, there is a vertex $y$ of $H$ with $f(\partial_G(x))=\partial_H(y)$. If $G$ admits an $H$-coloring, then we will write $H\prec G$. The Petersen coloring conjecture of Jaeger states that for any bridgeless cubic graph $G$, one has: $P\prec G$. The second author has recently introduced the Sylvester coloring conjecture, which states that for any cubic graph $G$ one has: $S\prec G$. Here $S$ is the Sylvester graph on $10$ vertices. In this paper, we prove the analogue of Sylvester coloring conjecture for cubic pseudo-graphs. Moreover, we show that if $G$ is any connected simple cubic graph $G$ with $G\prec P$, then $G = P$. This implies that the Petersen graph does not admit an $S_{16}$-coloring, where $S_{16}$ is the smallest connected simple cubic graph without a perfect matching. $S_{16}$ has $16$ vertices. %We conjecture that there are infinitely many connected cubic simple graphs which do not admit an %$S_{16}$-coloring. Finally, we obtain $2$ results towards the Sylvester coloring conjecture. The first result states that any cubic graph $G$ has a coloring with edges of Sylvester graph $S$ such that at least $\frac45$ of vertices of $G$ meet the conditions of Sylvester coloring conjecture. The second result states that any claw-free cubic graph graph admits an $S$-coloring. This results is an application of our result on cubic pseudo-graphs.
Pattern matching in $(213,231)$-avoiding permutations
Published
• View Publication
• BIB
Given permutations $σ\in S_k$ and $π\in S_n$ with $k<n$, the \emph{pattern matching} problem is to decide whether $π$ matches $σ$ as an order-isomorphic subsequence. We give a linear-time algorithm in case both $π$ and $σ$ avoid the two size-$3$ permutations $213$ and $231$. For the special case where only $σ$ avoids $213$ and $231$, we present a $O(max(kn^2,n^2\log(\log(n)))$ time algorithm. We extend our research to bivincular patterns that avoid $213$ and $231$ and present a $O(kn^4)$ time algorithm. Finally we look at the related problem of the longest subsequence which avoids $213$ and $231$.
Color-line and Proper Color-line Graphs
Published
• View Publication
• BIB
Motivated by investigations of rainbow matchings in edge colored graphs, we introduce the notion of color-line graphs that generalizes the classical concept of line graphs in a natural way. Let $H$ be a (properly) edge-colored graph. The (proper) color-line graph $C\!L(H)$ of $H$ has edges of $H$ as vertices, and two edges of $H$ are adjacent in $C\!L(H)$ if they are incident in $H$ or have the same color. We give Krausz-type characterizations for (proper) color-line graphs, and point out that, for any fixed $k\ge 2$, recognizing if a graph is the color-line graph of some graph $H$ in which the edges are colored with at most $k$ colors is NP-complete. In contrast, we show that, for any fixed $k$, recognizing color-line graphs of properly edge colored graphs $H$ with at most $k$ colors is polynomially. Moreover, we give a good characterization for proper $2$-color line graphs that yields a linear time recognition algorithm in this case.
Structure theory of flip graphs with applications to Weak Symmetry Breaking
Published
• View Publication
• BIB
This paper is devoted to advancing the theoretical understanding of the iterated immediate snapshot (IIS) complexity of the Weak Symmetry Breaking task (WSB). Our rather unexpected main theorem states that there exist infinitely many values of n, such that WSB for n~processes is solvable by a certain explicitly constructed 3-round IIS protocol. In particular, the minimal number of rounds, which an IIS protocol needs in order to solve the WSB task, does not go to infinity, when the number of processes goes to infinity. Our methods can also be used to generate such values of n.
We phrase our proofs in combinatorial language, while avoiding using topology. To this end, we study a~certain class of graphs, which we call flip graphs. These graphs encode adjacency structure in certain subcomplexes of iterated standard chromatic subdivisions of a simplex. While keeping the geometric background in mind for an additional intuition, we develop the structure theory of matchings in flip graphs in a purely combinatorial way. Our bound for the IIS complexity is then a corollary of this general theory.
As an afterthought of our result, we suggest to change the overall paradigm. Specifically, we think, that the bounds on the IIS complexity of solving WSB for n processes should be formulated in terms of the size of the solutions of the associated Diophantine equation, rather than in terms of the value n itself.
On the Beck-Fiala Conjecture for Random Set Systems
Published
• View Publication
• BIB
Motivated by the Beck-Fiala conjecture, we study discrepancy bounds for random sparse set systems. Concretely, these are set systems $(X,Σ)$, where each element $x \in X$ lies in $t$ randomly selected sets of $Σ$, where $t$ is an integer parameter. We provide new bounds in two regimes of parameters. We show that when $|Σ| \ge |X|$ the hereditary discrepancy of $(X,Σ)$ is with high probability $O(\sqrt{t \log t})$; and when $|X| \gg |Σ|^t$ the hereditary discrepancy of $(X,Σ)$ is with high probability $O(1)$. The first bound combines the Lov{á}sz Local Lemma with a new argument based on partial matchings; the second follows from an analysis of the lattice spanned by sparse vectors.
Maximal matchings in polyspiro and benzenoid chains
Published
• View Publication
• BIB
A matching $M$ of a graph $G$ is maximal if it is not a proper subset of any other matching in $G$. Maximal matchings are much less known and researched than their maximum and perfect counterparts. In particular, almost nothing is known about their enumerative properties. In this paper we present the recurrences and generating functions for the sequences enumerating maximal matchings in two classes of chemically interesting linear polymers: polyspiro chains and benzenoid chains. We also analyze the asymptotic behavior of those sequences and determine the extremal cases.
The Complexity of Pattern Matching for $321$-Avoiding and Skew-Merged Permutations
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (December 21, 2016) dmtcs:1308
• View Publication
• BIB
The Permutation Pattern Matching problem, asking whether a pattern permutation $π$ is contained in a permutation $τ$, is known to be NP-complete. In this paper we present two polynomial time algorithms for special cases. The first algorithm is applicable if both $π$ and $τ$ are $321$-avoiding; the second is applicable if $π$ and $τ$ are skew-merged. Both algorithms have a runtime of $O(kn)$, where $k$ is the length of $π$ and $n$ the length of $τ$.