在搜索空间中对每一对编辑动作进行可交换性二分类，可以恢复制版操作之间的偏序关系，并用于剪枝搜索空间。