Information on Result #353001
There is no OOA(3144, 41, S3, 5, 129), because 1 times depth reduction would yield OOA(3144, 41, S3, 4, 129), but
- 27 step m-reduction [i] would yield OOA(3117, 41, S3, 3, 102), but
- the LP bound with quadratic polynomials shows that M ≥ 8008 897756 408761 320483 431092 011943 448679 786438 779805 548281 / 103 > 3117 [i]
Mode: Bound.
Optimality
Show details for fixed k and m, n and k, k and s, k and t, n and m, m and s, m and t, n and s, n and t.
Other Results with Identical Parameters
None.
Depending Results
None.