多項式時間還元関数