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>就知道无法计算。算法这一步或许有更好的描述。'''请词条创作者多多修改'''
|