Information on Result #1863722
There is no (112, 122)-sequence in base 2 (for arbitrarily large k), because logical equivalence would yield (112, 122)-sequence in base 2, but
- net from sequence [i] would yield (112, m, 123)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (112, 851, 123)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2851, 123, S2, 7, 739), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 3 993998 952924 100522 344655 894010 924650 217856 103768 335881 512642 475885 719991 313431 268628 022225 644736 294611 430738 206263 306113 405191 434472 793415 257097 202332 429545 141134 722818 360171 143086 282141 025359 354229 236532 324197 114103 740371 772216 307448 774588 011465 958351 699968 / 185 > 2851 [i]
- extracting embedded OOA [i] would yield OOA(2851, 123, S2, 7, 739), but
- m-reduction [i] would yield (112, 851, 123)-net in base 2, 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.