We study systems of String Equations where block variables need to be assigned strings so that their concatenation gives a specified target string. We investigate this problem under a multivariate complexity framework, searching for tractable special cases such as systems of equations with few block variables or few equations. Our main results include a polynomial-time algorithm for size-2 equations, and hardness for size-3 equations, as well as hardness for systems of two equations, even with tight constraints on the block variables. We also study a variant where few deletions are allowed in the target string, and give XP algorithms in this setting when the number of block variables is constant.
翻译:我们研究弦等式系统, 需要给区块变量指定字符串, 以便它们的组合能给出一个指定的目标字符串。 我们在一个多变复杂框架下调查这一问题, 寻找可移动的特殊案例, 如区块变量数少或方程数少的方程系统。 我们的主要结果包括大小二方程的多数值- 时间算法, 大小三方程的硬度, 以及两个方程的硬度, 即使对区块变量有严格的限制 。 我们还研究一个允许目标字符串中很少删除的变量, 并在区块变量数不变的情况下在此设置 XP 算法 。