Information on Result #1863885
There is no (193, m, 203)-net in base 2 with m > ∞, because logical equivalence would yield (193, 203)-sequence in base 2, but
- net from sequence [i] would yield (193, m, 204)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (193, 1826, 204)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(21826, 204, S2, 9, 1633), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 3 931750 356281 512516 390935 525188 786283 276513 527533 880228 881896 859845 881952 436176 470566 774539 807881 195760 287213 059959 261435 094760 984012 810371 484845 755649 708060 319142 044952 491819 634752 315671 428445 865147 306378 077034 736660 395237 607458 449045 972098 117517 698689 259084 449253 486558 632248 646562 449018 568628 140194 297122 368177 720064 083417 760551 072322 414799 553204 242036 167505 456920 381218 407869 004081 799000 254584 318039 368324 800340 902257 272828 234888 004703 188100 068349 016218 477443 774110 773418 379990 461685 758686 519605 240776 521160 522186 722050 236601 111305 789076 136242 708480 / 817 > 21826 [i]
- extracting embedded OOA [i] would yield OOA(21826, 204, S2, 9, 1633), but
- m-reduction [i] would yield (193, 1826, 204)-net in base 2, but
Mode: Bound.
Optimality
Show details for fixed t and s.
Other Results with Identical Parameters
None.
Depending Results
None.