Information on Result #509132

There is no (25, 129, 558)-net in base 9, because the generalized Rao bound for nets shows that 9m ≥ 1316 180291 488113 786233 335021 293867 847169 218156 690873 356449 642127 251560 702697 401692 324414 897856 408393 348333 900126 130631 514689 > 9129

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:

ResultThis
result
only
Method
1No (25, 130, 558)-net in base 9 [i]m-Reduction