[논문 리뷰] Regular realizability problems and regular languages

Alexander A. Rubtsov|arXiv (Cornell University)|2015. 03. 19.

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

한 줄 요약

이 논문은 정규 실현 가능성(regular realizability, RR) 문제의 알고리즘 복잡도를 조사한다. 여기서 목표는 정규 언어(다음형 유한 오토마타(DFA) 또는 비결정형 유한 오토마타(NFA)로 주어짐)와 고정된 정규 필터 언어의 교집합이 비어 있지 않은지 여부를 판단하는 것이다. 논문은 이분법을 제시한다: 결정론적 RR 문제의 경우, 필터가 '쉬운'(유계)지 '어려운'(전체 유사)지에 따라 복잡도가 L-완전 또는 NL-완전이 된다. 반면 비결정론적 RR 문제는 비어 있지 않은 필터에 대해 항상 NL-완전이다.

ABSTRACT

We investigate regular realizability (RR) problems, which are the problems of verifying whether intersection of a regular language -- the input of the problem -- and fixed language called filter is non-empty. We consider two kind of problems depending on representation of regular language. If a regular language on input is represented by a DFA, then we obtain (deterministic) regular realizability problem and we show that in this case the complexity of regular realizability problem for an arbitrary regular filter is either L-complete or NL-complete. We also show that in case of representation regular language on input by NFA the problem is always NL-complete.

연구 동기 및 목표

• 필터 언어의 구조에 따라 정규 실현 가능성(RR) 문제의 알고리즘 복잡도를 분류하는 것.
• 계산 복잡도 측면에서 '쉬운'과 '어려운' 정규 필터의 차이를 조사하는 것.
• L ≠ NL 추측 하에 결정론적 및 비결정론적 RR 문제 간의 관계를 탐구하는 것.
• RR 문제와 일반화된 비결정론적 오토마타(GNA) 간의 연결 고리를 설정하여, 복잡도 분석을 위한 계산 모델을 제공하는 것.
• 특히 L ≠ NL일 경우, 정규 필터에 대해 RR(F)와 RRⁿ(F)의 복잡도가 다를 수 있는지 여부를 규명하는 것.

제안 방법

• 정규 언어(다음형 유한 오토마타 또는 비결정형 유한 오토마타로 주어짐)와 고정된 필터 언어 F의 교집합이 비어 있는지 여부를 판단하는 결정론적 및 비결정론적 정규 실현 가능성 문제(RR(F) 및 RRⁿ(F))를 정의한다.
• 로그스페이스 감소를 사용하여 다양한 RR 문제의 복잡도를 비교하고, 필터 간의 지배 관계 개념을 도입한다.
• 결정론적 유한 상태 전이기계(DFST)를 도입하여 필터 간의 구조적 관계를 정의한다. 여기서 F₁ ≤dfst F₂는 어떤 DFST T에 대해 F₁ = T(F₂)일 때 성립한다.
• 모든 정규 언어를 DFST를 통해 시뮬레이션할 수 있는 필터를 '어려운' 필터로 특성화하고, u₁*…uk* 형태의 유계 언어를 '쉬운' 필터로 특성화한다.
• RR(F) 문제를 포괄하는 일반화된 비결정론적 오토마타(GNA) 모델을 제안하며, 이 모델의 보조 테이프에는 필터 F의 단어들이 포함된다.
• RR(F)가 해당 GNA가 인식하는 언어로 로그스페이스 감소 가능하며, 이는 복잡도 측면에서 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 정규 필터 F에 대해 결정론적 정규 실현 가능성 문제 RR(F)의 알고리즘 복잡도는 무엇인가?
• RQ2 RR(F)의 복잡도는 필터 F의 구조적 성질(예: 유계성 또는 전역성)에 따라 어떻게 달라지는가?
• RQ3 특히 L ≠ NL 추측 하에, 정규 필터에 대해 RR(F)와 RRⁿ(F)의 복잡도 간에 분리가 존재하는가?
• RQ4 필터 간의 지배 관계는 결정론적 유한 상태 전이기계를 통해 특성화될 수 있는가?
• RQ5 일반화된 비결정론적 오토마타(GNA)는 RR 문제의 모델링 및 분석에서 어떤 역할을 하는가?

주요 결과

• 모든 정규 필터 F에 대해 결정론적 정규 실현 가능성 문제 RR(F)는 L-완전 또는 NL-완전이다.
• 정규 필터 F가 '쉬운'(즉, 유계이자 u₁*…uk* 형태)임과 RR(F)가 L에 속함은 필요충분조건이며, '어려운'(즉, 모든 정규 언어를 DFST를 통해 시뮬레이션할 수 있음)임과 RR(F)가 NL-완전임은 필요충분조건이다.
• 모든 비어 있지 않은 정규 필터 F에 대해 비결정론적 정규 실현 가능성 문제 RRⁿ(F)는 필터의 구조에 관계없이 항상 NL-완전이다.
• F가 쉬운 필터일 경우, L ≠ NL를 가정하면 RR(F)는 RRⁿ(F)와 로그스페이스 동치가 아니며, 이는 두 문제 클래스 간의 엄격한 분리가 있음을 시사한다.
• 일반화된 비결정론적 오토마타(GNA) 모델은 RR(F)의 로그스페이스 동치 특성화를 제공하여, 오토마타 이론적 기법을 통한 복잡도 분석을 가능하게 한다.
• DFST의 사용은 필터 간 지배 관계의 구조적 특성화를 가능하게 하며, F₁ ≤dfst F₂이면 RR(F₁) ≤log RR(F₂)임을 보여, 필터 간의 복잡도 비교를 가능하게 한다.