|laziness, impatience, and hubris|
Re^5: Evolving a faster filter? (optimal!)by LanX (Sage)
|on Jan 04, 2013 at 21:42 UTC||Need Help??|
Well my argument is sufficient to show that a solution where two adjacent filters don't follow this order can't be optimal, because otherwise swapping those adjacent filters f[i] and f[i+1] would improve the result.
So any optimal solution must follow this strict order criteria. ¹
PS: I'm glad I didn't start implementing the B&B algorithm :-)
¹) and it's easy to see that all ordered solutions (plural b/c adjacent filters can have the same weight) imply the same total cost.