Information on Result #1869378
There is no (45, 45+k, 150)-net in base 4 for arbitrarily large k, because logical equivalence would yield (45, m, 150)-net in base 4 for arbitrarily large m, but
- m-reduction [i] would yield (45, 595, 150)-net in base 4, but
- extracting embedded OOA [i] would yield OOA(4595, 150, S4, 4, 550), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 13 855495 187560 408700 476092 989792 355115 693220 693603 242671 394714 000697 471024 983592 178108 913338 557130 905066 376598 908531 590173 626933 679329 031918 547936 077508 264738 280694 199848 180161 961890 854230 981857 518485 215899 709548 451785 981114 287333 036085 430452 358676 236154 093194 540325 779746 887457 356392 517360 279684 103107 274056 770557 913015 237327 339329 446467 563960 149153 496302 616576 / 551 > 4595 [i]
- extracting embedded OOA [i] would yield OOA(4595, 150, S4, 4, 550), 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.