Room designs and one-factorizations

Abstract

The existence of a Room square of order 2n is known to be equivalent to the existence of two orthogonal one-factorizations of the complete graph on 2n vertices, where “orthogonal” means “any two one-factors involved have at most one edge in common.” DefineR(n) to be the maximal number of pairwise orthogonal one-factorizations of the complete graph onn vertices.