数論アルゴリズムの複雑性解析と最適化