Information on Result #506678
There is no (80, 172, 6094)-net in base 8, because the generalized Rao bound for nets shows that 8m ≥ 215969 492598 398014 316325 004388 918791 592477 971639 661234 744270 047775 200720 759687 971582 225414 003804 906325 290241 913833 065210 181088 104591 354533 749198 828697 411328 > 8172
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 (80, 173, 6094)-net in base 8 | [i] | m-Reduction | |