[论文解读] Minimization of visibly pushdown automata is NP-complete

Olivier Gauwin, Anca Muscholl+1 more|arXiv (Cornell University)|Jul 22, 2019

Machine Learning and Algorithms参考文献 1被引用 5

一句话总结

本文通过引入‘嵌入’（immersions）的概念，证明了最小化显式栈下推自动机（VPA）是 NP-完全问题。嵌入是指一个确定性转移图，可通过不同的初始与终止状态配置识别多个正则语言。作者将嵌入最小化这一 NP-难问题归约至 VPA 最小化，从而确立了为给定语言寻找最小 VPA 的计算不可解性。

ABSTRACT

We show that the minimization of visibly pushdown automata is NP-complete. This result is obtained by introducing immersions, that recognize multiple languages (over a usual, non-visible alphabet) using a common deterministic transition graph, such that each language is associated with an initial state and a set of final states. We show that minimizing immersions is NP-complete, and reduce this problem to the minimization of visibly pushdown automata.

研究动机与目标

• 确立最小化显式栈下推自动机（VPA）的计算复杂度，VPA 是程序验证和 XML 模式验证中的核心模型。
• 证明 VPA 最小化本质上是困难的，与正则语言最小化不同，原因在于不存在唯一的最小自动机。
• 引入‘嵌入’（immersions）这一新概念——通过不同状态选择可识别多个语言的共享确定性转移图。
• 证明嵌入最小化是 NP-完全问题，从而确立 VPA 最小化的 NP-难性。
• 为理解实践中高效 VPA 最小化算法的局限性提供理论基础。

提出的方法

• 将‘嵌入’形式化为一种模型：一个单一的确定性有限自动机（DFA），配备多组初始与终止状态配置，每组定义不同的正则语言。
• 通过质数和模运算计数，将 3-着色问题归约至嵌入最小化，以编码图的结构。
• 证明当且仅当基础图是 3-可着色时，存在大小不超过 N 的最小嵌入，该证明基于环分解与状态划分。
• 利用最小嵌入的结构，表明顶点集可划分为两部分：一部分用于‘分发’环（模 m），另一部分用于‘计数’环（模 p，p ∈ P）。
• 通过最小化约束，限定环的数量：最多三个 m-环，且每个质数 p ∈ P 恰好一个 p-环。
• 通过使用具有可见栈行为的显式栈下推自动机编码相同的语言族，将嵌入最小化问题归约至 VPA 最小化。

实验结果

研究问题

• RQ1 VPA 最小化是否计算上困难？若是，其复杂度类为何？
• RQ2 能否高效求解‘嵌入’最小化问题——即通过不同状态选择支持多个语言的共享 DFA 的最小化？
• RQ3 是否存在从已知 NP-完全问题到嵌入最小化的归约，且保持最小性与结构？
• RQ4 若存在 VPA 的规范形式，是否意味着可高效最小化？还是规范 VPA 可能比最小 VPA 指数级更大？
• RQ5 能否通过最小等价 VPA 的大小近似图的色数？这对近似算法有何启示？

主要发现

• VPA 最小化是 NP-完全问题，解决了自动机理论中长期悬而未决的开放问题。
• 即使限制在确定性 VPA 情况下，该问题仍为 NP-完全，凸显其内在计算难度。
• 嵌入最小化——即寻找一个共享 DFA，使其通过不同初始与终止状态配置支持多个语言，且大小最小——是 NP-完全问题。
• 当且仅当关联图是 3-可着色时，存在大小不超过 N 的最小嵌入，建立了图着色与自动机最小化之间的紧密对应关系。
• 该构造表明，VPA 最小化的任意常数因子近似都是 NP-难的，原因在于其源于色数近似的归约。
• 某一语言的规范 VPA 可能比最小 VPA 指数级更大，这解释了为何实践中缺乏高效的最小化算法。