Information on Result #1870120
There is no (4, 4+k, 39)-net in base 7 for arbitrarily large k, because logical equivalence would yield (4, m, 39)-net in base 7 for arbitrarily large m, but
- m-reduction [i] would yield (4, 74, 39)-net in base 7, but
- extracting embedded OOA [i] would yield OOA(774, 39, S7, 2, 70), but
- the LP bound with quadratic polynomials shows that M ≥ 30665 141124 411175 854056 235783 580684 649065 396053 855752 734074 479561 / 71 > 774 [i]
- extracting embedded OOA [i] would yield OOA(774, 39, S7, 2, 70), but
Mode: Bound.
Optimality
Show details for fixed k and s, k and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
None.