Information on Result #1864617
There is no (47, m, 155)-net in base 4 with m > ∞, because logical equivalence would yield (47, 155)-sequence in base 4, but
- net from sequence [i] would yield (47, m, 156)-net in base 4 for arbitrarily large m, but
- m-reduction [i] would yield (47, 619, 156)-net in base 4, but
- extracting embedded OOA [i] would yield OOA(4619, 156, S4, 4, 572), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 1287 370449 494445 233669 314515 756482 827102 150318 413143 262226 548613 084460 790665 231798 384106 299704 941274 411402 755047 476800 482061 812553 885821 423597 942428 725323 792384 807905 616011 309598 573403 085515 895203 864130 230145 578320 653239 727168 141258 432024 358884 158027 354350 859607 000413 853915 829862 528664 520692 998064 228010 708758 373056 868650 437200 801412 898438 040363 012003 839795 778273 766715 424768 / 191 > 4619 [i]
- extracting embedded OOA [i] would yield OOA(4619, 156, S4, 4, 572), but
- m-reduction [i] would yield (47, 619, 156)-net in base 4, but
Mode: Bound.
Optimality
Show details for fixed t and s.
Other Results with Identical Parameters
None.
Depending Results
None.