Information on Result #1873060
There is no digital (15, 22)-sequence over F2 (for arbitrarily large k), because logical equivalence would yield (15, 22)-sequence in base 2, but
- net from sequence [i] would yield (15, m, 23)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (15, 85, 23)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(285, 23, S2, 4, 70), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 2785 365088 392105 618523 029504 / 71 > 285 [i]
- extracting embedded OOA [i] would yield OOA(285, 23, S2, 4, 70), but
- m-reduction [i] would yield (15, 85, 23)-net in base 2, but
Mode: Bound (linear).
Optimality
Show details for fixed k and s, k and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
None.