A set \( S \) of vertices in a graph \( G \) is a total dominating set of \( G \) if every vertex of \( G \) is adjacent to some vertex in \( S \). The minimum cardinality of a total dominating set of \( G \) is the total domination number of \( G \). We study graphs having the same total domination number as their complements. In particular, we characterize the cubic graphs having this property. Also, we characterize such graphs with total domination numbers equal to two or three, and we determine properties of the ones with larger total domination numbers.

In 1991 Gnanajothi conjectured: Each tree is odd-graceful. In this paper, we define the edge-ordered odd-graceful labeling of trees and show the odd-gracefulness of all symmetric trees.

A method is suggested for the construction of quadrangulations of the closed orientable surface with given genus \( g \) and either (1) with a given chromatic number or (2) with a given order allowed by the genus \( g \). In particular, N. Hartshfield and G. Ringel’s results [J. Comb. Theory, Ser. B 46 (1989), 84-95] are generalized by way of generating minimal quadrangulations of infinitely many other genera.

For integers \( s, t \geq 1 \), the Ramsey number \( R(s, t) \) is defined to be the least positive integer \( n \) such that every graph on \( n \) vertices contains either a clique of order \( s \) or an independent set of order \( t \). In this note, the lower bound for the Ramsey number \( R(7, 9) \) is improved from \( 241 \) to \( 242 \). The new bound is obtained by searching the maximum common induced subgraph between two graphs with a depth variable local search technique.

In this paper, we give an alternative and more intuitive proof to one of two classic inequalities given by Diaconis and Graham in 1977. The inequality involves three metrics on the symmetric group, i.e., the set of all permutations of the first \( n \) positive integers. Our technique for the proof of the inequality allows us to resolve an open problem posed in that paper: When does equality hold? It also allows us to estimate how often equality holds. In addition, our technique can sometimes be applied for the proof of other inequalities between metrics or pseudo-metrics on the symmetric group.

Pooling designs are standard experimental tools in many biotechnical applications. In this paper, we construct a family of error-correcting pooling designs with the incidence matrix of two types of subspaces of singular linear space over finite fields, and exhibit their disjunct properties.

Let \( S \) be an orthogonal polygon in the plane, bounded by a simple closed curve, and let \( R \) be the smallest rectangular region containing \( S \). Assume that \( S \) is star-shaped via staircase paths. For every point \( p \) in \( \mathbb{R}^2 \setminus (\text{int} \, S) \), there is a corresponding point \( q \) in \( \text{bdry} \, S \) such that \( p \) lies in a maximal staircase convex cone \( C_q \) at \( q \) in \( \mathbb{R}^2 \setminus (\text{int} \, S) \). Furthermore, point \( q \) may be selected to satisfy these requirements:

1. If \( p \in \mathbb{R}^2 \setminus (\text{int} \, R) \), then \( q \) is an endpoint of an extreme edge of \( S \).
2. If \( p \in (\text{int} \, R) \setminus (\text{int} \, S) \), then \( q \) is a point of local nonconvexity of \( S \) and \( C_q \) is unique. Moreover, there is a neighborhood \( N \) of \( q \) such that, for \( s \) in \( (\text{bdry} \, S) \cap N \) and for \( C_s \) any staircase cone at \( s \) in \( \mathbb{R}^2 \setminus (\text{int} \, S) \), \( C_s \subseteq C_q \).

Thus we obtain a finite family of staircase convex cones whose union is \( \mathbb{R}^2 \setminus (\text{int} \, S) \).

If there are integers \( k \) and \( \lambda \neq 0 \) such that a total labeling \( f \) of a connected graph \( G = (V, E) \) from \( V \cup E \) to \( \{1, 2, \ldots, |V| + |E|\} \) satisfies \( f(x) \neq f(y) \) for distinct \( x, y \in V \cup E \) and

\[ f(u) + f(v) = k + \lambda f(uv) \]

for each edge \( uv \in E \), then \( f \) is called a \( (k, \lambda) \)-\emph{magically total labeling} (\( (k, \lambda) \)-\emph{mtl} for short) of \( G \). Several properties of \( (k, \lambda) \)-\emph{mtls} of graphs are shown. The sufficient and necessary connections between \( (k, \lambda) \)-\emph{mtls} and several known labelings (such as graceful, odd-graceful, felicitous, and \( (b, d) \)-edge antimagic total labelings) are given. Furthermore, every tree is proven to be a subgraph of a tree having super \( (k, \lambda) \)-\emph{mtls}.

Let \( G \) be a simple graph of order \( n \), and let \( k \) be a positive integer. A graph \( G \) is fractional independent-set-deletable \( k \)-factor-critical (in short, fractional ID-\( k \)-factor-critical) if \( G – I \) has a fractional \( k \)-factor for every independent set \( I \) of \( G \). In this paper, we obtain a sufficient condition for a graph \( G \) to be fractional ID-\( k \)-factor-critical. Furthermore, it is shown that the result in this paper is best possible in some sense.

Calculations of the number of equivalence classes of Sudoku boards has to this point been done only with the aid of a computer, in part because of the unnecessarily large symmetry group used to form the classes. In particular, the relationship between relabeling symmetries and positional symmetries such as row/column swaps is complicated. In this paper, we focus first on the smaller Shidoku case and show first by computation and then by using connectivity properties of simple graphs that the usual symmetry group can in fact be reduced to various minimal subgroups that induce the same action. This is the first step in finding a similar reduction in the larger Sudoku case and for other variants of Sudoku.