Information on Result #1866046
There is no (25, 223)-sequence in base 9 (for arbitrarily large k), because logical equivalence would yield (25, 223)-sequence in base 9, but
- net from sequence [i] would yield (25, m, 224)-net in base 9 for arbitrarily large m, but
- m-reduction [i] would yield (25, 445, 224)-net in base 9, but
- extracting embedded OOA [i] would yield OOA(9445, 224, S9, 2, 420), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 20 722162 714195 481493 126091 989290 988093 607872 112463 814922 137011 295134 522690 280031 866797 278934 989678 319714 955166 490575 102715 872105 084801 338686 048404 473855 313189 282760 450588 742465 159318 452746 351997 315284 271849 493863 318901 961331 970708 091238 567857 105590 831094 435973 837888 639551 372509 476050 265192 830744 400206 537719 461173 487676 108317 120618 322461 404326 981656 708039 923466 088854 975599 807610 958943 110185 244202 669018 556739 042892 758202 219173 / 421 > 9445 [i]
- extracting embedded OOA [i] would yield OOA(9445, 224, S9, 2, 420), but
- m-reduction [i] would yield (25, 445, 224)-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.