Title: Efficient algorithms on strings