Information on Result #1864632
There is no (55, 179)-sequence in base 4 (for arbitrarily large k), because logical equivalence would yield (55, 179)-sequence in base 4, but
- net from sequence [i] would yield (55, m, 180)-net in base 4 for arbitrarily large m, but
- m-reduction [i] would yield (55, 715, 180)-net in base 4, but
- extracting embedded OOA [i] would yield OOA(4715, 180, S4, 4, 660), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 23 292165 226338 150497 413837 680749 468165 158064 818907 090678 280277 145093 831671 774801 570450 532309 408343 381370 778690 973470 702023 045705 361421 179050 557263 352433 855467 757534 777884 032434 483025 797135 401934 632090 244028 777349 464485 685605 081042 699734 979180 059788 898455 170515 848758 719151 351344 977588 846016 713656 209655 862263 184840 537771 817665 060935 803432 767334 671398 366933 206983 571478 392544 010283 372701 995731 294508 790281 913243 365906 085225 962475 094016 / 661 > 4715 [i]
- extracting embedded OOA [i] would yield OOA(4715, 180, S4, 4, 660), but
- m-reduction [i] would yield (55, 715, 180)-net in base 4, 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.