[논문 리뷰] The separation problem for regular languages by piecewise testable languages

Lorijn van Rooijen, Marc Zeitoun|arXiv (Cornell University)|2013. 03. 08.

semigroups and automata theory참고 문헌 13인용 수 7

한 줄 요약

이 논문은 두 정규 언어가 조각별 테스트 가능한 언어(PT-언어)로 분리될 수 있는지 여부를 다항 시간 내에 결정하는 알고리즘을 제시한다. PT-언어는 금지된 부분어를 통해 정의할 수 있는 언어의 일종이다. 이 방법은 원래 알파벳의 멱집합 위에서 정교화된 유한 오토마타 구축을 통해 위상적 폐쇄를 표현하며, 이는 효율적인 교차 검사와 PT-언어에 대한 직접적이고 효율적인 분리 문제 해결을 가능하게 한다.

ABSTRACT

Separation is a classical problem in mathematics and computer science. It asks whether, given two sets belonging to some class, it is possible to separate them by another set of a smaller class. We present and discuss the separation problem for regular languages. We then give a direct polynomial time algorithm to check whether two given regular languages are separable by a piecewise testable language, that is, whether a $BΣ1(

연구 동기 및 목표

• 정규 언어의 분리 문제를 조각별 테스트 가능한 언어로 해결하기.
• 복잡한 프로파인트 반군 이론에 의존하지 않는 직접적이고 효율적인 알고리즘 제공하기.
• 두 정규 언어의 PT-분리 가능성에 대한 다항 시간 결정 절차 수립하기.
• 알메이다와 자이트운의 대수적 주장에 기반하여, 오토마타 기반의 폐쇄 표현을 통해 이를 정교화하고 구체화하기.
• 일부 조건 하에서 상태 수와 알파벳 크기 양쪽 모두에 대해 다항 시간을 달성함으로써 이전의 복잡도 상한을 향상시키기.

제안 방법

• 원래 알파벳의 멱집합인 $2^A$ 위에서 정규 언어의 위상적 폐쇄를 표현하기 위해 확장된 오토마타를 구성하기.
• 폐쇄 오토마타를 사용하여 두 정규 언어의 폐쇄가 교차하는지 테스트함으로써 분리 가능성 여부를 결정하기.
• 폐쇄 오토마타의 공집합 여부와 교차 여부를 NLOGSPACE에서 확인할 수 있음을 활용하여 다항 시간 복잡도 확보하기.
• 비분리 가능성은 두 오토마타 모두에서 공통의 $(\vec{u}, \vec{B})$-경로가 존재함을 보여주는 알메이다의 대수적 주장의 개선된 버전을 적용하기.
• 구조적 성질을 추출하기 위해 $(\vec{u}, \vec{B})$-적합한 수열의 개념을 정의하고 활용하기.
• 두 언어가 모두 $(\vec{u}, \vec{B})$-적합한 수열을 포함하면, 두 오토마타 모두 $(\vec{u}, \vec{B})$-경로를 포함함을 증명하기.

실험 결과

연구 질문

• RQ1 두 정규 언어가 조각별 테스트 가능한 언어로 분리될 수 있는지 다항 시간 내에 결정할 수 있는가?
• RQ2 두 정규 언어가 조각별 테스트 가능한 언어로 분리될 수 없는 구조적 조건은 무엇인가?
• RQ3 알고리즘적 목적을 위해 정규 언어의 위상적 폐쇄를 효과적으로 어떻게 표현할 수 있는가?
• RQ4 프로파인트 반군 이론에 의존하지 않는 직접적이고 구체적인 PT-분리 가능성 알고리즘이 존재하는가?
• RQ5 공통의 $(\vec{u}, \vec{B})$-경로 존재성과 PT-언어에 의한 두 언어의 비분리성 사이의 정확한 관계는 무엇인가?

주요 결과

• 논문은 두 정규 언어가 조각별 테스트 가능한 언어로 분리될 수 있는지 여부를 다항 시간 내에 결정하는 알고리즘을 제시한다.
• 이 알고리즘은 입력 알파벳의 멱집합 위에서 폐쇄 오토마타를 구성하는 데 기반하며, 이는 효율적인 교차 및 공집합 검사를 가능하게 한다.
• 이 구성은 결정성 및 비결정성 유한 오토마타 모두에 대해 적용 가능하며, 상태 수에 대해 다항 시간, 알파벳 크기에는 지수 시간 복잡도를 가진다.
• 비분리 가능성은 두 언어의 오토마타 모두에서 공통의 $(\vec{u}, \vec{B})$-경로 존재 여부로 특징지어진다.
• 증명은 두 언어가 모두 $(\vec{u}, \vec{B})$-적합한 수열을 포함하면, 두 오토마타 모두 $(\vec{u}, \vec{B})$-경로를 포함해야 한다고 보여준다.
• 이 방법은 프로파인트 반군 이론의 대수적 주장에 기반한 직접적이고 구체적인 정교화를 제공하여, 알고리즘적 활용에 더 접근 가능하고 효율적으로 만든다.