Information on Result #507691
There is no (30, 80, 1425)-net in base 9, because the generalized Rao bound for nets shows that 9m ≥ 22194 900799 298440 631118 192027 591417 558283 587707 073618 086874 122924 900263 445577 > 980
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, 81, 1425)-net in base 9 | [i] | m-Reduction | |