arXiv++ Combinatorics

We determine the minimum-excess coverings of $K_{17}$, $K_{18}$, and $K_{19}$ by 3-cliques and 4-cliques, minimizing first the number of repeated edge occurrences and then the number of blocks. The three secondary optima are $$ C^ξ(17,\{3,4\},2)=29,\qquad C^ξ(18,\{3,4\},2)=33,\qquad C^ξ(19,\{3,4\},2)=35. $$ For $K_{18}$ and $K_{19}$ the minimum excess is zero, so the optimal covers are decompositions, with block vectors $15K_3+18K_4$ and $13K_3+22K_4$, respectively. Their lower bounds follow directly from the known values $g^{(4)}(18)=33$ and $g^{(4)}(19)=35$ for pairwise balanced designs with maximum block size four. For $K_{17}$ the minimum excess is two and every optimal cover has block vector $12K_3+17K_4$. At this optimum the excess multigraph may be $P_3$ or $2K_2$, but not $K_2^2$; in fact a cover with excess $K_2^2$ requires at least $31$ blocks. The remaining order-$17$ nonexistence cases are excluded by computer-assisted exhaustive searches. Explicit constructions are given for all attainable optima. For completeness, an appendix also records the independent proof for orders $18$ and $19$ from the earlier version of this work, including its structural case analysis.