Information on Result #1863632
There is no (67, 76)-sequence in base 2 (for arbitrarily large k), because logical equivalence would yield (67, 76)-sequence in base 2, but
- net from sequence [i] would yield (67, m, 77)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (67, 453, 77)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2453, 77, S2, 6, 386), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 3 163202 128134 481187 670657 211928 595733 507047 201711 208198 345045 346834 142181 869507 762315 583452 706299 037320 438494 030470 406366 742586 287730 982912 / 129 > 2453 [i]
- extracting embedded OOA [i] would yield OOA(2453, 77, S2, 6, 386), but
- m-reduction [i] would yield (67, 453, 77)-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.