Information on Result #1863638
There is no (70, 79)-sequence in base 2 (for arbitrarily large k), because logical equivalence would yield (70, 79)-sequence in base 2, but
- net from sequence [i] would yield (70, m, 80)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (70, 472, 80)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2472, 80, S2, 6, 402), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 5 463059 963052 986404 917795 152138 041035 060046 749663 699514 003524 679344 400542 934589 835210 535680 361110 949529 697129 462461 590067 033957 438754 499286 007808 / 403 > 2472 [i]
- extracting embedded OOA [i] would yield OOA(2472, 80, S2, 6, 402), but
- m-reduction [i] would yield (70, 472, 80)-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.