标签：回溯

将三元组规则预处理为候选映射，再通过回溯逐层构造金字塔并在无候选时提前剪枝。