数论基础算法