Smallest order for graphs with independent exact r-covers when d equals 7

Determine the smallest order of a 7-regular simple graph that has an independent exact r-cover for every integer r with 1 ≤ r ≤ 7, resolving the remaining smallest-degree case identified by the paper.

Background

The paper defines N(d) as the minimum order of a d-regular simple graph possessing an independent exact r-cover for every r ≤ d. It establishes optimal constructions for d = 3, 4, 5, and 6, but reports that d = 7 remains unresolved. For d = 7, the known lower and upper bounds differ by a factor of 2, so determining the exact minimum requires either a sharper lower bound or a construction meeting the existing lower bound.

References

In the search of smallest graphs with independent exact r-covers for all r ≤ d, d = 7 is therefore the smallest open case, for which we have a gap of a factor of 2 between the lower and upper bounds.

Graphs with Independent Exact $r$-covers for all $r$  (2501.05854 - Chau, 10 Jan 2025) in Section 4, paragraph immediately preceding Proposition 4.8