算法---数论