Information on Result #1863702
There is no (102, 111)-sequence in base 2 (for arbitrarily large k), because logical equivalence would yield (102, 111)-sequence in base 2, but
- net from sequence [i] would yield (102, m, 112)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (102, 887, 112)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(2887, 112, S2, 8, 785), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 412730 102449 738473 712765 456966 028598 842849 473465 719939 162469 303927 088986 372441 296464 388481 162232 178042 714371 088482 131780 376834 030861 473075 976983 576924 171544 459677 096874 222722 006821 498184 708157 072675 181959 539990 940740 647103 712157 608467 497577 161747 247257 452016 326357 811200 / 393 > 2887 [i]
- extracting embedded OOA [i] would yield OOA(2887, 112, S2, 8, 785), but
- m-reduction [i] would yield (102, 887, 112)-net in base 2, 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.