【子集树】为什么上界函数只减去右枝