11,899 research outputs found
Between proper and strong edge-colorings of subcubic graphs
In a proper edge-coloring the edges of every color form a matching. A
matching is induced if the end-vertices of its edges induce a matching. A
strong edge-coloring is an edge-coloring in which the edges of every color form
an induced matching. We consider intermediate types of edge-colorings, where
edges of some colors are allowed to form matchings, and the remaining form
induced matchings. Our research is motivated by the conjecture proposed in a
recent paper of Gastineau and Togni on S-packing edge-colorings (On S-packing
edge-colorings of cubic graphs, Discrete Appl. Math. 259 (2019), 63-75)
asserting that by allowing three additional induced matchings, one is able to
save one matching color. We prove that every graph with maximum degree 3 can be
decomposed into one matching and at most 8 induced matchings, and two matchings
and at most 5 induced matchings. We also show that if a graph is in class I,
the number of induced matchings can be decreased by one, hence confirming the
above-mentioned conjecture for class I graphs
The growth rate over trees of any family of set defined by a monadic second order formula is semi-computable
Monadic second order logic can be used to express many classical notions of
sets of vertices of a graph as for instance: dominating sets, induced
matchings, perfect codes, independent sets or irredundant sets. Bounds on the
number of sets of any such family of sets are interesting from a combinatorial
point of view and have algorithmic applications. Many such bounds on different
families of sets over different classes of graphs are already provided in the
literature. In particular, Rote recently showed that the number of minimal
dominating sets in trees of order is at most and that
this bound is asymptotically sharp up to a multiplicative constant. We build on
his work to show that what he did for minimal dominating sets can be done for
any family of sets definable by a monadic second order formula.
We first show that, for any monadic second order formula over graphs that
characterizes a given kind of subset of its vertices, the maximal number of
such sets in a tree can be expressed as the \textit{growth rate of a bilinear
system}. This mostly relies on well known links between monadic second order
logic over trees and tree automata and basic tree automata manipulations. Then
we show that this "growth rate" of a bilinear system can be approximated from
above.We then use our implementation of this result to provide bounds on the
number of independent dominating sets, total perfect dominating sets, induced
matchings, maximal induced matchings, minimal perfect dominating sets, perfect
codes and maximal irredundant sets on trees. We also solve a question from D.
Y. Kang et al. regarding -matchings and improve a bound from G\'orska and
Skupie\'n on the number of maximal matchings on trees. Remark that this
approach is easily generalizable to graphs of bounded tree width or clique
width (or any similar class of graphs where tree automata are meaningful)
Efficient edge domination in regular graphs
An induced matching of a graph G is a matching having no two edges joined by an edge. An efficient edge dominating set
of G is an induced matching M such that every other edge of G is adjacent to some edge in M. We relate maximum induced
matchings and efficient edge dominating sets, showing that efficient edge dominating sets are maximum induced matchings, and
that maximum induced matchings on regular graphs with efficient edge dominating sets are efficient edge dominating sets. A
necessary condition for the existence of efficient edge dominating sets in terms of spectra of graphs is established. We also prove
that, for arbitrary fixed p 3, deciding on the existence of efficient edge dominating sets on p-regular graphs is NP-complet
Linear-Time Algorithms for Maximum-Weight Induced Matchings and Minimum Chain Covers in Convex Bipartite Graphs
A bipartite graph is convex if the vertices in can be
linearly ordered such that for each vertex , the neighbors of are
consecutive in the ordering of . An induced matching of is a
matching such that no edge of connects endpoints of two different edges of
. We show that in a convex bipartite graph with vertices and
weighted edges, an induced matching of maximum total weight can be computed in
time. An unweighted convex bipartite graph has a representation of
size that records for each vertex the first and last neighbor
in the ordering of . Given such a compact representation, we compute an
induced matching of maximum cardinality in time.
In convex bipartite graphs, maximum-cardinality induced matchings are dual to
minimum chain covers. A chain cover is a covering of the edge set by chain
subgraphs, that is, subgraphs that do not contain induced matchings of more
than one edge. Given a compact representation, we compute a representation of a
minimum chain cover in time. If no compact representation is given, the
cover can be computed in time.
All of our algorithms achieve optimal running time for the respective problem
and model. Previous algorithms considered only the unweighted case, and the
best algorithm for computing a maximum-cardinality induced matching or a
minimum chain cover in a convex bipartite graph had a running time of
- …