Let \( G \) be a \((p,q)\)-graph in which the edges are labeled \( k, k+1, \ldots, k+q-1 \), where \( k \geq 0 \). The vertex sum for a vertex \( v \) is the sum of the labels of the incident edges at \( v \). If the vertex sums are constant, modulo \( p \), then \( G \) is said to be \( k \)-edge-magic. In this paper, we investigate some classes of cubic graphs which are \( k \)-edge-magic. We also provide a counterexample to a conjecture that any cubic graph of order \( p \equiv 2 \pmod{4} \) is \( k \)-edge-magic for all \( k \).

In this paper, we obtain a new set of conditions which are necessary for the existence of balanced arrays of strength eight with two levels by making use of the positive semi-definiteness of the matrix of moments. We also demonstrate, using illustrative examples, that the maximum number of constraints derived using these results are better than those obtained earlier.

A set \( D \subseteq V(G) \) is a dominating set of a graph \( G \) if every vertex of \( G \) not in \( D \) is adjacent to at least one vertex in \( D \). A minimum dominating set of \( G \), also called a \( \gamma(G) \)-set, is a dominating set of \( G \) of minimum cardinality. For each vertex \( v \in V(G) \), we define the domination value of \( v \) to be the number of \( \gamma(G) \)-sets to which \( v \) belongs. In this paper, we find the total number of minimum dominating sets and characterize the domination values for \( P_2 \Box P_n \), and \( P_2 \Box C_n \).

Let \( G \) be the one-point union of two cycles and suppose \( G \) has \( n \) edges. We show via various graph labelings that there exists a cyclic \( G \)-decomposition of \( K_{2nt+1} \) for every positive integer \( t \).

Decompositions of complete or near-complete graphs into spanning trees have been widely studied, but usually in the homogeneous case, where all component trees are isomorphic. A spanning tree decomposition \( \mathcal{T} = (T_1, \ldots, T_n) \) of such a graph is purely heterogeneous if no two trees \( T_i \) are isomorphic. We show existence of such decompositions with the maximum degree condition \( \Delta(T_i) = i+1 \) for each \( i \in [1..n] \), for every largest possible graph of odd order, and every even order graph which is the complement of a spanning tree satisfying a necessary maximum degree condition.

Let \( G \) be a simple graph with vertex set \( V(G) \) and edge set \( E(G) \), and let \( \mathbb{Z}_2 = \{0,1\} \). A labeling \( f : V(G) \to \mathbb{Z}_2 \) induces a partial edge labeling \( f^* : E(G) \to \mathbb{Z}_2 \) defined by \( f^*(uv) = f(u) \) if and only if \( f(u) = f(v) \). For \( i \in \mathbb{Z}_2 \), let \( V_f(i) = \{v \in V(G) : f(v) = i\} \) and \( e_f(i) = |\{e \in E(G) : f^*(e) = i\}| \). A labeling \( f \) is called a friendly labeling if \( |V_f(0) – V_f(1)| \leq 1 \). The \( BI(G) \), the balance index set of \( G \), is defined as \( \{|e_f(0) – e_f(1)| : \text{the vertex labeling } f \text{ is friendly}\} \). This paper focuses on the balance index sets of generalized book and ear expansion graphs.