rmula_76时，并非随机选择，而是由一个选择函数formula_87决定。重复上述步骤，叠代地将剩余向量formula_74投影到集合formula_4中最匹配formula_74的向量，并将formula_74分解。匹配追踪的步骤可以由数学归纳法来表示formula_99剩余向量formula_94被分解为formula_101由于formula_3和formula_103正交，可得下式formula_104当分解到第formula_105次时，formula_53被分解为formula_1