Information on Result #1864532
There is no (5, 23)-sequence in base 4 (for arbitrarily large k), because logical equivalence would yield (5, 23)-sequence in base 4, but
- net from sequence [i] would yield (5, m, 24)-net in base 4 for arbitrarily large m, but
- m-reduction [i] would yield (5, 31, 24)-net in base 4, but
- extracting embedded OOA [i] would yield OOA(431, 24, S4, 2, 26), but
- the linear programming bound for OOAs shows that M ≥ 5 737162 226617 068887 736320 / 1 225547 > 431 [i]
- extracting embedded OOA [i] would yield OOA(431, 24, S4, 2, 26), but
- m-reduction [i] would yield (5, 31, 24)-net in base 4, 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.