______指的是解决问题的有限运算序列。