Information on Result #1863505
There is no (3, m, 7)-net in base 2 with m > ∞, because logical equivalence would yield (3, 7)-sequence in base 2, but
- net from sequence [i] would yield (3, m, 8)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (3, 16, 8)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(216, 8, S2, 4, 13), but
- the linear programming bound for OOAs shows that M ≥ 33 246619 995147 141120 / 498 007000 776397 > 216 [i]
- extracting embedded OOA [i] would yield OOA(216, 8, S2, 4, 13), but
- m-reduction [i] would yield (3, 16, 8)-net in base 2, but
Mode: Bound.
Optimality
Show details for fixed t and s.
Other Results with Identical Parameters
None.
Depending Results
None.