多項式時間関数