Is there a system behind the magic of algorithm analysis?

cs.stackexchange.com