A total dominating set of a graph \(G\) with no isolated vertex is a set \(S\) of vertices of \(G\) such that every vertex is adjacent to a vertex in \(S\). The total domination number of \(G\) is the minimum cardinality of a total dominating set in \(G\). In this paper, we present several upper bounds on the total domination number in terms of the minimum degree, diameter, girth, and order.

We denote by \((p, q)\)-graph \(G\) a graph with \(p\) vertices and \(q\) edges. An edge-magic total (EMT) labeling on a \((p,q)\)-graph \(G\) is a bijection \(\lambda: V(G) \cup E(G) \rightarrow [1,2,\ldots,p+q]\) with the property that, for each edge \(xy\) of \(G\), \(\lambda(x) + \lambda(xy) + \lambda(y) = k\), for a fixed positive integer \(k\). Moreover, \(\lambda\) is a super edge-magic total labeling (SEMT) if it has the property that \(\lambda(V(G)) = \{1, 2,\ldots,p\}\). A \((p,q)\)-graph \(G\) is called EMT (SEMT) if there exists an EMT (SEMT) labeling of \(G\). In this paper, we propose further properties of the SEMT graph. Based on these conditions, we will give new theorems on how to construct new SEMT (bigger) graphs from old (smaller) ones. We also give the SEMT labeling of \(P_n \cup P_{n+m}\) for possible magic constants \(k\) and \(m = 1, 2\),or \(3\).

A Kirkman packing design \(KPD({w, s^*, t^*}, v)\) is a Kirkman packing with maximum possible number of parallel classes, such that each parallel class contains one block of size \(s\), one block of size \(t\) and all other blocks of size \(w\). A \((k, w)\)-threshold scheme is a way of distributing partial information (shadows) to \(w\) participants, so that any \(k\) of them can determine a key easily, but no subset of fewer than \(k\) participants can calculate the key. In this paper, the existence of a \(KPD({3, 4^*, 5^*}, v)\) is established for every \(v \equiv 3 \pmod{6}\) with \(v \geq 51\). As its consequence, some new \((2, w)\)-threshold schemes have been obtained.

In this paper, we mainly define a semidirect product version of the Schützenberger product and also a new two-sided semidirect product construction for arbitrary two monoids. Then, as main results, we present a generating and a relator set for these two products. Additionally, to explain why these products have been defined, we investigate the regularity for the semidirect product version of Schützenberger products and the subgroup separability for this new two-sided semidirect product.

We consider the connected graphs with a unique vertex of maximum degree \(3\). Two subfamilies of such graphs are characterized and ordered completely by their indices. Moreover, a conjecture about the complete ordering of all graphs in this set is proposed.

Let \(G = (V(G), E(G))\) be a simple graph and \(T(G)\) be the set of vertices and edges of \(G\). Let \(C\) be a \(k\)-color set. A (proper) total \(k\)-coloring \(f\) of \(G\) is a function \(f: T(G) \rightarrow C\) such that no adjacent or incident elements of \(T(G)\) receive the same color. For any \(u \in V(G)\), denote \(C(u) = \{f(u)\} \cup \{f(uv) | uv \in E(G)\}\). The total \(k\)-coloring \(f\) of \(G\) is called the adjacent vertex-distinguishing if \(C(u) \neq C(v)\) for any edge \(uv \in E(G)\). And the smallest number of colors is called the adjacent vertex-distinguishing total chromatic number \(\chi_{at}(G)\) of \(G\). Let \(G\) be a connected graph. If there exists a vertex \(v \in V(G)\) such that \(G – v\) is a tree, then \(G\) is a \(1\)-tree. In this paper, we will determine the adjacent vertex-distinguishing total chromatic number of \(1\)-trees.

In this paper, we extend the study on packing and covering of complete directed graph \(D_t\) with Mendelsohn triples \([6]\). Mainly, the maximum packing of \(D_t-P\) and \(D_t\cup{P}\) with Mendelsohn triples are obtained respectively, where \(P\) is a vertex-disjoint union of directed cycles in \(D_t\).

In the theory of orthogonal arrays, an orthogonal array is called schematic if its rows form an association scheme with respect to Hamming distances. Which orthogonal arrays are schematic orthogonal arrays and how to classify them is an open problem proposed by Hedayat et al. \([12]\). In this paper, we study the Hamming distances of the rows in orthogonal arrays and construct association schemes according to the distances. The paper gives the partial solution of the problem by Hedayat et al. for symmetric and some asymmetric orthogonal arrays of strength two.

The Padmakar-Ivan \((PI)\) index is a Wiener-Szeged-like topological index which reflects certain structural features of organic molecules. In this paper, we study the PI index of gated amalgam.

The nullity of a graph is the multiplicity of the eigenvalue zero in its spectrum. In this paper, we give formulae to calculate the nullity of \(n\)-vertex bicyclic graphs by means of the maximum matching number.