[논문 리뷰] Better Complexity Bounds for Cost Register Automata

Rajeev Alur, Loris D’Antoni외 3명|arXiv (Cornell University)|2011. 11. 02.

semigroups and automata theory참고 문헌 31인용 수 8

한 줄 요약

이 논문은 덧셈, 최소값, 스케일링 등의 연산을 사용하여 문자열에서 수치적 비용으로의 정규 함수를 정의하고 분석하기 위한 결정론적 모델인 비용 레지스터 온타마타(Cost Register Automata, CRA)를 소개한다. min과 증가 연산을 갖는 CRA는 가중치 있는 온타마타와 동치이며, 이는 효율적인 최소비용 계산을 가능하게 하고 유량 분석의 새로운 통찰을 제공한다.

ABSTRACT

Cost register automata (CRAs) are one-way finite automata whose transitions have the side effect that a register is set to the result of applying a state-dependent semiring operation to a pair of registers. Here it is shown that CRAs over the tropical semiring (N U {infinity},\min,+) can simulate polynomial time computation, proving along the way that a naturally defined width-k circuit value problem over the tropical semiring is P-complete. Then the copyless variant of the CRA, requiring that semiring operations be applied to distinct registers, is shown no more powerful than NC^1 when the semiring is (Z,+,x) or (Gamma^*,max,concat). This relates questions left open in recent work on the complexity of CRA-computable functions to long-standing class separation conjectures in complexity theory, such as NC versus P and NC^1 versus GapNC^1.

연구 동기 및 목표

• 문자열에서 수치적 값으로의 정규 비용 함수를 정의하고 분석하기 위한 결정론적이고 분석 가능한 모델을 제공하는 것.
• 기존 프레임워크인 가중치 있는 온타마타의 한계를 해결하기 위해, 반결정론적이며 반지름 연산에 국한된 모델을 개선하는 것.
• 미래의 할인과 환불과 같은 복잡한 비용 행동을 통합적으로 명세하고 분석하기 위한 프레임워크를 제공하는 것.
• 다양한 CRA 변종에 대해 최소비용 문제의 결정 가능성과 복잡도를 탐색하는 것.
• 정규 언어 이론을 전력 소비 및 가격 정책과 같은 정량적 성질로 확장하는 것.

제안 방법

• 비용 값을 저장하기 위한 유한 제어와 다수의 쓰기 전용 레지스터를 갖는 결정론적 기계로 Cost Register Automata(CRA)를 제안한다.
• 주어진 연산 집합(예: +, min, ×d)으로 구성된 표현식을 동시에 할당하여 문자열 처리 중 레지스터를 업데이트한다.
• 정규성을 주어진 해석 하에서 정규 문자열에서 용어로의 변환과 용어 평가의 조합을 통해 정의한다.
• 트리 변환기 이론과 단항 이阶논리(Monadic Second-Order logic)를 활용하여 정규 비용 함수를 특성화한다.
• 기존의 최단경로 알고리즘과 할인 비용 알고리즘을 변형하여 CRA 모델에서 최소비용 문제를 해결한다.
• 표현력을 향상시키기 위해 복사 없는 CRA와 레지스터가 비용 함수(예: 선형 함수)를 저장하는 CRA와 같은 변종을 도입한다.

실험 결과

연구 질문

• RQ1 min, 증가, 스케일링 등의 연산을 지원하면서도 효과적인 분석이 가능한 정규 비용 함수를 위한 결정론적 모델을 정의할 수 있는가?
• RQ2 최소비용 문제에서 CRA와 가중치 있는 온타마타의 표현력과 알고리즘적 효율성은 어떻게 비교되는가?
• RQ3 다양한 CRA 변종에 대해 등가성과 최소비용 계산과 같은 결정 문제의 복잡도는 무엇인가?
• RQ4 min과 증가 연산을 모두 갖는 CRA에서 최소비용 문제는 결정 가능한가?
• RQ5 CRA 프레임워크는 무한 문자열, 트리, 시계 또는 확률적 시스템으로 확장될 수 있는가?

주요 결과

• min과 증가 연산을 갖는 CRA는 가중치 있는 온타마타와 동치이며, 잘 알려진 반결정론적 모델에 대한 결정론적 대안을 제공한다.
• min과 증가 연산을 갖는 CRA의 최소비용 문제는 다항식 시간 내에 해결 가능하며, 고전적인 최단경로 알고리즘과 동일한 복잡도를 가진다.
• 복사 없는 min과 증가 연산을 갖는 CRA는 여전히 최소비용 문제에 대해 결정 불가능하며, 이는 핵심 열린 문제를 드러낸다.
• 전역 할인을 갖는 CRA는 레지스터 수에 대해 지수 시간이 소요되지만, 미래 및 과거 할인은 다항식 시간 내에 해결 가능하다.
• 아핀 CRA에 대해서는 등가성 검증이 효율적으로 가능하며, 프로그램 분석 기법을 활용해 다항식 시간 내에 결정 가능하다.
• 논문은 최소비용 문제에 대한 근사 알고리즘과 max 연산 추가 시 영향을 포함한 새로운 열린 문제를 규명한다.