arXiv++ Combinatorics

We leverage an algorithm of Deming [R.W. Deming, Independence numbers of graphs -- an extension of the Koenig-Egervary theorem, Discrete Math., 27(1979), no. 1, 23--33; MR534950] to decompose a matchable graph into subgraphs with a precise structure: they are either spanning even subdivisions of blossom pairs, spanning even subdivisions of the complete graph $K_4$, or a Kőnig-Egerváry graph. In each case, the subgraphs have perfect matchings; in the first two cases, their independence numbers are one less than their matching numbers, while the independence number of the KE subgraph equals its matching number. This decomposition refines previous results about the independence structure of an arbitrary graph and leads to new results about $α$-critical graphs.

Let $G_1$ and $G_2$ be disjoint copies of a graph $G$, and let $f: V(G_1) \rightarrow V(G_2)$ be a function. Then a \emph{functigraph} $C(G, f)=(V, E)$ has the vertex set $V=V(G_1) \cup V(G_2)$ and the edge set $E=E(G_1) \cup E(G_2) \cup \{uv \mid u \in V(G_1), v \in V(G_2), v=f(u)\}$. A functigraph is a generalization of a \emph{permutation graph} (also known as a \emph{generalized prism}) in the sense of Chartrand and Harary. In this paper, we study domination in functigraphs. Let $γ(G)$ denote the domination number of $G$. It is readily seen that $γ(G) \le γ(C(G,f)) \le 2 γ(G)$. We investigate for graphs generally, and for cycles in great detail, the functions which achieve the upper and lower bounds, as well as the realization of the intermediate values.