There is no ODC with all pages isomorphic to C4U̇C3U̇C3U̇ν
Abstract
Let n be a natural number and C = {Po,. . . ,Pn-1} a collection of spanning subgraphs of Kn, the complete graph on n vertices. C is called an Orthogonal Double Cover (ODC) if every edge of Kn belongs to exactly two elements of C and every two elements of C have exactly one edge in common. Gronau, Mullin and Schellenberg showed that the complete graph Kn has an ODC whose elements consist of cycles of length at most 4 all an isolated vertex, except for finitely many n. In this paper we sketch the computer aided proof of the nonexistence of such an ODC for n = 11.











