Information on Result #1870800
There is no (19, 19+k, 174)-net in base 9 for arbitrarily large k, because logical equivalence would yield (19, m, 174)-net in base 9 for arbitrarily large m, but
- m-reduction [i] would yield (19, 345, 174)-net in base 9, but
- extracting embedded OOA [i] would yield OOA(9345, 174, S9, 2, 326), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 19 136020 092621 986674 220659 413168 430069 475008 425255 137981 694464 368152 546340 183673 886309 531349 165896 101380 895402 249119 551765 847255 762024 027942 836069 129196 522961 741369 664871 345719 553644 091713 590504 032652 614654 081645 262386 095429 668357 613551 982143 255911 602653 476901 337135 687997 951859 010022 240454 339427 013160 244605 035669 240704 033288 205533 / 109 > 9345 [i]
- extracting embedded OOA [i] would yield OOA(9345, 174, S9, 2, 326), 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.