在最坏的情况下，如何证明ukkonen的算法（后缀树的构造）在线性时间内运行？

Question

我已经实现了ukkonen的后缀树构建算法，但是我很难证明它可以线性运行。