Information on Result #1867514
There is no (4, 250)-sequence in base 49 (for arbitrarily large k), because logical equivalence would yield (4, 250)-sequence in base 49, but
- net from sequence [i] would yield (4, m, 251)-net in base 49 for arbitrarily large m, but
- m-reduction [i] would yield (4, 249, 251)-net in base 49, but
- extracting embedded OOA [i] would yield OA(49249, 251, S49, 245), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 354 013649 449525 931426 279442 990642 053580 432370 765307 807128 294998 551122 640747 634597 271084 333393 795330 500587 164243 140988 540373 888581 863590 044622 404991 728906 599366 400005 917176 740377 601943 975293 629949 119408 598903 469298 568197 261263 089787 497027 712508 751288 114794 103433 426230 872340 717070 631044 534195 535930 764662 142517 697871 788941 015702 182840 766509 295270 854651 459881 610586 893475 184126 853183 587780 497947 092464 128387 019611 820640 300001 / 41 > 49249 [i]
- extracting embedded OOA [i] would yield OA(49249, 251, S49, 245), but
- m-reduction [i] would yield (4, 249, 251)-net in base 49, 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.