[논문 리뷰] Solutions of Word Equations Over Partially Commutative Structures

Volker Diekert, Artur Jeż외 1명|arXiv (Cornell University)|2016. 01. 01.

semigroups and automata theory참고 문헌 15인용 수 7

한 줄 요약

이 논문은 자유 부분적으로 교환 가능한 모노이드와 군(예: 오른쪽-각 아르틴 및 코x터 군) 위에서의 단어 방정식의 해집합이, 인식 가능한 제약 조건을 갖는 경우 EDT0L 언어임을 입증한다. 이는 확장된 모노이드 위의 비결정성 유한 자동기(NFA)에 의해 인식 가능하다. 해집합은 NSPACE(n log n) 내에서 결정 가능하며, 만족 가능성과 유한성 문제 역시 이 복잡도 클래스 내에서 결정 가능하다. 이는 이전의 자유 모노이드와 군에 대한 결과를 일반화한 것이다.

ABSTRACT

Let $M(A,I)$ be a free partially commutative monoid with involution and $G(A,I)$ be its quotient group, e.g. a right-angled Artin or Coxeter group. Given a system of word equations over $M(A,I)$ with recognizable constraints with input size $n$ we show the structural result about the solution set of the system: the set of all solutions in $M(A,I)$ or in the group $G(A,I)$ is an EDT0L language. That is, it is given by an NFA $\mathcal{A}$ recognizing endomorphisms over some extended monoid. Moreover, $\mathcal{A}$ is effectively constructible by an NSPACE($n \log n$)-transducer. This implies that Satisfiability: `Is the system is solvable?' and Finiteness: `Are there infinitely many solutions?' can be decided in NSPACE($n \log n$). In the uniform version, these problems are PSPACE-complete, but for a suitable subclass of constraints we have more precise complexities and we conjecture that the decision problems above are NP-complete in this setting. Our results apply also to word equation over free monoids in the classical case where the involution is reading words right-to-left. This allows to specify that solutions are restricted to be palindromes.

연구 동기 및 목표

• 부분적으로 교환 가능한 모노이드와 군, 특히 오른쪽-각 아르틴 및 코x터 군에서의 단어 방정식의 결정 가능성을 다룬다.
• 자유 모노이드와 자유 군에 대한 이전 결과를 포함성과 부분적 교환 관계를 포함하도록 일반화한다.
• 인식 가능한 제약 조건 하에서 해집합이 EDT0L 언어임을 보이며, 이를 통해 통일적이고 효과적인 기술을 제공한다.
• 만족 가능성과 해집합의 유한성에 대한 엄밀한 복잡도 한계를 NSPACE(n log n)에서 설정한다.
• 해를 모두 포함하는 엔도모르피즘을 인식하는 NFA를 구성하는 데 효과적인 방법을 제공한다.

제안 방법

• 기존 모노이드에서 방정식을 자유 자원 모노이드로 옮기기 위해 커버링 알파벳과 준동형을 도입한다.
• 단계 정규형을 정의하고 T-단순화를 사용하여 중복되거나 보이지 않는 성분을 제거함으로써 방정식 시스템을 단순화한다.
• 확장된 모노이드 위의 엔도모르피즘을 인식하는 자동기 U를 구성하며, 이는 NFA 전이를 통해 모든 해를 인코딩한다.
• 블록 압축과 쌍 압축 기법을 적용하여 방정식 크기를 줄이되, 해의 동치성은 유지한다.
• S-T 및 T-T 간선을 제거하기 위해 T-분할 및 T-상승 절차를 사용하여 시스템을 정규화된, 해결 가능한 형태로 변형한다.
• 자동기 U가 정규 전개 과정을 통해 언어를 생성하므로 해 언어가 EDT0L임을 증명한다.

실험 결과

연구 질문

• RQ1 부분적으로 교환 가능한 모노이드에서 인식 가능한 제약 조건을 갖는 단어 방정식의 해집합은 EDT0L 언어인가?
• RQ2 이러한 해집합의 만족 가능성과 유한성 문제는 NSPACE(n log n) 내에서 결정 가능한가?
• RQ3 모든 해에 해당하는 엔도모르피즘을 인식하는 NFA를 효과적으로 구성할 수 있는가?
• RQ4 포함성과 부분적 교환 관계는 단어 방정식의 구조와 결정 가능성에 어떤 영향을 미치는가?
• RQ5 해집합은 EDT0L 언어와 같은 통일된 형식 체계를 통해 효과적으로 기술될 수 있는가?

주요 결과

• 자유 부분적으로 교환 가능한 모노이드 또는 군에서 인식 가능한 제약 조건을 갖는 임의의 단어 방정식 시스템의 해집합은 EDT0L 언어이다.
• 모든 해를 인코딩하는 엔도모르피즘을 인식하는 NFA는 NSPACE(n log n) 내에서 효과적으로 구성 가능하다.
• 해집합의 만족 가능성과 유한성 문제 역시 NSPACE(n log n) 내에서 결정 가능하며, 이는 구성의 복잡도와 일치한다.
• 자연스러운 제약 조건의 부분 클래스에 대해서는 두 문제가 NP-완전일 것이라 추측한다.
• 증명은 순수 조합론적 방법이며 깊은 정리에 의존하지 않지만, 이전의 자유 모노이드와 군에 관한 연구 결과를 포함하고 일반화한다.