Information on Result #1869400
There is no (56, 56+k, 183)-net in base 4 for arbitrarily large k, because logical equivalence would yield (56, m, 183)-net in base 4 for arbitrarily large m, but
- m-reduction [i] would yield (56, 727, 183)-net in base 4, but
- extracting embedded OOA [i] would yield OOA(4727, 183, S4, 4, 671), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 4 049832 535418 951306 730749 481876 074059 945589 013802 986985 916957 379337 000322 803802 886606 856961 343266 835497 897873 426793 038175 749021 123542 710014 968402 151805 381015 337643 140743 735376 559517 249455 888594 988700 543066 267220 585420 191957 875446 078940 369539 199424 128212 051982 458496 993558 762959 730176 819176 156632 704822 058298 090012 698629 465296 421762 317261 022024 609249 372220 275609 669270 470028 354153 694790 647734 530514 298987 530829 004890 668493 427101 628754 821120 / 7 > 4727 [i]
- extracting embedded OOA [i] would yield OOA(4727, 183, S4, 4, 671), 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.