为什么ORTOOLS引导的局部搜索是从考虑约束编程的可行解开始的？

ORTOOLS引导的局部搜索是从考虑约束编程的可行解开始的，主要基于以下几个原因：

1. 约束编程的可行解：约束编程是一种解决复杂问题的方法，它通过定义变量之间的约束关系来描述问题，并通过搜索算法寻找满足约束的可行解。局部搜索是约束编程中的一种搜索策略，它从一个可行解开始，通过改变变量的赋值来搜索更优的解。因此，ORTOOLS选择从考虑约束编程的可行解开始，是为了利用约束编程的优势和特点来进行搜索。
2. 可行解的基础上进行优化：局部搜索算法通常从一个可行解开始，通过改变变量的赋值来搜索更优的解。这种策略可以保证搜索过程始终在可行解的空间内进行，避免了搜索无效解的浪费。因此，ORTOOLS选择从考虑约束编程的可行解开始，是为了在搜索过程中始终保持问题的可行性，并在此基础上进行优化。
3. 提高搜索效率：局部搜索算法通常通过改变变量的赋值来搜索更优的解，这种局部改变的策略可以在搜索空间中快速找到更优解的邻近解。因此，ORTOOLS选择从考虑约束编程的可行解开始，是为了利用局部搜索的特点，提高搜索效率，并尽快找到更优的解。

总结起来，ORTOOLS引导的局部搜索从考虑约束编程的可行解开始，是为了利用约束编程的优势和特点，保证搜索过程始终在可行解的空间内进行，并通过局部改变的策略提高搜索效率，以寻找更优的解。