LHF:做了一些修改,但是算法描述第四步不准确,因为在第四步前面<math>l</math>是固定的,则无法增长以让<math>\lVert M_l \rVert \to \infty</math>;直到后面才<math>l \gets l+1</math>。如果这一步的判断条件写成<math>C_μ(M_l) = \lim\limits_{l \to \infty} \lVert M_l \rVert \underset{ϵ \to 0}{=} \infty</math>就知道无法计算。算法这一步或许有更好的描述。 |