HyFlex

HyFlex是一个用于跨领域启发式搜索方法开发的软件框架，由诺丁汉大学计算机科学学院的自动化调度、优化和规划（ASAP）研究组开发。该框架提供了一个处理不同组合优化问题的通用软件接口，并提供了问题特定的算法组件。HyFlex包含四个问题域：最大可满足性（MAX-SAT）、一维装箱、排列流水车间和人员调度，每个问题域包含10个训练实例，总计40个实例。这些实例包括来自实际工业应用的数据，以及一系列问题特定的启发式和搜索操作。HyFlex不仅提供数据集，还提供围绕数据集的问题特定软件，使得算法设计者无需深入了解问题领域，即可专注于设计适应性强的通用启发式搜索算法。该框架已被国际研究社区采用，并支持了第一届跨领域启发式搜索挑战赛（CHeSC）。HyFlex is a software framework for the development of cross-domain heuristic search methods, developed by the Automated Scheduling, Optimisation and Planning (ASAP) Research Group at the School of Computer Science, University of Nottingham. The framework provides a general-purpose software interface for handling various combinatorial optimization problems, alongside problem-specific algorithmic components. HyFlex encompasses four problem domains: Maximum Satisfiability (MAX-SAT), One-Dimensional Bin Packing, Permutation Flow Shop Scheduling, and Personnel Scheduling. Each domain contains 10 training instances, totaling 40 instances. These instances include data from real-world industrial applications, as well as a suite of problem-specific heuristics and search operators. Beyond providing the dataset itself, HyFlex also offers problem-specific software tools built around the dataset, allowing algorithm designers to focus on designing flexible general-purpose heuristic search algorithms without requiring in-depth knowledge of individual problem domains. This framework has been adopted by the international research community and supported the inaugural Cross-Domain Heuristic Search Challenge (CHeSC).