该函数返回约束变量数组 "vars中最大可能值与下一个最大可能值之差最大的非固定约束变量的索引（大于等于 0（零））。 如果所有这些变量都已固定，则该函数返回-1。

该功能基于遗憾原则。 遗憾是在某种情况下可能做出的最佳决定与实际决定之间的差异。

该函数是一个预定义的选择函数，是 CP 优化器在搜索解决方案过程中绑定受限变量的顺序参数设置标准之一。