[논문 리뷰] On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata

Antonio Casares, Olivier Idir외 3명|arXiv (Cornell University)|2024. 07. 25.

semigroups and automata theory인용 수 1

한 줄 요약

이 논문은 전이 기반 수락과 잔여 기반 상태 동치를 활용하여 역사 결정적 일반화된 coBüchi 부동산의 다항 시간 알고리즘을 제시한다. 결정적 및 역사 결정적 일반화된 Büchi 부동산의 최소화 문제에 대해 NP-완전성을 증명하였으며, 역사 결정적 일반화된 coBüchi 부동산의 상태와 색상 수를 동시에 최소화하는 문제에 대해서도 NP-완전성을 입증하였다. 이를 위해 그래프 색칠 문제로의 감소를 사용하였다.

ABSTRACT

We present a polynomial-time algorithm minimising the number of states of history-deterministic generalised coBüchi automata, building on the work of Abu Radi and Kupferman on coBüchi automata. On the other hand, we establish that the minimisation problem for both deterministic and history-deterministic generalised Büchi automata is NP-complete, as well as the problem of minimising at the same time the number of states and colours of history-deterministic generalised coBüchi automata.

연구 동기 및 목표

• 역사 결정적 일반화된 coBüchi 부동산을 위한 효율적인 최소화 알고리즘을 개발하기 위해.
• 결정적 및 역사 결정적 일반화된 Büchi 부동산의 최소화 문제의 계산 복잡도를 규명하기 위해.
• 역사 결정적 일반화된 coBüchi 부동산에서 상태 수와 색상 수를 동시에 최소화하는 문제의 복잡도를 조사하기 위해.
• 전이 기반 수락 모델에서 ω-정규 언어를 위한 부동산의 압축성과 복잡도에 대한 이론적 한계를 설정하기 위해.

제안 방법

• 전이 기반 수락과 잔여 기반 상태 식별을 활용하여 역사 결정적 일반화된 coBüchi 부동산에 대한 다항 시간 최소화 알고리즘을 설계하기 위해.
• 그래프 색칠 문제로의 감소를 통해 결정적 및 역사 결정적 일반화된 Büchi 부동산의 최소화 문제에 대해 NP-완전성을 증명하기 위해.
• 그래프 G에서 부동산 AG를 구성하는 방법을 사용하여, 언어 동치성이 그래프 색칠 가능성과 대응됨을 보이기 위해.
• AG의 전이를 k개의 색상으로 재색칠할 때 언어가 유지되는 것은 G가 k-색칠 가능할 때이고, 오직 그 때에만 성립함을 보여, 부동산 최소화를 그래프 이론과 연결하기 위해.
• AG 부동산의 각 잔여 요소가 어떤 동치 역사 결정적 부동산의 유일한 상태에 대응함을 증명하여 상태 최소화를 강제하기 위해.
• G의 유효한 k-색칠이 AG의 전이에 대한 유효한 재색칠을 유도하고, 그 반대도 성립함을 보여, 전이 색상에서 유도된 색칠 함수를 통해.

실험 결과

연구 질문

• RQ1 역사 결정적 일반화된 coBüchi 부동산은 다항 시간 내에 최소화될 수 있는가?
• RQ2 결정적 일반화된 Büchi 부동산의 최소화 문제는 NP-완전한가?
• RQ3 역사 결정적 일반화된 Büchi 부동산의 최소화 문제는 NP-완전한가?
• RQ4 역사 결정적 일반화된 coBüchi 부동산에서 상태 수와 색상 수를 동시에 최소화하는 문제는 NP-완전한가?
• RQ5 일반화된 (co)Büchi 부동산의 최소화 문제는 그래프 색칠 문제로 감소될 수 있는가?

주요 결과

• 전이 기반 수락을 활용하여 역사 결정적 일반화된 coBüchi 부동산의 최소화를 다항 시간 내에 수행할 수 있는 알고리즘이 존재한다.
• 결정적 일반화된 Büchi 부동산의 최소화 문제는 NP-완전하다.
• 역사 결정적 일반화된 Büchi 부동산의 최소화 문제는 NP-완전하다.
• 역사 결정적 일반화된 coBüchi 부동산에서 상태 수와 색상 수를 동시에 최소화하는 문제는 NP-완전하다.
• 그래프 G의 k-색칠과 언어 동치성을 유지하는 AG 부동산의 전이에 대한 유효한 재색칠 사이에 일대일 대응이 존재한다.
• 그래프 G에서 부동산 AG를 구성하는 것은 그래프 색칠 문제에서 부동산 재색칠 문제로의 감소를 제공하며, 이는 최소화 문제의 NP-완전성을 입증한다.