- 到达叶节点 v 时,将 v 点的符文 qv 添加到序列 Q 的末尾,然后返回父节点。
- 到达非叶节点 u 时:
- 若该点的石像守卫已被唤醒,则只能先前往左儿子,(从左儿子返回后)再前往右儿子,(从右儿子返回后)最后返回父节点。
- 若该点的石像守卫在沉睡,可以在以下二者中任选其一:
- 先前往左儿子,再前往右儿子,最后返回父节点。
- 先前往右儿子,再前往左儿子,最后返回父节点。
- 到达叶节点 $v$ 时,将 $v$ 点的符文 $q_v$ 添加到序列 $Q$ 的末尾,然后返回父节点。
- 到达非叶节点 $u$ 时:
- 若该点的石像守卫已被唤醒,则只能先前往左儿子,(从左儿子返回后)再前往右儿子,(从右儿子返回后)最后返回父节点。
- 若该点的石像守卫在沉睡,可以在以下二者中任选其一:
- 先前往左儿子,再前往右儿子,最后返回父节点。
- 先前往右儿子,再前往左儿子,最后返回父节点。
- ∃i∈[1,2n] 满足以下两个条件:
- ∀1≤j<i,Q1,j=Q2,j;
- Q1,i<Q2,i。
- $\exist i \in [1, 2n]$ 满足以下两个条件:
- $\forall 1 \le j < i,Q_{1,j} = Q_{2,j}$;
- $Q_{1,i} < Q_{2,i}$。