[论文解读] ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm

Siddharth Chitnis, Madhu Yennamani+1 more|ArXiv.org|Jan 17, 2007

Spreadsheets and End-User Computing参考文献 7被引用 4

一句话总结

ExSched 是一款 Microsoft Excel 插件，通过允许将有限域约束附加到单元格上，将电子表格范式扩展至求解约束满足问题（CSP），从而实现对调度、时间表安排和配置问题的交互式、用户友好的求解。它为 CLP(FD) 提供高层接口，抽象掉初学者用户所需的底层逻辑编程复杂性。

ABSTRACT

We report on the development of a general tool called ExSched, implemented as a plug-in for Microsoft Excel, for solving a class of constraint satisfaction problems. The traditional spreadsheet paradigm is based on attaching arithmetic expressions to individual cells and then evaluating them. The ExSched interface generalizes the spreadsheet paradigm to allow finite domain constraints to be attached to the individual cells that are then solved to get a solution. This extension provides a user-friendly interface for solving constraint satisfaction problems that can be modeled as 2D tables, such as scheduling problems, timetabling problems, product configuration, etc. ExSched can be regarded as a spreadsheet interface to CLP(FD) that hides the syntactic and semantic complexity of CLP(FD) and enables novice users to solve many scheduling and timetabling problems interactively.

研究动机与目标

• 开发一种用户友好的接口，用于求解约束满足问题（CSP），而无需用户具备逻辑编程专业知识。
• 通过在单元格上引入有限域约束，将传统基于算术表达式的电子表格模型进行推广。
• 通过熟悉的 Excel 环境，实现对时间表安排和调度等基于二维表格的问题的交互式、可视化求解。
• 通过抽象语法和语义复杂性，弥合高层问题建模与底层 CLP(FD) 执行之间的差距。

提出的方法

• 该系统通过允许用户将有限域约束附加到单个单元格上，扩展了 Excel，类似于输入算术公式的方式。
• 约束使用嵌入在电子表格单元格中的高层约束逻辑编程（CLP）语法表达。
• 底层求解器利用 CLP(FD) 技术执行约束传播并搜索一致解。
• 该接口支持增量求解和交互式反馈，允许用户修改约束并实时观察解的更新。
• 该工具与 Excel 的基于单元格的结构集成，保留了熟悉的导航方式和数据布局，同时支持基于约束的计算。
• 解在电子表格中直接计算并显示，通过单元格着色或状态指示器验证并可视化约束满足情况。

实验结果

研究问题

• RQ1 电子表格式界面是否能有效建模和求解约束满足问题，而无需用户编写代码？
• RQ2 如何通过可视化、基于单元格的界面抽象并呈现 CLP(FD) 的表达能力？
• RQ3 通用工具如 ExSched 在多大程度上能够以交互式且直观的方式支持现实世界中的调度和时间表安排问题？
• RQ4 将约束逻辑编程与广泛使用的应用程序（如 Excel）集成，如何提升非专家用户对工具的可访问性？

主要发现

• ExSched 有效使用户能够在熟悉的电子表格环境中建模和求解 CSP，显著降低了约束编程的入门门槛。
• 该系统允许用户在单元格中直接定义约束，并实时获得一致性与解状态的反馈。
• 该工具证明，CLP(FD) 的功能可以被有效抽象为可视化、交互式界面，同时不损失表达能力。
• 通过将 CLP(FD) 嵌入 Excel，ExSched 使非程序员能够交互式地求解复杂的调度和配置问题。
• 该方法在时间表安排和资源分配等二维表格问题中表现有效，因为约束自然地集中于单元格中。
• 评估表明，该界面支持直观的问题建模与解探索，使约束求解对新手用户更加易用。