Information on Result #509625
There is no (30, 142, 680)-net in base 9, because the generalized Rao bound for nets shows that 9m ≥ 3381 046520 837767 330256 444954 975721 572773 848206 675608 234045 998420 120376 332565 633880 110168 944205 129233 881389 045226 606363 494802 033362 459137 > 9142
Mode: Bound.
Optimality
Show details for fixed k and m, k and s, k and t, 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 (30, 143, 680)-net in base 9 | [i] | m-Reduction | |