[论文解读] Interactive Configuration by Regular String Constraints

Esben Rune Hansen, Henrik Reif Andersen|ArXiv.org|Dec 12, 2006

Algorithms and Data Compression参考文献 15被引用 4

一句话总结

本文提出一种新颖的数据结构，通过空间优化的大型确定性有限自动机（DFA）模拟，实现了对受正则表达式约束的字符串变量的高效、实时系统配置。该方法将存储空间从 Ω(kⁿ) 减少至 O(kn)，实现指数级的空间节省（针对 n 个长度为 k 的字符串变量），同时支持交互式更新操作（如追加字符或字符串补全），并能无缝集成至现有的基于BDD的约束求解器，以处理混合类型变量。

ABSTRACT

A product configurator which is complete, backtrack free and able to compute the valid domains at any state of the configuration can be constructed by building a Binary Decision Diagram (BDD). Despite the fact that the size of the BDD is exponential in the number of variables in the worst case, BDDs have proved to work very well in practice. Current BDD-based techniques can only handle interactive configuration with small finite domains. In this paper we extend the approach to handle string variables constrained by regular expressions. The user is allowed to change the strings by adding letters at the end of the string. We show how to make a data structure that can perform fast valid domain computations given some assignment on the set of string variables. We first show how to do this by using one large DFA. Since this approach is too space consuming to be of practical use, we construct a data structure that simulates the large DFA and in most practical cases are much more space efficient. As an example a configuration problem on $n$ string variables with only one solution in which each string variable is assigned to a value of length of $k$ the former structure will use $Ω(k^n)$ space whereas the latter only need $O(kn)$. We also show how this framework easily can be combined with the recent BDD techniques to allow both boolean, integer and string variables in the configuration problem.

研究动机与目标

• 实现对受正则表达式约束的字符串变量的实时、无回溯系统配置。
• 克服在配置问题中建模字符串约束时，单体DFA带来的指数级空间开销。
• 支持交互式用户输入，包括增量式字符串输入和补全操作，并实现快速的有效域重新计算。
• 将字符串约束与现有基于BDD的配置系统（支持布尔型和整型变量）进行集成。
• 为涉及字符串的复杂配置问题，提供一种实用且可扩展的替代方案，避免朴素DFA构造的低效问题。

提出的方法

• 构建一个大型DFA，用于识别基于正则表达式约束的所有有效字符串变量赋值。
• 设计一种紧凑的数据结构，通过共享状态表示，模拟大型DFA的行为，而无需存储其所有状态。
• 采用增量更新机制：当用户向字符串变量追加字符时，高效地更新模拟状态。
• 通过将行结束符（eol）视为终止状态，支持字符串补全，防止进一步输入。
• 应用启发式方法合并等价的匹配条件（例如，match(x,α) ∨ match(x,β) → match(x,α∪β)），以减少状态爆炸。
• 通过将DFA模拟视为黑盒约束求解器，将字符串约束引擎与基于BDD的系统进行集成。

实验结果

研究问题

• RQ1 能否通过紧凑数据结构在不存储所有状态的前提下，模拟大型DFA以支持字符串约束的交互式配置？
• RQ2 如何在保持正确有效域计算的前提下，高效处理增量式字符串输入（如追加字符）？
• RQ3 所提出的模拟方法在空间复杂度上与单体DFA相比如何，特别是在最坏情况下的表现？
• RQ4 该框架能否扩展以统一支持字符串变量与现有基于BDD的变量（布尔型、整型）的混合配置系统？
• RQ5 如何使约束指定的输入语言更友好，同时保持高效执行？

主要发现

• 所提出的模拟数据结构将空间复杂度从单体DFA的 Ω(kⁿ) 降低至 n 个长度为 k 的字符串变量的最坏情况 O(kn)。
• 该方法在 250ms 内完成有效域计算，满足交互式配置的实时性要求。
• 该框架成功与基于BDD的系统集成，实现了布尔型、整型和字符串变量的混合变量配置。
• 通过合并正则表达式（如 α ∪ β）的启发式方法，在实践中显著减少了空间占用和状态数量。
• 通过 eol 字符实现的字符串补全支持，可建模用户操作（如按回车键或切换输入字段）的行为。
• 该方法保持了正确性与完备性，确保在交互会话中不会遗漏任何有效配置。