Title: Tight bounds on the complexity of the Boyer-Moore pattern matching algorithm