Information on Result #1868730
There is no (233, 233+k, 245)-net in base 2 for arbitrarily large k, because logical equivalence would yield (233, m, 245)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (233, 1949, 245)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(21949, 245, S2, 8, 1716), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 108 908756 018247 017738 846148 203336 770782 086811 400433 254891 428664 284262 450149 669687 178192 163957 571087 731048 845824 449832 008621 676764 388452 260409 225286 287159 093667 567713 843163 725898 164898 469318 344995 825226 484764 950027 385635 169684 923415 807750 920524 215546 373027 173675 855864 878727 942740 615561 271603 993444 280713 823669 135460 288438 896000 099455 973899 344934 883918 247743 905728 557468 736814 599350 662600 958018 297080 960558 396369 360578 290449 890993 563568 232647 753320 070966 789685 437500 126048 349423 663930 422427 919271 087992 554522 023279 356965 538756 888541 585818 166909 329229 585029 430329 563346 261419 879853 337903 890432 / 1717 > 21949 [i]
- extracting embedded OOA [i] would yield OOA(21949, 245, S2, 8, 1716), 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.