机构名称：
¥ 1.0
任何定理供者的大多数组件都可以进行参数化和微调。为参数选择正确的值通常并不容易。通常没有明确的最佳选择，即使有一个总体的非最佳选择，对于某些类型的问题也可能更好。所有暴露参数的特定值选择是一种策略。使用正确的策略在给定超时内解决问题通常至关重要。解决此问题的一种方法是使定理供者向用户展示选项，使他们能够配置使用的策略。这是一个无花果叶：定义正确的策略通常需要对求解器的内部运作的深入了解。此外，供者的开发人员必须设置一个明智的默认值。这也不容易：通常，供奉献的开发人员不知道摊子会遇到的问题类型。默认值通常也应有些通用。总体而言，设计和使用策略是值得关注的主题。由于对于许多问题，有一种可以在短时间内解决问题的策略，因此自然要在该问题上尝试多种策略。最简单的方法是从列表中逐一尝试策略。稍微复杂的是准备一系列策略列表，并配对超时：如果运行更长的时间，可能有些策略会减少回报。我们将这样的列表称为时间表。在本文中，我们提供了一个工具箱来生成和使用时间表。工具箱的核心是一种基于整数编程的方法，可以找到
每个人的最佳策略时间表
主要关键词
相关文件推荐
