An edge-ordering of a graph \( G = (V, E) \) is a one-to-one function \( f \) from \( E \) to the set of positive integers. A path of length \( k \) in \( G \) is called a \( (k, f) \)-ascent if \( f \) increases along the edge sequence of the path. The altitude \( \alpha(G) \) of \( G \) is the greatest integer \( k \) such that for all edge-orderings \( f \), \( G \) has a \( (k, f) \)-ascent.

We obtain a recursive lower bound for \( \alpha(K_{m,n}) \) and show that

\[\alpha(K_{3,n}) = \begin{cases}4 & \text{if } 5 \leq n \leq 9 \\5 & \text{if } 10 \leq n \leq 12 \\6 & \text{if } n \geq 13\end{cases}\]

A vertex set \( D \) of a graph \( G \) is a dominating set if every vertex not in \( D \) is adjacent to some vertex in \( D \). The domination number \( \gamma \) of a graph \( G \) is the minimum cardinality of a dominating set in \( G \). In 1989, Brigham and Dutton [1] proved

\[\gamma \leq \left\lceil\frac{3n-g}{6}\right\rceil\]

for each graph \( G \) of order \( n \), minimum degree \( \delta \geq 2 \), and girth \( g \geq 5 \). If \( G \) is a graph of order \( n \), minimum degree \( \delta \geq 2 \), girth \( g \geq 5 \) and neither a cycle nor one of two exceptional graphs, then we give in this paper the better bound

\[\gamma(G) \leq \left\lceil\frac{3n-g}{6}\right\rceil-1\]

For \( \delta \geq 3 \) and \( g \geq 5 \), we also prove \( \gamma \leq \left\lceil\frac{6n-g}{15}\right\rceil \), and this inequality is better than \( (*) \) when \( n > g + 10 \). In addition, if \( \delta \geq 3 \), then we show that

\[2\gamma \leq n – (\delta-2)(1 + \lfloor{d}/{3}\rfloor)\]

where \( d \) is the diameter of the graph. Some related bounds in terms of the diameter, girth, order, and minimum degree are also presented.

SOS-skeins correspond exactly to the Steiner quadruple systems [8,12]. Let \( P_1 \) be a finite simple SQS-skein of cardinality \( n > 4 \). In this article, we will present a construction for a non-simple subdirectly irreducible (monolithic) SOS-skein \( P = 2 \otimes_\alpha P_n \) of cardinality \( 2n \) in which each proper homomorphic image is Boolean for all \( n \equiv 2 \) or \( 4 \pmod{6} \). We can then show that if \( P_1 \) has a simple derived sloop, then the constructed SOS-skein \( 2 \otimes_\alpha P_1 \) contains a derived sloop which is subdirectly irreducible and has the same property as the SOS-skein \( 2 \otimes_\alpha P_1 \) that each of its proper homomorphic images is Boolean. Similar to the theory of Steiner loops and Steiner quasigroups [14], the author [1] has proven that the variety \( V(P_1) \) generated by a finite simple cubic SQS-skein \( P_1 \) covers the smallest non-trivial subvariety (the class of all Boolean SQS-skeins). Finally, we show that the variety \( V(2 \otimes_\alpha P_1) \) generated by the constructed SQS-skein \( 2 \otimes_\alpha P_1 \) covers the variety \( V(P_1) \) for each finite simple cubic SOS-skein \( P_1 \).

It is shown that for any rank \( r \) with \( n – \log(n+1) + 4 \leq r \leq n – 4 \) and any length \( n \), where \( n = 2^k – 1 \) and \( k \geq 8 \), there is a perfect code with these parameters and with a trivial group of symmetries.

In this paper, we introduce, for the first time, the notion of self-dual modular-graceful labeling of a cyclic digraph. A cyclic digraph \( G(V, E) \) is a digraph whose connected components are directed cycles. The line digraph \( G^\wedge(V^\wedge, E^\wedge) \) of the cyclic digraph \( G \) is the digraph where \( V^\wedge = E \), \( E^\wedge = V \), and if \( \alpha, \beta \) are two edges of \( G \) which join vertex \( x \) to vertex \( y \) and vertex \( y \) to vertex \( z \) respectively, then in the digraph \( G^\wedge \), \( y \) is the edge joining vertex \( \alpha \) to vertex \( \beta \). A labeling \( f \) for a cyclic digraph of order \( n \) is a map from \( V \) to \( \mathbb{Z}_{n+1} \). The labeling \( f \) induces a dual labeling \( f^\wedge \) for \( G^\wedge \) by \( f^\wedge(\alpha) = f(x) – f(y) \), where \( \alpha \) is an edge of \( G \) which joins vertex \( x \) to vertex \( y \). A self-dual modular-graceful cyclic digraph \( G \) is a cyclic digraph together with a labeling \( f \) where the image \( f(V) = \mathbb{Z}_{n+1}^* \), and \( \langle G^\wedge, f^\wedge \rangle \) is an isomorphic digraph of \( \langle G, f \rangle \). We prove the necessary and sufficient conditions for the existence of self-dual modular-graceful cyclic digraphs and connected self-dual modular-graceful cyclic digraphs. We also give some explicit constructions of these digraphs in the case \( n+1 \) is prime and in the general case where \( n+1 \) is not prime.

We refer to a labeling of a plane graph as a \( d \)-antimagic labeling if the vertices, edges, and faces of the graph are labeled in such a way that the label of a face and the labels of the vertices and edges surrounding that face add up to a weight of that face and the weights of all the faces form an arithmetic progression of difference \( d \). This paper describes \( d \)-antimagic labelings for a special class of plane graphs.

2-trees are defined recursively, starting from a single edge, by repeatedly erecting new triangles onto existing edges. These have been widely studied in connection with chordal graphs, series-parallel graphs, and isolated failure immune (IFI) networks.

A similar family, based on recursively erecting new \( K_{2,h} \) subgraphs onto existing edges, is shown to have analogous connections to chordal bipartite graphs, series-parallel graphs, and a notion motivated by IFI networks.

A graceful labeling of a graph \( G \) of size \( n \) is an assignment of labels from \( \{0, 1, \ldots, n\} \) to the vertices of \( G \) such that when each edge has assigned a weight defined by the absolute difference of its end-vertices, the resulting weights are distinct. The gracefulness of a graph \( G \) is the smallest positive integer \( k \) for which it is possible to label the vertices of \( G \) with distinct elements from the set \( \{0, 1, \ldots, k\} \) in such a way that distinct edges have distinct weights. In this paper, we determine the gracefulness of the union of cycles and complete bipartite graphs. We also give graceful labelings of unions of complete bipartite graphs.

The expected value and the variance of a multiplicity of a given part size in a random composition of an integer is obtained. This result was used in [1] to analyze algorithms for computing the Walsh-Hadamard transform.

We enumerate the balanced tournament designs on 10 points (BTD(5)) and find that there are exactly 30,220,557 nonisomorphic designs. We also find that there are exactly two nonisomorphic partitioned BTD(5)’s and 8,081,114 factored BTD(5)’s on 10 points. We enumerate other classes of balanced tournament designs on 10 points and give examples of some of the more interesting ones. In 1988, Corriveau enumerated the nonisomorphic BTD(4)’s, finding that there are 47 of them. This paper enumerates the next case and provides another good example of the combinatorial explosion phenomenon.