[論文レビュー] 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をかける乗算を用いた符号化機構を導入し、和集合と和を加法のみでシミュレートする。
• 存在的および全称的量化子を再帰的集合上で方程式系を用いてシミュレートし、算術階層の表現を可能にした。
• 木のパス存在問題への還元を用いて、和と最終的に周期的定数を備えた方程式系における解の存在問題がΣ¹₁完全であることを証明した。
• 自然数上の解と符号化された整数上の解の間の全単射を構築し、和集合と和を加法のみでシミュレートする。
• 解の一意性がΔ¹₂に属し、Π¹₁-hardであることを証明し、タイトな複雑さの境界を確立した。

実験結果

リサーチクエスチョン

• RQ1 和と最終的に周期的定数のみを用いた整数の集合に関する連立式が、すべてのハイパーアリズメティカル集合を表現できるか？
• RQ2 和集合と和を用いた整数の集合に関する方程式の表現力は、ハイパーアリズメティカル階層と同等か？
• RQ3 整数の集合に関する方程式系が解を持つかどうかを決定する問題の計算複雑度は何か？
• RQ4 和集合を除く和のみを用いた方程式が、適切な符号化のもとで、すべてのハイパーアリズメティカル集合を表現できるか？
• RQ5 このような方程式系において、解の一意性の複雑さは解の存在問題の複雑さと比べてどうか？

主な発見

• 和集合と和を用い、最終的に周期的定数を備えた整数の集合に関する方程式の、一意な解によって表現可能な集合のクラスは、ちょうどハイパーアリズメティカル集合のクラスに一致する。
• 特定の符号化（集合Sを{16n | n ∈ S}にマッピングする）を用いることで、和のみを用いた方程式が、すべてのハイパーアリズメティカル集合を表現できる。
• 和と最終的に周期的定数を備えた整数の集合に関する方程式系が解を持つかどうかを決定する問題はΣ¹₁完全である。
• 方程式系が一意な解を持つかどうかをテストする問題はΠ¹₁-hardであり、Δ¹₂に属するため、高いが有界な複雑さである。
• 和集合と和を用いた自然数の集合に関する方程式系は、ちょうど再帰的集合を表現できるが、和のみを用いた方程式系は再帰的集合の符号化を表現できる。
• これらの結果により、言語式および自由群の部分集合に関する方程式の最も一般的なタイプの表現力が決定づけられた。