Information on Result #1868592
There is no (164, 164+k, 175)-net in base 2 for arbitrarily large k, because logical equivalence would yield (164, m, 175)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (164, 1390, 175)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(21390, 175, S2, 8, 1226), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 36 423683 632146 431599 092908 269440 765436 536913 734702 027937 621752 624036 075263 631370 189251 511281 617647 499462 136595 077897 507943 271206 213647 619641 189548 324802 937995 044538 611307 272259 854173 086113 528333 076635 879059 972776 904829 423264 105828 458082 158879 047399 243747 351980 833514 936411 869244 700378 570642 324037 990958 429198 725972 245228 977940 618609 964989 717752 973594 810251 387707 762141 585716 968850 223271 502381 634237 960093 875472 078263 549952 / 1227 > 21390 [i]
- extracting embedded OOA [i] would yield OOA(21390, 175, S2, 8, 1226), 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.