后继函数是从当前状态生成下一个状态的函数，以及影响状态变化的选择。例如，在 8 个皇后问题中，一个状态可能是到目前为止 5 个皇后的位置，选择可能是放置下一个皇后的位置，并且后继函数将返回结果状态，其中有 6 个皇后在棋盘上。

通常，求解器将存储/缓存当前状态，做出选择，并使用后继函数来发现下一个状态是什么。然后它可能会在下一个状态上调用启发式函数，并决定是继续深入搜索树（或递归）还是在当前状态尝试另一个选择。