Information on Result #1856747
There is no (147, 307)-sequence in base 3, because net from sequence would yield (147, m, 308)-net in base 3 for arbitrarily large m, but
- m-reduction [i] would yield (147, 1841, 308)-net in base 3, but
- extracting embedded OOA [i] would yield OOA(31841, 308, S3, 6, 1694), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 27601 188257 022661 699120 605257 996385 441537 653671 693200 425036 049435 304511 433813 843348 137554 681270 695408 610281 095480 432194 820883 181883 475705 831771 024341 171994 111148 652873 226542 090588 404793 916938 521680 705233 731538 663644 366605 118784 060187 574118 008258 253311 833799 281026 315943 800135 012173 688974 806993 097187 020436 939291 623563 511443 763183 538253 825000 278369 066944 055804 178022 185594 064687 366954 533335 843499 739041 212927 792491 845334 378514 119311 066705 094952 271119 769385 415565 443586 998030 362760 039864 329958 219076 018699 637671 644152 364929 350259 673319 242097 359177 358329 859845 209279 117269 434328 048981 669281 258995 159046 027684 018510 273607 748292 747305 987955 682311 961668 059935 897846 177947 735490 548337 822828 861630 262483 581586 521386 564685 744350 220014 288592 254685 498173 177018 096710 696686 566742 084130 158132 359880 777770 605724 899646 043211 991478 561740 666051 583443 431188 921362 810565 846596 873041 216275 214948 056345 / 113 > 31841 [i]
- extracting embedded OOA [i] would yield OOA(31841, 308, S3, 6, 1694), but
Mode: Bound.
Optimality
Show details for fixed m and s, m and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
The following results depend on this result:
| Result | This result only | Method | ||
|---|---|---|---|---|
| 1 | No (147, 307)-sequence in base 3 (for arbitrarily large k) | [i] | Logical Equivalence (for Sequences) | |
| 2 | No (147, m, 307)-net in base 3 with m > ∞ | [i] | ||
| 3 | No digital (147, 307)-sequence over F3 (for arbitrarily large k) | [i] | ||
| 4 | No digital (147, m, 307)-net over F3 with m > ∞ | [i] | ||