Information on Result #1866036
There is no (20, 182)-sequence in base 9 (for arbitrarily large k), because logical equivalence would yield (20, 182)-sequence in base 9, but
- net from sequence [i] would yield (20, m, 183)-net in base 9 for arbitrarily large m, but
- m-reduction [i] would yield (20, 363, 183)-net in base 9, but
- extracting embedded OOA [i] would yield OOA(9363, 183, S9, 2, 343), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 1 325637 210848 374352 210345 728428 959497 177973 347751 372838 925586 534840 922496 226575 856248 144028 150168 065111 801715 382098 122548 271559 638949 204361 642970 218776 894185 697673 507758 049405 017571 152150 862784 074473 901106 128377 379909 825197 424796 159518 080928 949435 452898 726371 244113 369381 442841 085601 246822 693313 570325 635801 102675 084540 669980 410874 425400 263677 693766 / 43 > 9363 [i]
- extracting embedded OOA [i] would yield OOA(9363, 183, S9, 2, 343), but
- m-reduction [i] would yield (20, 363, 183)-net in base 9, 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.