[논문 리뷰] Improving the upper bound on the length of the shortest reset words

Marek Szykuła|arXiv (Cornell University)|2017. 02. 17.

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

한 줄 요약

이 논문은 동기화 자동기계에서 최단 리셋 워드 길이에 대한 일반적인 상한을 약 $114n^3/685 + O(n^2)$로 향상시켰으며, 이는 이전 최고의 상한 $(n^3 - n)/6 - 1$보다 略적으로 향상된 것이다. 저자들은 주어진 상태를 배제하는 단어인 방지 단어(avoiding words)를 분석하고, 프랭클의 정리의 개선된 버전을 트라흐트만의 접근법과 결합함으로써, 리셋 워드 구성 시 누적 압축 비용을 줄였다. 이는 짧은 방지 단어의 존재를 활용한 것이다.

ABSTRACT

We improve the best known upper bound on the length of the shortest reset words of synchronizing automata. The new bound is slightly better than $114 n^3 / 685 + O(n^2)$. The Černý conjecture states that $(n-1)^2$ is an upper bound. So far, the best general upper bound was $(n^3-n)/6-1$ obtained by J.-E.~Pin and P.~Frankl in 1982. Despite a number of efforts, it remained unchanged for about 35 years. To obtain the new upper bound we utilize avoiding words. A word is avoiding for a state $q$ if after reading the word the automaton cannot be in $q$. We obtain upper bounds on the length of the shortest avoiding words, and using the approach of Trahtman from 2011 combined with the well known Frankl theorem from 1982, we improve the general upper bound on the length of the shortest reset words. For all the bounds, there exist polynomial algorithms finding a word of length not exceeding the bound.

연구 동기 및 목표

• 1982년 이후 개선되지 않은 바쁜 동기화 자동기계의 리셋 임계값에 대한 장기적인 일반 상한을 향상시키기 위해.
• 특정 상태를 배제하는 짧은 방지 단어(avoiding words)가 최단 리셋 워드 길이에 대한 더 나은 상한을 유도할 수 있는지 조사하기 위해.
• 방지 단어 길이에 대한 경계를 통합하여 프랭kl의 정리와 트라흐트만의 방법을 개선함으로써, 상한의 삼차 계수를 줄이기 위해.
• 새로운 상한 내에서 리셋 워드를 구성하는 다항식 시간 알고리즘을 수립하기 위해.

제안 방법

• 저자들은 주어진 목표 상태로 어떤 상태도 매핑하지 않는 단어인 방지 단어를 정의하고 분석하며, 동기화 자동기계에서 그 길이에 대한 상한을 유도한다.
• 짧은 방지 단어의 존재를 활용하여, 부분집합 압축에 관한 프랭클의 1982년 정리의 수정된 버전을 적용함으로써 누적 압축 비용 추정치를 향상시킨다.
• 부분집합을 반복적으로 압축하고 방지 단어의 구조를 활용함으로써, 단일 상태에 도달하기 위해 필요한 총 길이에 대한 더 날카운 상한을 도출한다.
• 상태 이미지에 의해 생성되는 벡터 공간을 다루는 선형 대수적 추론을 통해, 짧은 단어가 부분집합을 압축하거나 선형 종속성을 깨뜨리는 방식으로 부분집합을 배제할 수 있음을 증명한다. 만약 그러한 단어가 존재하지 않는다면 모순이 발생한다.
• 이 방법은 압축에 대한 조합적 경계와 강하게 연결된 동기화 자동기계의 구조적 성질을 결합한다.
• 최종 상한은 각 단계에서 방지 단어 길이에 대한 개선된 상한을 활용하는 압축 단계의 재귀적 적용을 통해 유도된다.

실험 결과

연구 질문

• RQ1 동기화 자동기계에서 방지 단어의 길이는 상태 수에 대해 선형적으로 경계를 가질 수 있으며, 이는 리셋 임계값에 어떤 영향을 미치는가?
• RQ2 짧은 방지 단어의 존재가 리셋 임계값에 대한 일반 상한의 삼차 계수를 줄이는 데 기여할 수 있는가?
• RQ3 동기화 자동기계에는 특정 상태 부분집합을 배제하는 짧은 단어의 존재를 보장하는 구조적 성질이 존재하는가? 그리고 이를 리셋 워드 구성에 어떻게 활용할 수 있는가?
• RQ4 2011년 트라흐트만의 접근법은 반례에 의해 무효화되었지만, 방지 단어 길이에 대한 개선된 경계를 통해 이를 보완할 수 있는가?
• RQ5 주어진 랭크 r인 단어의 사전상태 집합 중 하나를 배제하는 최소 길이의 단어는 얼마이며, 이는 전체 리셋 워드 길이와 어떻게 관련되는가?

주요 결과

• 논문은 $\operatorname{rt}(\mathcal{A}) \leq \frac{114}{685}n^3 + O(n^2)$라는 새로운 리셋 임계값 상한을 확립하였으며, 이는 이전 최고의 상한 $(n^3 - n)/6 - 1$을 초월한다.
• 저자들은 동기화 자동기계의 모든 상태에 대해 길이가 $n-1$ 이내인 방지 단어가 존재함을 증명하였으며, 이는 트라흐트만의 2011년 작업에서 잘못된 주장의 수정이다.
• 짧은 방지 단어의 존재는 압축 과정에 대한 더 엄밀한 분석을 가능하게 하여, 단일 상태에 도달하기 위해 필요한 단어의 누적 길이를 줄이는 데 기여한다.
• 새로운 상한은 프랭클의 정리와 방지 단어 길이에 대한 개선된 경계를 결합함으로써 도출되었으며, 이는 삼차 계수의 상당한 감소를 이끌어냈다.
• 논문은 새로운 상한 내에서 리셋 워드를 구성하는 다항식 시간 알고리즘을 제공하여 실용적 적용 가능성을 보장한다.
• 결과적으로, 방지 단어는 리셋 임계값에 대한 일반 상한을 향상시키는 데 매우 강력한 도구임을 보여주며, 비록 절대적인 개선 폭은 작지만 의미 있는 진전이다.