[计]?单文字规则

也就是说，这个算法适用于单文字规则（one-literal rule）。求得的解就是遍历完整个搜索树后，上界中存储的值。