发表机构
University of Siegen（锡根大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究证明了直线程序表示的单词的散乱子序列判定问题是PSPACE完全的，下界由量化子集和问题的多项式时间归约得出。
AI 中文摘要
本文证明了由直线程序表示的两个单词的（散乱）子序列问题是PSPACE完全的，即使在二元字母表上也是如此。下界是通过从量化子集和问题进行多项式时间归约得到的。
英文摘要
It is shown that the (scattered) subsequence problem for two words represented by straight-line programs is PSPACE-complete, even over a binary alphabet. The lower bound is obtained by a polynomial-time reduction from quantified subset sum.
