Information on Result #1868530
There is no (133, 133+k, 144)-net in base 2 for arbitrarily large k, because logical equivalence would yield (133, m, 144)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (133, 998, 144)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2998, 144, S2, 7, 865), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 1200 089640 048619 399462 236054 947202 027828 773389 110197 640337 000434 974793 177259 928457 192382 184273 579361 102906 033667 659524 444209 602719 975391 728830 272688 366240 378040 671590 780313 870367 160355 766985 567890 330868 401141 205198 161177 421948 661966 626540 921960 631046 431974 005500 892722 777968 141145 093931 325767 034823 770112 / 433 > 2998 [i]
- extracting embedded OOA [i] would yield OOA(2998, 144, S2, 7, 865), 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.