[논문 리뷰] Remarks on separating words

Erik D. Demaine, Sarah Eisenstat외 2명|arXiv (Cornell University)|2011. 03. 23.

semigroups and automata theory참고 문헌 8인용 수 6

한 줄 요약

이 논문은 길이가 최대 n인 두 개의 서로 다른 이진 단어를 구별하기 위해 필요한 최소 결정성 유한 오토마타(DFA) 크기 문제를 다룬다. 최악의 경우 분리 복잡도 S(n)이 k ≥ 2일 때 알파벳 크기에 관계없이 독립적임을 증명하고, 결정성 및 비결정성 오토마타에 대한 새로운 하한 및 상한을 제시하며, 2DPDA 및 순열 오토마타와 같은 변형 문제를 탐색한다. 이는 2DPDA가 O(log n) 상태를 사용해 단어를 분리할 수 있음을 보이며, 대칭군 내 동일 관계의 구조적 제약 조건을 규명한다.

ABSTRACT

The separating words problem asks for the size of the smallest DFA needed to distinguish between two words of length <= n (by accepting one and rejecting the other). In this paper we survey what is known and unknown about the problem, consider some variations, and prove several new results.

연구 동기 및 목표

• 모든 길이가 최대 n인 서로 다른 두 단어를 분리하기 위해 DFA가 필요로 하는 최대 상태 수 S(n)에 대한 날카로운 상한 및 하한을 결정하는 것.
• 분리 복잡도가 알파벳 크기에 의존하는지 조사하여, k ≥ 2일 때는 불변임을 보이는 것.
• 비결정성 오토마타, 2DPDA, 순열 오토마타 등 문제의 변형을 분석하는 것.
• 모든 군 준동형사상에 대해 단어의 동치성에 기인하는 대칭군 내 동일 관계의 구조를 탐색하는 것.

제안 방법

• 서로 다른 길이의 단어를 분리하기 위해, i ≠ j일 때 i ≢ j (mod p)를 만족하는 소수 p ≤ 4.4 log n의 존재를 이용한 수론적 도구를 사용하여 작은 DFA를 구성한다.
• 교차곱셈 구성법과 최소화 알고리즘을 적용하여 DFA의 구별 단어 길이를 제한한다.
• 단일 기호 비결정성 오토마타(NFA)에 대한 Chrobak의 구조 정리를 활용하여 비결정성 분리 복잡도에 대한 한계를 유도한다.
• 스택 기반 카운팅을 통해 입력 위치에 대한 이진 탐색을 시뮬레이션함으로써 O(log n) 상태를 사용하는 2DPDA를 구성한다.
• 알파벳 크기를 줄이는 방법을 통해 더 큰 알파벳을 사용하는 단어 쌍을 이진 단어 쌍으로 환원하여 분리 복잡도를 유지한다.
• 모든 준동형사상 σ: {0,1}* → S_n에 대해 σ(w) = σ(x)가 되는 단어 w, x를 연구함으로써 S_n 내 동일 관계를 분석한다.

실험 결과

연구 질문

• RQ1 DFA를 사용해 길이가 최대 n인 두 서로 다른 단어를 분리하기 위해 필요한 최대 상태 수 S(n)의 점근적 성장률은 무엇인가요?
• RQ2 분리 복잡도는 입력 알파벳 크기에 따라 달라지며, 만약 그렇지 않다면 그 이유는 무엇인가요?
• RQ3 비결정성 분리(nsep(w,x))에 대한 기존 상한 및 하한을 향상시킬 수 있을까요?
• RQ4 길이 n인 두 서로 다른 단어를 분리하기 위해 필요한 2DPDA의 최소 크기는 얼마인가요?
• RQ5 S_n에서 가장 짧은 비자명한 동일 관계는 무엇인가요? 즉, 모든 준동형사상 σ에 대해 σ(y) = 항등원이 되는 {0,1,0⁻¹,1⁻¹}에서 구성된 단어 y의 길이는 얼마인가요?

주요 결과

• S(n) = S₂(n)으로, k ≥ 2일 때 알파벳 크기에 관계없이 분리 복잡도가 일정함을 의미하며, 임의의 k-진 단어 쌍은 동일한 분리 비용을 갖는 이진 단어 쌍으로 환원 가능하다.
• 서로 다른 길이를 가진 단어에 대해 sep(w,x) = O(log n)이며, 이 한계는 날카로우며, Ω(log n) 상태가 필요한 쌍이 존재함을 보여준다.
• S(n)에 대한 최선의 알려진 상한은 Robson가 확립한 O(n²/⁵ (log n)³/⁵)이며, 본 논문에서는 더 나은 한계를 증명하지 못한다.
• 2DPDA는 스택 기반 카운팅을 통해 입력 위치에 대한 이진 탐색을 시뮬레이션함으로써, 길이 n인 두 서로 다른 단어를 O(log n) 상태로 분리할 수 있다.
• 단일 기호 NFA에 대해, 결정성 대비 비결정성 분리 복잡도 비율에 대해 Ω(√log |x|)의 하한이 증명된다.
• S_n에서 가장 짧은 비자명한 동일 관계의 길이는 Gimadeev와 Vyalyi에 의해 2^O(√n log n)로 증명되었으며, n=4일 때 길이 11인 구체적인 예가 존재한다.