[논문 리뷰] Tightening the Complexity of Equivalence Problems for Commutative Grammars

Christoph Haase, Piotr Hofman|arXiv (Cornell University)|2015. 06. 25.

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

한 줄 요약

이 논문은 정규 및 문맥 자유(commutative) 문법의 언어 동치성 문제의 복잡도가 ​coNEXP-완전(coNEXP-complete)임을 입증하며, 오랫동안 남아있던 열린 문제를 해결한다. 저자들은 프레스버거 산술의 Π₂ 조각에서의 타당성 문제를 정규(commutative) 문맥 자유 문법의 언어 포함 문제로 감소시켜 ​coNEXP-난이도(coNEXP-hardness)를 증명하고, 상한을 ​coNEXP로 조이고, 이 결과를 통신-free 페트리 네트워크 및 반전 유한 카운터 온톨로지(Reversal-bounded counter automata)로 확장한다.

ABSTRACT

We show that the language equivalence problem for regular and context-free commutative grammars is coNEXP-complete. In addition, our lower bound immediately yields further coNEXP-completeness results for equivalence problems for communication-free Petri nets and reversal-bounded counter automata. Moreover, we improve both lower and upper bounds for language equivalence for exponent-sensitive commutative grammars.

연구 동기 및 목표

• 정규 및 문맥 자유 공변 문법의 언어 동치성 문제에 대한 정확한 복잡도를 밝히는 것.
• 이 문제에 대해 이전에 알려진 Π²⁰-난이도 및 coNEXP 상한 사이의 격차를 메우는 것.
• 유사한 형식적 모델, 특히 통신-free 페트리 네트워크 및 반전 유한 카운터 온톨로지로 복잡도 결과를 확장하는 것.
• 지수 민감한 공변 문법의 동치성에 대한 상한을 2-EXPSPACE에서 co-2NEXP로 향상시키는 것.
• 공변 설정과 비공변 설정에서 동치성 문제의 비단조화 복잡도 행동(non-monotonic complexity behavior)을 명확히 하는 것.

제안 방법

• 프레스버거 산술의 Π₂ 조각(coNEXP-완전)에서 정규 공변 문법의 언어 포함 문제로의 감소.
• ‘HH14’에서 제시된 ℤ-VASS에 대한 기존 구축을 활용하여 정수 벡터 덧셈 시스템과 공변 문법 간의 대응 관계를 수립.
• 비단말 기호를 사용하여 카운터 연산을 공변 문법에 인코딩하여 상태 전이와 기호 생성을 시뮬레이션.
• 자유 공변 모노이드 내에서 일어나는 언어 포함 문제를 파르크 이미지(Parikh images)에 투영하여 다루기.
• 헤이그와 린(Hague and Lin)의 반전 유한 카운터 온톨로지에 관한 결과를 적용하여 존재적 프레스버거 공식을 통해 coNEXP 상한을 도출.
• 반전 유한 카운터 온톨로지에서의 도달 가능 집합의 동치성과 프레스버거 산술의 Π₂ 문장의 타당성 간의 등가성 이용.

실험 결과

연구 질문

• RQ1 정규 및 문맥 자유 공변 문법의 언어 동치성 문제의 정확한 복잡도는 무엇인가?
• RQ2 정규 공변 문법에 대한 Π²⁰-난이도 결과를 문맥 자유 공변 문법으로 확장할 수 있는가?
• RQ3 지수 민감한 공변 문법의 동치성 문제의 정확한 복잡도는 무엇이며, 2-EXPSPACE 상한을 향상시킬 수 있는가?
• RQ4 공변 문법의 복잡도 결과가 통신-free 페트리 네트워크 및 반전 유한 카운터 온톨로지로 어떻게 전이되는가?
• RQ5 알파벳 크기가 유계가 아닐 때, 비공변 설정에서는 PSPACE에서 공변 설정에서는 coNEXP로 언어 동치성의 복잡도가 급격히 증가하는 이유는 무엇인가?

주요 결과

• 정규 및 문맥 자유 공변 문법의 언어 동치성 문제는 ​coNEXP-완전이며, 헤이븐(Huynh)이 1985년에 제기한 열린 문제를 해결한다.
• ​coNEXP-난이도 결과는 기존에 coNEXP-완전으로 알려진 프레스버거 산술의 Π₂ 조각에서의 감소를 통해 입증된다.
• 지수 민감한 공변 문법의 동치성에 대한 상한은 2-EXPSPACE에서 co-2NEXP로 향상된다.
• 0-반전 유한 카운터 온톨로지의 동치성 문제는 ​coNEXP-완전이며, 상수 값이 유니터리 인코딩된 경우에도 난이도가 유지된다.
• 통신-free 페트리 네트워크 및 반전 유한 카운터 온톨로지는 공변 문법과의 밀접한 대응 관계 덕분에 ​coNEXP-완전성 결과를 그대로 이어받는다.
• 언어 동치성의 복잡도는 비단조화적이다: 알파벳 크기가 고정되어 있을 땐 Π²⁰-완전이지만, 알파벳이 무한정일 경우 ​coNEXP-완전으로 급격히 증가한다.