[논문 리뷰] On the Minimal Uncompletable Word Problem

Gabriele Fici, Elena V. Pribavkina외 1명|arXiv (Cornell University)|2010. 02. 09.

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

한 줄 요약

이 논문은 유한 알파벳 위의 비완전 집합에서 완성되지 않는 단어의 최소 길이를 조사하며, 이러한 단어의 길이가 $2k^2$를 초월하고 $k$가 최대 단어 길이일 때 점점 $3k^2$로 수렴함을 보여준다. $k \geq 7$인 경우, $3k^2 - 9k + 1$에 도달하는 비완전 집합에 대한 명시적 구성과 계산적 증거를 제공하며, Restivo의 $2k^2$ 상한 추측에 도전한다.

ABSTRACT

Let S be a finite set of words over an alphabet Sigma. The set S is said to be complete if every word w over the alphabet Sigma is a factor of some element of S*, i.e. w belongs to Fact(S*). Otherwise if S is not complete, we are interested in finding bounds on the minimal length of words in Sigma* which are not elements of Fact(S*) in terms of the maximal length of words in S.

연구 동기 및 목표

• 비완전 유한 집합 $S$에 대해 최소 완성되지 않는 단어 길이의 날카로운 상한 및 하한을 결정하는 것.
• 최대 단어 길이가 $k$인 집합에 대해 Restivo의 $2k^2$ 상한 추측이 성립하는지 조사하는 것.
• 최소 완성되지 않는 단어 길이가 $2k^2$를 초월하는 비완전 집합 $S$의 명시적 예를 제시하는 것.
• 특히 길이 $k$인 무경계 단어 $u$를 포함하는 최소 완성되지 않는 단어의 구조적 성질을 분석하는 것.
• 증가하는 $k$에 대해 Vaucanson 자동기 플랫폼을 사용하여 최소 완성되지 않는 단어를 계산하고 검증하는 것.

제안 방법

• 비완전성을 유지하면서 완성되지 않는 단어 길이를 늘리기 위해, $u$를 길이 $k$인 무경계 단어로 하고 $T$를 짧은 단어 집합으로 하는 $\Sigma^k \setminus \{u\} \cup T$ 형태의 비완전 집합 $S$를 구성하는 것.
• 최소 완성되지 않는 단어를 모델링하기 위해 $w = u v_1 u v_2 \cdots u v_m u$의 구조를 사용하며, $v_i \notin \Sigma^* u \Sigma^*$임을 보장하여 $u$가 접두어이자 접미어로 나타나도록 하는 것.
• 파arametrized 집합의 $k$ 값이 5에서 12까지 증가함에 따라 Vaucanson 플랫폼을 이용한 계산적 검증을 통해 최소 완성되지 않는 단어를 계산하는 것.
• Restivo 및 다른 이들의 기존 구성에 추가로 짧은 단어(예: $b^4$)를 추가하여 최소 완성되지 않는 단어 길이를 $2k^2$를 초월하도록 하는 것.
• 구조적 분석과 모순을 통한 증명을 통해 구성된 단어의 최소성을 입증하며, $S^*$에 의해 어떤 더 짧은 접두사나 접미어도 완성 가능하다는 점을 보여주는 것.
• 이진 알파벳에서 최소 완성되지 않는 단어의 최대 길이인 $UWL(k)$의 점근적 성장률을 분석하고, $k \geq 7$일 때 $3k^2 - 9k + 1$과 같은 하한을 유도하는 것.

실험 결과

연구 질문

• RQ1 Restivo의 추측인 $UWL(k) \leq 2k^2$는 모든 $k$에 대해 참인가?
• RQ2 최대 단어 길이가 $k$인 일부 비완전 집합 $S$에서 최소 완성되지 않는 단어 길이가 $2k^2$를 초월할 수 있는가?
• RQ3 최소 완성되지 않는 단어가 만족해야 할 구조적 제약 조건은 무엇이며, 특히 길이 $k$인 무경계 단어 $u$의 위치와 반복에 대해 어떤 조건이 필요한가?
• RQ4 $\Sigma^k \setminus \{u\}$에 짧은 단어를 추가하면 최소 완성되지 않는 단어 길이에 어떤 영향을 미치는가?
• RQ5 $UWL(k)$의 점근적 성장률은 무엇이며, 이는 $k$에 대한 삼차함수로 아래에서 유계가 될 수 있는가?

주요 결과

• $k \geq 7$일 때, 집합 $S'_k = \Sigma^k \setminus \{a^{k-2}bb\} \cup \Sigma ba^{k-4}\Sigma \cup \Sigma ba \cup b^4 \cup J_k$는 길이 $3k^2 - 9k + 1$인 최소 완성되지 않는 단어를 생성하며, 이는 $UWL(k) \geq 3k^2 - 9k + 1$임을 보여준다.
• $S'_k$에 대해 구성된 최소 완성되지 않는 단어는 $w = (a^{k-2}bb)a^{k-1}(a^{k-2}bb)\cdots(a^{k-2}bb)$ 형태를 가지며, 반복되는 $a^{k-2}bb$와 임베드된 $b$-블록을 포함하는 복잡한 내부 구조를 가진다.
• $5 \leq k \leq 12$일 때, 집합 $S_k$는 길이 $2k^2 - 2k + 1$인 최소 완성되지 않는 단어를 생성하며, 이는 Restivo가 제안한 $2k^2$의 상한을 초월함을 보여준다.
• $S_k$의 최소 완성되지 않는 단어는 $uv_1uv_2\cdots uv_{k-1}u$의 구조를 유지하며, Restivo의 추측한 형태를 확인하지만, 중간의 $v_i$ 단어가 더 길다.
• $S_k$에 $b^4$를 추가하여 $S'_k$를 구성함으로써 최소 완성되지 않는 단어 길이가 $2k^2 - 2k + 1$에서 $3k^2 - 9k + 1$로 증가함을 보여주며, 작은 수정이 상한을 크게 증가시킬 수 있음을 시사한다.
• 논문은 Vaucanson 플랫폼을 통한 계산적 증거를 제공하여, $k$가 5에서 12일 동안 구성된 단어들이 실제로 최소 완성되지 않는 단어임을 검증하며, 이로 인해 유도된 상한의 타당성을 뒷받침한다.