Information on Result #1868642
There is no (189, 189+k, 200)-net in base 2 for arbitrarily large k, because logical equivalence would yield (189, m, 200)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (189, 1790, 200)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(21790, 200, S2, 9, 1601), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 57 493592 995337 589540 011470 827121 405018 612914 681206 012038 893841 014534 110223 392628 926678 426881 782427 061501 002107 436809 019818 044571 602540 923796 852402 189144 536758 124457 886628 048105 798475 517311 702732 852877 696496 482009 743343 253556 589013 932621 345881 716871 101027 821068 315946 927978 305329 323918 366843 415523 385176 543521 729239 042104 510367 447164 018878 180061 452800 153840 579265 998733 102942 523107 463667 898516 418018 326932 050085 336230 146178 916259 696233 586650 735617 297262 661855 142073 605477 864151 732379 609451 042134 927991 726546 695889 454373 642798 599763 555386 392576 / 801 > 21790 [i]
- extracting embedded OOA [i] would yield OOA(21790, 200, S2, 9, 1601), 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.