解析数論における多項式時間アルゴリズムの解析