Information on Result #1863544
There is no (23, 30)-sequence in base 2 (for arbitrarily large k), because logical equivalence would yield (23, 30)-sequence in base 2, but
- net from sequence [i] would yield (23, m, 31)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (23, 148, 31)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2148, 31, S2, 5, 125), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 7849 862309 882779 345820 572831 972223 250105 106432 / 21 > 2148 [i]
- extracting embedded OOA [i] would yield OOA(2148, 31, S2, 5, 125), but
- m-reduction [i] would yield (23, 148, 31)-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.