Information on Result #1863744
There is no (123, 133)-sequence in base 2 (for arbitrarily large k), because logical equivalence would yield (123, 133)-sequence in base 2, but
- net from sequence [i] would yield (123, m, 134)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (123, 928, 134)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2928, 134, S2, 7, 805), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 1 107275 774135 067954 476096 342616 503102 636802 640395 789331 084009 807351 957764 731258 139480 655116 995428 923168 673366 103537 247998 995723 876687 490822 451668 279385 328029 452651 626798 035306 524705 456541 652367 542536 510531 291963 739869 783583 002327 702363 074162 124855 262008 480852 449985 091336 055740 694528 / 403 > 2928 [i]
- extracting embedded OOA [i] would yield OOA(2928, 134, S2, 7, 805), but
- m-reduction [i] would yield (123, 928, 134)-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.