It is shown that the obvious necessary condition \(\lambda h(h – 1)m^2 \equiv 0 \pmod{k}\) for the existence of a \((v, k, \lambda)\)-perfect Mendelsohn design with \(h\) holes of size \(m\) is sufficient in the case of block size three, except for a nonexisting \((6, 3, 1)\)-PMD.
Citation
F. E. Bennett, L. Zhu. Perfect Mendelsohn Designs With Equal-Sized Holes[J], Journal of Combinatorial Mathematics and Combinatorial Computing, Volume 008. 181-186. .