https://123dok.net/document/yevxkk91-average-running-time-the-boyer-moore-horspool-algorithm.html