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

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

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