[논문 리뷰] The Cerny conjecture and 1-contracting automata

Henk Don|arXiv (Cornell University)|2015. 07. 22.

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

한 줄 요약

이 논문은 주기성이 없는 1-수축 자동기—모든 (n−1)-집합의 상태가 1-결손 단어를 통해 도달 가능하고, 유도된 상태 매핑이 순환 치환을 이루는 DFA—를 소개한다. 이 자동기는 동기화 가능하며, Černý 추측을 만족하며, 모든 k-집합이 길이 최대 n(n−k)인 단어로 도달 가능하다는 것을 증명하여, 이 클래스에 대해 추측을 확인한다. 이 클래스에는 특정 순환 및 일반화된 순환 자동기 포함.

ABSTRACT

A deterministic finite automaton is synchronizing if there exists a word that sends all states of the automaton to the same state. Černý conjectured in 1964 that a synchronizing automaton with $n$ states has a synchronizing word of length at most $(n-1)^2$. We introduce the notion of aperiodically $1-$contracting automata and prove that in these automata all subsets of the state set are reachable, so that in particular they are synchronizing. Furthermore, we give a sufficient condition under which the Černý conjecture holds for aperiodically $1-$contracting automata. As a special case, we prove some results for circular automata.

연구 동기 및 목표

• 동기화를 보장하는 새로운 자동기 클래스—주기성이 없는 1-수축 자동기—를 설정하는 것.
• 이러한 자동기에서 모든 k-상태 집합이 길이 최대 n(n−k)인 단어로 도달 가능하다는 것을 증명하여, Černý 추측을 뒷받침하는 것.
• 순환 및 일반화된 순환 유형을 포함한 더 넓은 자동기 클래스로 Černý 추측의 타당성을 확장하는 것.
• 1-결손 단어 집합을 통한 구성적 프레임워크를 제공하여 이 클래스에서 동기화 단어를 식별하는 것.
• 프레임워크의 조건을 약화시켜도 도달 가능성과 동기화의 핵심 결과를 유지할 수 있는지 탐색하는 것.

제안 방법

• 1-수축 자동기를 정의한다. 이는 모든 (n−1)-상태 집합이 1-결손 단어를 통해 도달 가능할 때, 즉 전체 상태 집합을 크기 n−1의 부분집합으로 매핑하는 단어를 의미한다.
• 1-결손 단어 집합 W에 의해 유도되는 상태 매핑 σW를 도입한다. 이는 각각의 제외된 상태를 그 유일한 수축 상태로 매핑한다.
• 주기성이 없는 1-수축 자동기를 정의한다. 이는 상태 집합 위에서 σW 가 순환 치환을 이루는 자동기이다.
• 주기성이 없는 1-수축 자동기는 동기화 가능하며, 모든 비어 있지 않은 상태 부분집합이 도달 가능하다는 것을 증명한다.
• 효율적인 수집에서 1-결손 단어의 길이가 최대 n이면, Černý 추측이 성립하며, k-집합은 최대 n(n−k) 단계 내에 도달 가능하다는 것을 확립한다.
• 강력한 자동기 프레임워크를 사용하여 도달 가능성 분석과 1-결손 단어의 연결을 통한 동기화를 분석한다.

실험 결과

연구 질문

• RQ1 1-결손 단어에 의해 유도된 순환 상태 매핑의 존재가 자동기가 동기화 가능하다는 것을 보장하는가?
• RQ2 모든 (n−1)-집합이 1-결손 단어를 통해 도달 가능하고, 순환 상태 매핑을 갖는 자동기에서 Černý 추측을 증명할 수 있는가?
• RQ3 1-수축 자동기의 조건을 얼마나 약화시켜도 도달 가능성과 동기화를 유지할 수 있는가?
• RQ4 모든 동기화 자동기에서 k-집합에 대해 n(n−k)의 도달 한계를 일반화 적용할 수 있는가?
• RQ5 주기성이 없는 1-수축 자동기에서 1-결손 단어만을 사용하여 동기화 단어를 구성적으로 생성할 수 있는 알고리즘이 존재하는가?

주요 결과

• 주기성이 없는 1-수축 자동기는 동기화 가능하다. 순환 상태 매핑 덕분에 1-결손 단어를 반복 적용하면 단일 상태로 수렴하기 때문이다.
• 이러한 자동기의 상태 집합에서 모든 k-집합은 길이 최대 n(n−k)인 단어로 도달 가능하다. 이는 이 클래스에 대해 Černý 추측이 성립함을 의미한다.
• 1-결손 단어의 길이가 최대 n인 효율적인 1-수축 수집을 갖는 자동기에서는 최단 동기화 단어의 길이가 최대 (n−1)² 이며, 이는 Černý 추측을 확인한다.
• 이 클래스는 순환 자동기와 다중 레이블이 있는 순환 고리가 있는 일반화된 순환 자동기를 포함하여, 기존 결과를 더 넓은 가족으로 확장한다.
• 완전한 상태 순환 고리가 없는 비순환 자동기의 예시가 제시되며, 주기성이 없는 1-수축 구조 덕분에 여전히 Černý 추측을 만족한다.
• 논문은 모든 동기화 자동기에서 모든 k-집합이 길이 최대 n(n−k)인 단어로 도달 가능하다는 추측을 제기하며, 이는 일반적인 Černý 추측을 뒷받침할 것이다.