A balanced tournament design, BTD(n), defined on a 2n—set V is an arrangement of the () distinct unordered pairs of the elements of V into an n × 2n − 1 array such that (1) every element of V is contained in precisely one cell of each column, and (2) every element of V is contained in at most two cells of each row. In this paper, we investigate the existence of balanced tournament designs with a pair of almost orthogonal resolutions. These designs can be used to construct doubly resolvable (ν, 3, 2)- BIBD s and, in our smallest applications, have been used to construct previously unknown doubly resolvable (ν, 3, 2)- B I B D s.

Let g1, g2, …, gn be a sequence of mutually independent, normally distributed, random variables with mathematical expectation zero and variance unity. In this work, we obtain the average number of real zeros of the random algebraic equations Σnk=1 Kσ gk(ω)tk = C, where C is a constant independent of t and not necessarily zero. This average is (1/π) log n, when n is large and σ is non-negative.

A construction for balanced ternary designs is given. Based on the designs so obtained, a construction of partially balanced ternary designs is given, which gives balanced ternary designs and series of symmetric balanced ternary designs in special cases.

The usual definition for vertex-criticality with respect to the chromatic index is that a multigraph G is vertex-critical if G is Class 2, connected, and χ'(G\υ) <χ'(G) for all υ ε V(G). We consider here an allied notion, that of vertex-criticality with respect to the chromatic class–in this case G is vertex critical if G is Class 2 and connected, but G\υ is Class 1 for all υ ε V(G). We also investigate the analogues of these two notions for edge-criticality.

Using a new proof technique of the first author (by adding a new vertex to a graph and creating a total colouring of the old graph from an edge colouring of the new graph), we prove that the TCC (Total Colouring Conjecture) is true for any graph G of order n having maximum degree at least n - 4. These results together with some earlier results of M. Rosenfeld and N. Vijayaditya (who proved that the TCC is true for graphs having maximum degree at most 3), and A. V. Kostochka (who proved that the TCC is true for graphs having maximum degree 4) confirm that the TCC is true for graphs whose maximum degree is either very small or very big.

The k-profile of an Hadamard matrix of order n is a function defined on the integers 0, 1,…,n. If k is even, k-profile of an Hadamard matrix of order n (k even) has non-zero terms only in every eighth position. If k is divisible by 4, the non-zero positions are those congruent to n (modulo 8).

Two graphs, the edge crossing graph E and the triangle graph T are associated with a simple lattice polygon. The maximal independent sets of vertices of E and T are derived including a formula for the size of the fundamental triangles. Properties of E and T are derived including a formula for the size of the maximal independent sets in E and T. It is shown that T is a factor graph of edge-disjoint 4-cycles, which gives corresponding geometric information, and is a partition graph as recently defined by the authors and F. Harary.

Using a technique of Agarwal and Andrews (1987), bijective proofs of some n-color partition identities discovered recently by the author, are given.

Nous obtenons différentes identités de l'analyse combinatoire contenant des coefficients binomiaux de Gauss.

We describe several recursive constructions for designs which use designs with “holes”. As an application, we give a short new proof of the Doyen-Wilson Theorem.

An induced subgraph H of connectivity (edge-connectivity) n in a graph G is a major n-connected (major n-edge-connected) subgraph of G if H contains no subgraph with connectivity (edge- connectivity) exceeding n and H has maximum order with respect to this property. An induced subgraph is a major (major edge-) subgraph if it is a major n-connected (major n-edge-connected) subgraph for some n. Let m be the maximum order among all major subgraphs of C. Then the major connectivity set K(G) of G is defined as the set of all n for which there exists a major n-connected subgraph of G having order m. The major edge-connectivity set is defined analogously. The connectivity and the elements of the major connectivity set of a graph are compared, as are the elements of the major connectivity set and the major edge-connectivity set of a graph. It is shown that every set S of nonnegative integers is the major connectivity set of some graph G. Further, it is shown that for each positive integer m exceeding every element of S, there exists a graph G such that every major k-connected subgraph of G, where k ∈ K(G), has order m. Moreover, upper and lower bounds on the order of such graphs G are established.

An infinite class of T-matrices is constructed using Golay sequences. A list is given with new Hadamard matrices of order 2t. q, q odd, q < 10000, improving the known values of t.

Finally T-matrices are given of order 2m + 1, for small values of m ≤ 12 which do not coincide with those generated by Turyn sequences.

The purpose of this paper is to prove (1) if q ≡ 1 (mod 8) is a prime power and there exists a Hadamard matrix of order (q − 1)/2, then we can construct a Hadamard matrix of order 4q, (2) if q ≡ 5 (mod 8) is a prime power and there exists a skew-Hadamard matrix of order (q + 3)/2, then we can construct a Hadamard matrix of order 4(q + 2), (3) if q ≡ 1 (mod 8) is a prime power and there exists a symmetric C-matrix of order (q + 3)/2, then we can construct a Hadamard matrix of order 4(q + 2).

We have 36, 36 and 8 new orders 4n for n ≤ 10000, of Hadamard matrices from the first, the second and third theorem respectively, which were known to the list of Geramita and Seberry. We prove these theorems by using an adaptation of generalized quaternion type array and relative Gauss sums.

We give a constructive proof for the theorem of Lovász and Plummer which asserts the existence of an ear decomposition of a 1-factor covered graph.

It is shown that if an interval graph possesses a maximal-clique partition then its clique covering and clique partition numbers are equal, and equal to the maximal-clique partition number. Moreover an interval graph has such a partition if and only if all its maximal cliques are edge-disjoint.

Let Gbe a primitive permutation group on a finite set Ω. We investigate the subconstitutents of G, that is the permutation groups induced by a point stabilizer on its orbits in Ω, in the cases where Ghas a diagonal action or a product action on Ω. In particular we show in these cases that no subconstituent is doubly transitive. Thus if G has a doubly transitive subconstituent we show that G has a unique minimal normal subgroup N and either N is a nonabelian simple group or N acts regularly on Ω: we investigate further the case where N is regular on Ω.

In this paper we show that every finite connected graph G = (V, E), without loops and for which its spanning trees are the blocks of a balanced incomplete block design on E containing more than one block (E is the set of edges), is vertex 2–connected.

In this note, we use a geometric construction to produce group divisible designs with mutually orhogonal resolutions.

A graph G is divisible by t if its edge set can be partitioned into t subsets, such that the subgraphs (called factors) induced by the subsets are all isomorphic. Such an edge partition is an isomorphic factorization. It is proved that a 2k-regular graph with an even number of vertices is divisble by 2k provided it contains either no 3-cycles or no 5-cycles. It is also shown that any 4-regular graph with an even number of vertices is divisible by 4. In both cases the components of the factors found are paths of length 1 and 2, and the factorizations can be constructed in polynomial time.

A Kirkman square with index λ, latinicity μ, block size k and ν points, KSk(v; μ, λ), is a t × t array (t = λ(ν−1)/μ(k − 1)) defined on a ν-set V such that (1) each point of V is contained in precisely μ cells of each row and column, (2) each cell of the array is either empty or contains a k-subset of V, and (3) the collection of blocks obtained from the nonempty cells of the array is a (ν, k, λ)-BIBD. For μ = 1, the existence of a KSk(ν; μ, λ) is equivalent to the existence of a doubly resolvable (ν, k, λ)-BIBD. In this case the only complete results are for k = 2. The case k = 3, λ = 1 appears to be quite difficult although some existence results are available. For k = 3, λ = 2 the problem seems to be more tractable. In this paper we prove the existence of a KS3(ν; 1, 2) for all ν ≡ 3 (mod 12).