Information on Result #1873355
There is no digital (162, m, 172)-net over F2 with m > ∞, because logical equivalence would yield (162, 172)-sequence in base 2, but
- net from sequence [i] would yield (162, m, 173)-net in base 2 for arbitrarily large m, but
- m-reduction [i] would yield (162, 1374, 173)-net in base 2, but
- extracting embedded OOA [i] would yield OOA(21374, 173, S2, 8, 1212), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 559 079710 795581 503490 255379 757320 029736 346859 173601 528398 814855 719239 979837 164473 905762 005111 213593 630359 516346 709356 345010 590546 216949 691924 743511 170891 373193 218948 374815 142083 802024 600993 356446 081305 846322 657706 636476 351979 960358 267757 601865 188568 913506 859188 026023 590523 634277 408422 609221 590257 364376 418948 215047 281989 644755 002201 346627 269632 041711 130350 285331 720006 815202 410337 439700 132075 641152 966409 282968 879104 / 1213 > 21374 [i]
- extracting embedded OOA [i] would yield OOA(21374, 173, S2, 8, 1212), but
- m-reduction [i] would yield (162, 1374, 173)-net in base 2, but
Mode: Bound (linear).
Optimality
Show details for fixed t and s.
Other Results with Identical Parameters
None.
Depending Results
None.