Time Polynomial In Input or Output

  • Yuri Gurevich ,
  • Saharon Shelah

J. Symbolic Logic | , Vol 54(3): pp. 1083-1088

There are simple algorithms with large outputs; it is misleading to measure the time complexity of such algorithms in terms of inputs only. In this connection, we introduce the class PIO of functions computable in time polynomial in the maximum of the size of input and the size of output, and some other similar classes. We observe that there is no notation system for any extension of the class of total functions computable on Turing machines in time linear in output and give a machine-independent definition of partial PIO functions.