KMP in Introduction to algorithms