这可以形式化如下。如果一个崩塌序列只推倒不稳定的顶点,则称其为“合法的”,使用一组合法的顶点序列,如果它的结果是一个稳定的构型,则称其为“稳定的”。稳定沙堆的标准方法是找到一个最大的合法崩塌序列,也就是说,让崩塌序列尽可能地长。这种序列具有明显的稳定性,沙堆的可交换性质是所有这些序列都等价于倾斜序列的置换,也就是说,对于任何顶点<math>v</math>,在所有合法的稳定序列中<math>v</math>的崩塌次数都是相同的。根据最小作用原理,最小稳定序列等价于合法的(且稳定的)崩塌序列的置换。特别地,由最小稳定序列产生的构型与由最大合法序列产生的构型是相同的。 | 这可以形式化如下。如果一个崩塌序列只推倒不稳定的顶点,则称其为“合法的”,使用一组合法的顶点序列,如果它的结果是一个稳定的构型,则称其为“稳定的”。稳定沙堆的标准方法是找到一个最大的合法崩塌序列,也就是说,让崩塌序列尽可能地长。这种序列具有明显的稳定性,沙堆的可交换性质是所有这些序列都等价于倾斜序列的置换,也就是说,对于任何顶点<math>v</math>,在所有合法的稳定序列中<math>v</math>的崩塌次数都是相同的。根据最小作用原理,最小稳定序列等价于合法的(且稳定的)崩塌序列的置换。特别地,由最小稳定序列产生的构型与由最大合法序列产生的构型是相同的。 |