Covering line graphs with equivalence relations

An equivalence graph is a disjoint union of cliques, and the equivalence number $\mathit{eq}(G)$ of a graph $G$ is the minimum number of equivalence subgraphs needed to cover the edges of $G$. We consider the equivalence number of a line graph, giving improved upper and lower bounds: $\frac 13 \log_2\log_2 \chi(G) < \mathit{eq}(L(G)) \leq 2\log_2\log_2 \chi(G) + 2$. This disproves a recent conjecture that $\mathit{eq}(L(G))$ is at most three for triangle-free $G$; indeed it can be arbitrarily large. To bound $\mathit{eq}(L(G))$ we bound the closely-related invariant $\sigma(G)$, which is the minimum number of orientations of $G$ such that for any two edges $e,f$ incident to some vertex $v$, both $e$ and $f$ are oriented out of $v$ in some orientation. When $G$ is triangle-free, $\sigma(G)=\mathit{eq}(L(G))$. We prove that even when $G$ is triangle-free, it is NP-complete to decide whether or not $\sigma(G)\leq 3$.Comment: 10 pages, submitted in July 200

On k-Equivalence Domination in Graphs

Let G = (V,E) be a graph. A subset S of V is called an equivalence set if every component of the induced subgraph (S) is complete. If further at least one component of (V − S) is not complete, then S is called a Smarandachely equivalence set

Split graphs and Block Representations

In this paper, we study split graphs and related classes of graphs from the perspective of their sequence of vertex degrees and an associated lattice under majorization. Following the work of Merris in 2003, we define blocks $[\alpha(\pi)|\beta(\pi)]$, where $\pi$ is the degree sequence of a graph, and $\alpha(\pi)$ and $\beta(\pi)$ are sequences arising from $\pi$. We use the block representation $[\alpha(\pi)|\beta(\pi)]$ to characterize membership in each of the following classes: unbalanced split graphs, balanced split graphs, pseudo-split graphs, and three kinds of Nordhaus-Gaddum graphs (defined by Collins and Trenk in 2013). As in Merris' work, we form a poset under the relation majorization in which the elements are the blocks $[\alpha(\pi)|\beta(\pi)]$ representing split graphs with a fixed number of edges. We partition this poset in several interesting ways using what we call amphoras, and prove upward and downward closure results for blocks arising from different families of graphs. Finally, we show that the poset becomes a lattice when a maximum and minimum element are added, and we prove properties of the meet and join of two blocks.Comment: 23 pages, 7 Figures, 2 Table