[论文解读] On equations over sets of integers

Artur Jeż, Alexander Okhotin|Jan 17, 2010

semigroups and automata theory参考文献 27被引用 7

一句话总结

该论文证明，当使用最终周期常数时，使用并集和加法运算的整数集合上的方程组可以精确表示超递归集合。此外，论文还表明，即使仅使用加法运算的方程——在适当的编码下——也能捕捉所有超递归集合，且解的存在性问题为Σ¹₁完全，从而确定了语言方程和自由群上方程的表达能力。

ABSTRACT

Systems of equations with sets of integers as unknowns are considered. It is shown that the class of sets representable by unique solutions of equations using the operations of union and addition $S+T=\makeset{m+n}{m \in S, \: n \in T}$ and with ultimately periodic constants is exactly the class of hyper-arithmetical sets. Equations using addition only can represent every hyper-arithmetical set under a simple encoding. All hyper-arithmetical sets can also be represented by equations over sets of natural numbers equipped with union, addition and subtraction $S \dotminus T=\makeset{m-n}{m \in S, \: n \in T, \: m \geqslant n}$. Testing whether a given system has a solution is $Σ^1_1$-complete for each model. These results, in particular, settle the expressive power of the most general types of language equations, as well as equations over subsets of free groups.

研究动机与目标

• 确定使用并集和加法等基本运算的整数集合上的方程组的表达能力。
• 研究仅使用加法（不使用并集）的方程是否仍能在某种编码下表示所有超递归集合。
• 刻画此类方程组的解的存在性与唯一性的复杂度。
• 建立一元字母表上的语言方程与超递归阶层之间的联系。
• 证明使用加法和并集的整数集合上的方程可以捕捉完整的超递归类。

提出的方法

• 作者将先前关于自然数上使用并集和加法运算可表示递归集合的结果，推广至整数的设定。
• 他们引入一种编码机制，通过乘以16并包含特定常数，以仅使用加法和并集来模拟集合运算。
• 他们通过方程组模拟对递归集合的全称与存在量词，从而实现算术阶层的表示。
• 他们通过从树路径存在性问题的约化，证明了在使用加法和最终周期常数的系统中，解的存在性为Σ¹₁完全。
• 他们构建了自然数上的解与整数上编码解之间的双射，以仅使用加法来模拟并集和加法。
• 他们证明了解的唯一性属于Δ¹₂类，且为Π¹₁难，从而确立了紧致的复杂度界限。

实验结果

研究问题

• RQ1 仅使用加法和最终周期常数的整数集合上的方程组是否能表示每一个超递归集合？
• RQ2 使用并集和加法运算的整数集合上的方程的表达能力是否等价于超递归阶层？
• RQ3 确定一个使用加法和最终周期常数的整数集合上的方程组是否存在解的计算复杂度是多少？
• RQ4 在适当的编码下，仅使用加法（不使用并集）的方程是否仍能表示所有超递归集合？
• RQ5 此类方程组中，解的唯一性复杂度与解的存在性复杂度相比如何？

主要发现

• 使用并集和加法运算、并带有最终周期常数的整数集合上的方程的唯一解所能表示的集合类，恰好是超递归集合类。
• 当使用特定编码（将集合S映射为{16n | n ∈ S}）时，仅使用加法的方程可以表示每一个超递归集合。
• 确定一个使用加法和最终周期常数的整数集合上的方程组是否存在解的问题，为Σ¹₁完全。
• 测试一个方程组是否具有唯一解的问题为Π¹₁难，且属于Δ¹₂类，表明其具有高度但有界的复杂度。
• 仅使用并集和加法的自然数集合上的方程组可以表示恰好递归集合，而仅使用加法的方程组可以表示递归集合的编码。
• 这些结果确定了最一般类型的语言方程和自由群子集上的方程的表达能力。