Information on Result #1869322
There is no (17, 17+k, 63)-net in base 4 for arbitrarily large k, because logical equivalence would yield (17, m, 63)-net in base 4 for arbitrarily large m, but
- m-reduction [i] would yield (17, 185, 63)-net in base 4, but
- extracting embedded OOA [i] would yield OOA(4185, 63, S4, 3, 168), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 413644 108018 789698 761718 438551 312351 957624 215974 124562 187933 744234 024911 175385 755930 374377 187512 542127 608643 452928 / 169 > 4185 [i]
- extracting embedded OOA [i] would yield OOA(4185, 63, S4, 3, 168), 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.