通过描述必须运行的完整实例集以及在其中一个实例上运行后输出的输出来指定算法问题。一个问题和一个问题实例之间的区别是根本的。称为排序的算法问题定义如下：[Skiena：2008：ADM：1410219]
问题：排序
输入：一系列n键，a_1, a_2, ..., a_n。
输出：对输入序列进行重新排序，以便 a'_1 <= a'_2 <= ... <= a'_{n-1} <= a'_n
排序的实例可能是字符串数组（例如）{ Haskell, Emacs }或数字序列（例如）{ 154, 245, 1337 }。