[논문 리뷰] Minimizing Cost Register Automata over a Field

Yahia Idriss Benalioua, Nathan Lhote외 1명|arXiv (Cornell University)|2023. 07. 25.

semigroups and automata theory인용 수 1

한 줄 요약

이 논문은 선형 갱신을 갖는 체 위의 비용 레지스터 오토마타(CRA)에 대해 선형 껍질—가중치 오토마타에서 유도된 새로운 대수적 불변량—을 도입하여 레지스터 최소화 문제를 해결한다. 이 불변량을 효율적으로 계산하는 알고리즘을 사용하여, 레지스터 최소화 문제가 2-ExpTime 내에 결정 가능하고, 상태-레지스터 최소화 문제가 NExpTime 내에 결정 가능하다는 것을 입증하며, 엄밀한 복잡도 한계를 제공하고, 애매한 갱신으로의 결과 확장을 이룬다.

ABSTRACT

Weighted automata (WA) are an extension of finite automata that define functions from words to values in a given semiring. An alternative deterministic model, called Cost Register Automata (CRA), was introduced by Alur et al. It enriches deterministic finite automata with a finite number of registers, which store values, updated at each transition using the operations of the semiring. It is known that CRA with register updates defined by linear maps have the same expressiveness as WA. Previous works have studied the register minimization problem: given a function computable by a WA and an integer k, is it possible to realize it using a CRA with at most k registers? In this paper, we solve this problem for CRA over a field with linear register updates, using the notion of linear hull, an algebraic invariant of WA introduced recently by Bell and Smertnig. We then generalise the approach to solve a more challenging problem, that consists in minimizing simultaneously the number of states and that of registers. In addition, we also lift our results to the setting of CRA with affine updates. Last, while the linear hull was recently shown to be computable by Bell and Smertnig, no complexity bounds were given. To fill this gap, we provide two new algorithms to compute invariants of WA. This allows us to show that the register (resp. state-register) minimization problem can be solved in 2-ExpTime (resp. in NExpTime).

연구 동기 및 목표

• 체 위의 선형 갱신을 갖는 비용 레지스터 오토마타(CRA)에 대한 레지스터 최소화 문제를 해결하기 위해.
• CRA에서 상태와 레지스터의 동시에 최소화를 확장하기 위해.
• 가중치 오토마타의 가장 강력한 Z-선형 및 Z-아핀 불변량을 효율적으로 계산하여, 레지스터 복잡도 추정을 가능하게 하기 위해.
• 이전 연구에서 남겨진 불변량 계산의 복잡도 갭을 메우기 위해 2-ExpTime 알고리즘을 제공하기 위해.
• 선형 갱신 외에도 아핀 갱신을 갖는 CRA로 결과를 일반화하고, 그 복잡도를 분석하기 위해.

제안 방법

• 최근 제안된 가중치 오토마타(WA)의 선형 껍질 불변량을 활용한다. 이는 모든 도달 가능한 구성 상태를 포함하는 가장 강력한 Z-선형 또는 Z-아핀 집합으로 정의된다.
• 특히 자리지 위상수학을 사용하여, CRA 내에서 도달 가능한 레지스터 값의 구조를 특성화하기 위해 대수기하학 도구를 적용한다.
• 행렬 표현과 체 위의 선형 대수학을 기반으로 하여, 가중치 오토마타의 가장 강력한 Z-선형 및 Z-아핀 불변량을 계산하는 두 가지 새로운 알고리즘을 설계한다.
• 레지스터 최소화 문제를 불변량 계산 알고리즘을 통해 선형 껍질의 차원을 계산하는 것으로 환원한다.
• 레지스터 최소화 문제를 불변량 계산 알고리즘을 통해 선형 껍질의 차원 계산으로 환원한다.
• 불변량 계산을 아핀 부분공간으로 적응시켜 아핀 갱신으로의 확장을 도모하며, 상태-레지스터 트레이드오프의 결정 가능성을 NExpTime 내에서 증명한다.

실험 결과

연구 질문

• RQ1 체 위의 CRA를 통해 유리 함수를 실현하기 위해 필요한 최소 레지스터 수를 알고리즘적으로 계산할 수 있는가?
• RQ2 가중치 오토마타의 가장 강력한 Z-선형 또는 Z-아핀 불변량을 계산하는 데 필요한 계산 복잡도는 무엇인가?
• RQ3 CRA에서 상태 수와 레지스터 수를 동시에 최소화하는 것이 가능한가? 그리고 이 트레이드오프의 한계는 무엇인가?
• RQ4 결과를 선형 갱신 외에도 아핀 갱신을 갖는 CRA로 일반화할 수 있는가?
• RQ5 체 위의 CRA에 대한 레지스터 최소화 문제의 정확한 복잡도는 무엇이며, 2-ExpTime 이하로 향상시킬 수 있는가?

주요 결과

• 선형 CRA에 대해 체 위의 레지스처 최소화 문제는 선형 껍질의 차원을 레지스터 복잡도로 사용함으로써 2-ExpTime 내에 결정 가능하다.
• 선형 CRA에 대해 상태-레지스터 최소화 문제는 선형 껍질의 차원과 불변량의 길이로부터 유도된 상태 수와 레지스터 수의 한계를 포함하여 NExpTime 내에 결정 가능하다.
• 가중치 오토마타의 가장 강력한 Z-선형 및 Z-아핀 불변량은 2-ExpTime 내에 계산 가능하며, 이는 이전 연구에서 남겨진 복잡도 한계의 갭을 해결한다.
• 일원 알파벳 또는 가환 전이 행렬을 갖는 WA의 경우 복잡도는 ExpTime으로 내려가며, 이는 엄밀한 한계이다.
• 아핀 갱신으로의 일반화가 가능하며, 아핀 설정에서도 상태-레지스터 최소화 문제는 NExpTime 내에서 해결 가능하다.
• 논문은 가장 강력한 불변량이 항상 상태 수 측면에서 최적의 CRA를 제공하지는 않음을 보여주며, 불변량 강도와 상태 최소화 사이의 트레이드오프를 시사한다.