Information on Result #509171
There is no (30, 130, 707)-net in base 9, because the generalized Rao bound for nets shows that 9m ≥ 11377 057499 118601 276915 465824 481012 850790 883567 711291 746539 234588 040768 414155 940245 446483 124902 553158 144926 347961 728938 190385 > 9130
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, 131, 707)-net in base 9 | [i] | m-Reduction | |