Information on Result #1868272
There is no (4, 4+k, 10)-net in base 2 for arbitrarily large k, because logical equivalence would yield (4, m, 10)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (4, 16, 10)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(216, 10, S2, 3, 12), but
- the linear programming bound for OOAs shows that M ≥ 83807 961088 / 1 262099 > 216 [i]
- extracting embedded OOA [i] would yield OOA(216, 10, S2, 3, 12), 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.