polytime [cpsc/polytime]