Information on Result #1869812
There is no (1, 1+k, 12)-net in base 5 for arbitrarily large k, because logical equivalence would yield (1, m, 12)-net in base 5 for arbitrarily large m, but
- m-reduction [i] would yield (1, 11, 12)-net in base 5, but
- extracting embedded OOA [i] would yield OOA(511, 12, S5, 2, 10), but
- the linear programming bound for OOAs shows that M ≥ 6103 515625 / 121 > 511 [i]
- extracting embedded OOA [i] would yield OOA(511, 12, S5, 2, 10), 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.