[논문 리뷰] On equations over sets of integers

Artur Jeż, Alexander Okhotin|2010. 01. 17.

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}로 매핑한다.
• 덧셈과 궁극적으로 주기적인 상수를 사용하는 정수 집합에 대한 연립방정식 시스템의 해가 존재하는지 여부를 판단하는 문제는 Σ¹₁-완전하다.
• 해가 유일한지 여부를 판단하는 문제는 Π¹₁-어려움을 가지며 Δ¹₂에 속한다. 이는 높지만 경계가 있는 복잡도임을 시사한다.
• 연합과 덧셈을 사용하는 자연수 집합에 대한 시스템은 정확히 재귀적 집합을 표현할 수 있으며, 덧셈만을 사용하는 시스템은 재귀적 집합의 인코딩을 표현할 수 있다.
• 이 결과들은 가장 일반적인 형태의 언어 방정식과 자유군의 부분집합에 대한 방정식의 표현력을 확정한다.