COMPUTE-LAST-OCCURRENCE-FUNCTION is
COMPUTE-GOOD-SUFFIX-FUNCTION is O(m)
so BOYER-MOORE-MATCHER is
So, theoretically no better than NAIVE (actually a little worse), but in practice it seems to do better.