Information on Result #1865362
There is no (8, 63)-sequence in base 7 (for arbitrarily large k), because logical equivalence would yield (8, 63)-sequence in base 7, but
- net from sequence [i] would yield (8, m, 64)-net in base 7 for arbitrarily large m, but
- m-reduction [i] would yield (8, 125, 64)-net in base 7, but
- extracting embedded OOA [i] would yield OOA(7125, 64, S7, 2, 117), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 333999 431003 545482 755376 316309 265495 380733 140585 771192 834356 762366 331846 319516 550942 904758 800305 436017 702139 / 59 > 7125 [i]
- extracting embedded OOA [i] would yield OOA(7125, 64, S7, 2, 117), but
- m-reduction [i] would yield (8, 125, 64)-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.