Boyer-Moore算法 《数据结构与算法c++版》Adam Drozdek

Question

通常BM算法采用的是坏字符和好后缀算法(eg.,BM算法),我学习的《数据结构与算法c++版》Adam Drozdek版教材上使用了 全后缀和部分后缀规则，这种方法在网络上基本查不到。

作者解释原理时，一个关键的函数只是给出公式，基本上没有解释，如下:

请问怎么理解这个公式,尤其是公式中的s代表什么意思?

原书我已经在云盘共享,关于BM算法书上在P687面。希望能帮忙解决。