Information on Result #1870122
There is no (5, 5+k, 45)-net in base 7 for arbitrarily large k, because logical equivalence would yield (5, m, 45)-net in base 7 for arbitrarily large m, but
- m-reduction [i] would yield (5, 86, 45)-net in base 7, but
- extracting embedded OOA [i] would yield OOA(786, 45, S7, 2, 81), but
- the LP bound with quadratic polynomials shows that M ≥ 405 368844 447017 397144 485951 958074 725759 929366 921792 254455 742666 234993 920165 / 82 > 786 [i]
- extracting embedded OOA [i] would yield OOA(786, 45, S7, 2, 81), 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.