Information on Result #1868508
There is no (122, 122+k, 133)-net in base 2 for arbitrarily large k, because logical equivalence would yield (122, m, 133)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (122, 921, 133)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2921, 133, S2, 7, 799), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 545 093654 819629 540217 404625 631683 376121 953144 085721 726607 858951 973499 956222 563201 028274 603733 501527 078584 560829 978393 570202 332690 960238 582069 492821 322663 244519 547859 951965 703055 114830 761011 307343 958083 037225 087810 594836 148458 657416 234383 492657 199335 725550 496491 371695 033678 823424 / 25 > 2921 [i]
- extracting embedded OOA [i] would yield OOA(2921, 133, S2, 7, 799), 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.