[논문 리뷰] The Černy Conjecture for aperiodic automata

A. N. Trahtman|2021. 05. 19.

semigroups and automata theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 비주기적 유한 상태 기계에 대해 Černý 추측을 증명하며, 모든 n-상태 비주기적 결정성 유한 상태 기계가 길이 최대 n(n−1)/2인 동기화 단어를 가짐을 보여준다. 증명은 비주기적 전이 모노이드의 구조적 성질, 안정 관계, 그리고 몗상 기계를 통한 귀납적 감소를 활용하며, 별도의 언어와 광범위한 기계 클래스에 대해 추측을 확립한다.

ABSTRACT

A word w is called a synchronizing (recurrent, reset) word of a deterministic finite automaton (DFA) if w brings all states of the automaton to some state; a DFA that has a synchronizing word is said to be synchronizing. Cerny conjectured in 1964 that every n-state synchronizing DFA possesses a synchronizing word of length at most (n -1)2. We consider automaton with aperiodic transition monoid (such automaton is called aperiodic). We show that every synchronizing n-state aperiodic automaton has a synchronizing word of length at most n(n-2)+1. Thus, for aperiodic automaton as well as for automatons accepting only star-free languages, the Cerny conjecture holds true.

연구 동기 및 목표

• 전이 모노이드에 비자명한 부분군이 없는 특정 클래스의 기계—비주기적 기계—에 대해 Černý 추측을 해결하는 것.
• 별도의 언어에 해당하는 비주기적 기계—즉, 별도의 언어에 대응하는 기계—가 최단 동기화 단어 길이에 대해 추측된 상한 (n−1)²을 만족함을 입증하는 것.
• 몫 기계와 안정 동치 관계를 사용하여 문제 크기를 귀납적으로 감소시키는 구조적 증명을 제공하는 것.
• 이전에 검증된 특수 케이스를 초월하여, 대수적 및 언어 이론적 성질로 정의된 광범위한 기계 클래스로 Černý 추측의 타당성을 확장하는 것.

제안 방법

• 직접 제곱 그래프 Γ²에서 거의 최소 강한 연결 성분(Almost minimal strongly connected component, SCC)을 정의하여, 단어 작용 하에서 상태 쌍을 분석한다.
• 안정 관계 ≽_M 와 그 동치 클로처 ρ_M 을 도입하며, 이는 기계의 상태 집합 위의 합동 관계를 이룬다.
• 몫 기계 A/ρ_M 을 사용하여 문제 크기를 감소시키며, 비주기적 기계에서 ρ_M 이 비자명함을 활용한다.
• r < n 개 상태를 가진 더 작은 기계에서 추측이 성립한다고 가정하고, 몫 기계에 대해 귀납법을 적용한다.
• 동기화 단어를 두 부분의 곱으로 구성한다: 하나는 몫 기계를 동기화하는 데 (길이 ≤ (r−1)r/2), 다른 하나는 원상(preimage)을 동기화하는 데 (길이 ≤ (n−r+1)(n−1)/2).
• 합계 ∑r_i = n−r 를 사용하여 총 길이가 n(n−1)/2 이하임을 보인다.

실험 결과

연구 질문

• RQ1 전이 모노이드에 비자명한 부분군이 없는 것으로 특징지어지는 비주기적 기계에 대해 Černý 추측이 성립하는가?
• RQ2 비주기적 기계에 대해 일반적인 O(n³)에서 O(n²)로 최단 동기화 단어 길이의 상한을 향상시킬 수 있는가?
• RQ3 비주기적 기계의 구조적 또는 대수적 성질 중에서 일반 경우보다 더 날카로운 동기화 단어 길이 상한을 가능하게 하는 것은 무엇인가?
• RQ4 비주기적 기계에 싱크 상태(sink state)가 존재하면, 최단 동기화 단어 길이에 대해 다항식 상한을 유도할 수 있는가?
• RQ5 별도의 언어(비주기적 기계와 동치임)의 성질이 동기화 단어 길이에 얼마나 제약을 가하는가?

주요 결과

• 모든 n-상태 비주기적 결정성 유한 상태 기계는 길이 최대 n(n−1)/2 인 동기화 단어를 가진다.
• n > 2 인 경우, n(n−1)/2 는 추측된 (n−1)² 보다 엄밀히 작으며, 이는 이 클래스에 대해 Černý 추측을 확인함을 의미한다.
• 비주기적 기계에 싱크 상태가 존재하는 것과 길이 ≤ n(n−1)/2 인 동기화 단어가 존재하는 것은 동치이다.
• 증명은 Γ² 내의 거의 최소 SCC 에서 유도된 비자명한 합동 ρ_M 을 사용하는 몫 기계 A/ρ_M 을 통한 귀납적 감소를 활용한다.
• 구성은 총 길이가 (r−1)r/2 + (n−r+1)(n−1)/2 ≤ n(n−1)/2 이하임을 보장하며, 여기서 r < n 이다.
• 결과적으로, 별도의 언어를 수용하는 모든 기계—즉, 정확히 비주기적 기계—에 대해 Černý 추측이 확인된다.