[发明专利]跨个别过程增强约束求解器的性能

权利要求书

1.一种用于重用与针对问题域的约束求解运算关联的信息的方法，所述方法包括：

从所述问题域接收用于约束问题的规范表示；

在问题高速缓存中搜寻与所述规范表示对应的条目；并且

如果对应条目在所述问题高速缓存中不存在，则在所述问题高速缓存中产生用于所述规范表示的条目；

否则，如果对应条目存在于所述问题高速缓存中，则通过重用与所述问题高速缓存中的所述对应条目关联的求解器试探法来生成所述规范表示的解。

2.根据权利要求1所述的方法，其中在所述问题高速缓存中产生用于所述规范表示的条目包括：

在所述问题高速缓存中存储所述约束问题的所述规范表示；

从多个可用试探法中选择求解器试探法；

通过使用所述选择的求解器试探法来生成所述规范表示的解，其中只要所述选择的试探法无法在预定时间段内生成解，则系统选择新的求解器试探法并且使用所述新的试探法以生成所述规范表示的解；并且

将所述选择的求解器试探法与所述问题高速缓存中的所述规范表示条目关联。

3.根据权利要求1所述的方法，其中所述方法还包括：监视在生成规范表示的解时的计算时间，并且在所述问题高速缓存中的所述对应规范表示条目中存储所述计算时间。

4.根据权利要求3所述的方法，其中所述方法还包括使用后台过程来精化对求解器试探法的选择。

5.根据权利要求1所述的方法，其中执行所述方法的求解器服务器能够执行多个同时线程，其中相应线程与独立约束问题关联。

6.根据权利要求1所述的方法，其中所述方法还包括将约束问题转换成规范表示。

7.根据权利要求1所述的方法，其中所述方法还包括通过在所述问题高速缓存中记录和保留用来第一次求解指定的规范表示的求解器试探法、由此允许当在以后时间求解所述指定的规范表示时使用相同试探法来提供用于所述规范表示的持久解。

8.根据权利要求7所述的方法，其中所述方法还包括通过在所述问题高速缓存中记录和保留用来第一次求解指定的规范表示的随机种子、由此允许系统产生与求解个别规范表示的顺序无关的恒定解来为所述规范表示提供随机稳定性。

9.根据权利要求1所述的方法，其中所述方法还包括：记录用于问题域的约束问题解序列，并且为后续问题域重放所述解序列。

10.根据权利要求1所述的方法，其中所述方法还包括跨与一个或者多个应用关联的多个独立问题域重用所述问题高速缓存的信息。

11.一种存储指令的计算机可读存储介质，所述指令在由计算机执行时使所述计算机执行一种用于重用与针对问题域的约束求解运算关联的信息的方法，所述方法包括：

从所述问题域接收用于约束问题的规范表示；

在问题高速缓存中搜寻与所述规范表示对应的条目；并且

如果对应条目在所述问题高速缓存中不存在，则在所述问题高速缓存中产生用于所述规范表示的条目；

否则，如果对应条目存在于所述问题高速缓存中，则通过重用与所述问题高速缓存中的所述对应条目关联的求解器试探法来生成所述规范表示的解。

12.根据权利要求11所述的计算机可读存储介质，其中在所述问题高速缓存中产生用于所述规范表示的条目包括：

在所述问题高速缓存中存储所述约束问题的所述规范表示；

从多个可用试探法中选择求解器试探法；

通过使用所述选择的求解器试探法来生成所述规范表示的解，其中只要所述选择的试探法无法在预定时间段内生成解，系统选择新的求解器试探法并且使用所述新的试探法以生成所述规范表示的解；并且

将所述选择的求解器试探法与所述问题高速缓存中的所述规范表示条目关联。

13.根据权利要求11所述的计算机可读存储介质，其中所述方法还包括使用后台过程来精化对求解器试探法的选择。

14.根据权利要求11所述的计算机可读存储介质，其中执行所述方法的求解器服务器能够执行多个同时线程，其中相应线程与独立约束问题关联。

15.根据权利要求11所述的计算机可读存储介质，其中所述方法还包括将约束问题转换成规范表示。