as a thought exercise, I try to think of algorithm which has nonmonotonic complexity curve. only thing I could think of was some algorithm with asymptotic solution in extremities.
Is there such algorithm, which has nonmonotonic complexity curve, which does not rely on asymptotic approximation?