标签：A算法的有穷性是指算法必须能在有限时间和有限步骤内执行完