Information on Result #1863729
There is no (115, m, 125)-net in base 2 with m > ∞, because logical equivalence would yield (115, 125)-sequence in base 2, but
- net from sequence [i] would yield (115, m, 126)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (115, 872, 126)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2872, 126, S2, 7, 757), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 16 374180 089863 892084 551852 235590 734207 022226 425336 789578 589175 265662 099679 082448 895376 740280 484064 680649 679028 778893 167556 453986 820065 765343 325154 113812 958001 635138 730971 970782 741331 409915 789922 927177 018658 507941 374598 426355 767971 527336 024484 566388 593587 879065 681920 / 379 > 2872 [i]
- extracting embedded OOA [i] would yield OOA(2872, 126, S2, 7, 757), but
- m-reduction [i] would yield (115, 872, 126)-net in base 2, but
Mode: Bound.
Optimality
Show details for fixed t and s.
Other Results with Identical Parameters
None.
Depending Results
None.