『算法』——字符串模式匹配算法3【BM算法】