数学工具,在很多离散算法中有用, very useful