Information on Result #1868532
There is no (134, 134+k, 145)-net in base 2 for arbitrarily large k, because logical equivalence would yield (134, m, 145)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (134, 1005, 145)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(21005, 145, S2, 7, 871), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 38059 985727 256215 240088 057742 611264 311141 098911 780553 736402 013794 914869 335957 731070 958406 415533 516880 692162 782031 487775 230647 400547 790994 828617 219545 329337 703575 584736 175668 460215 656997 181542 295950 493255 007621 079141 683055 381800 422370 156012 096465 727472 556889 888742 597779 529846 762030 121822 045754 532982 423552 / 109 > 21005 [i]
- extracting embedded OOA [i] would yield OOA(21005, 145, S2, 7, 871), 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.