Information on Result #1865348
There is no (1, 15)-sequence in base 7 (for arbitrarily large k), because logical equivalence would yield (1, 15)-sequence in base 7, but
- net from sequence [i] would yield (1, m, 16)-net in base 7 for arbitrarily large m, but
- m-reduction [i] would yield (1, 15, 16)-net in base 7, but
- extracting embedded OOA [i] would yield OOA(715, 16, S7, 2, 14), but
- the linear programming bound for OOAs shows that M ≥ 365 562236 265611 / 75 > 715 [i]
- extracting embedded OOA [i] would yield OOA(715, 16, S7, 2, 14), but
- m-reduction [i] would yield (1, 15, 16)-net in base 7, 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.