建议加上「每个点只能往祖先走」的限制和 $S_i$ 的范围。