[논문 리뷰] Optimal Test Sets for Context-Free Languages

Mikaël Mayer, Jad Hamza|arXiv (Cornell University)|2016. 11. 21.

semigroups and automata theory참고 문헌 2인용 수 1

한 줄 요약

이 논문은 크기가 n인 임의의 문맥 자유 문법에 대해 크기가 O(n³)인 테스트 세트를 구성하는 최초의 알고리즘을 제시하며, 이는 이전에 알려진 O(n⁶) 상한과 O(n³) 하한 사이의 오랜 격차를 해결한다. 문법에서 유도된 그래프에서 최적 경로 탐색을 활용하고 Plandowski의 테스트 세트 보조정리의 개선된 버전을 적용하여 저자들은 날카로운 세제곱 상한을 달성하며, 문맥 자유 언어에서 테스트 세트의 크기가 O(n³)가 최적임을 증명한다.

ABSTRACT

A test set for a formal language (set of strings) L is a subset T of L such that for any two string homomorphisms f and g defined on L, if the restrictions of f and g on T are identical functions, then f and g are identical on the entire L. Previously, it was shown that there are context-free grammars for which smallest test sets are cubic in the size of the grammar, which gives a lower bound on tests set size. Existing upper bounds were higher degree polynomials; we here give the first algorithm to compute test sets of cubic size for all context-free grammars, settling the gap between the upper and lower bound.

연구 동기 및 목표

• 문맥 자유 문법에서 테스트 세트 크기의 알려진 O(n⁶) 상한과 O(n³) 하한 사이의 격차를 메우기.
• 임의의 문맥 자유 문법에 대해 크기가 O(n³)인 효율적인 알고리즘을 개발하여 테스트 세트를 구성하기.
• O(n³)이 날카로운 상한임을 증명하기 위해 모든 문맥 자유 문법에 대해 이 크기의 테스트 세트를 구성하기.
• 선형에서 일반적인 문맥 자유 문법으로의 일반화를 위해 Lin(G) 변환을 사용하기.

제안 방법

• 생산 규칙에서 유도된 그래프를 구성하며, 노드는 비단말기와 단말기이며, 간선은 규칙을 나타낸다.
• 길이와 사전순 순서를 기반으로 경로에 총순서를 정의하여 최적 경로를 식별한다.
• 모든 정점 쌍(비단말기 또는 ⊥) 간의 최적 경로를 O(|N|²|R|) 시간에 사전 계산한다.
• Φ₃(G)를 형성하며, 이는 P₁e₁P₂…PₙeₙPₙ₊₁ 형태의 수락 경로에 해당하는 단어들의 집합이며, n ≤ 3, Pᵢ는 최적 경로이고 Pᵢeᵢ는 그렇지 않다.
• Plandowski의 테스트 세트 보조정리를 4자리 알파벳에 적용하여 모순을 통해 Φ₃(G)가 유효한 테스트 세트임을 증명한다.
• 비선형 문법으로의 결과 확장을 위해 Lin(G) 변환을 적용하며, 이는 원래 문법의 언어를 테스트 세트로 가지는 선형 문법을 생성한다.

실험 결과

연구 질문

• RQ1 모든 문맥 자유 문법에 대해 알려진 하한과 일치하는 크기의 O(n³) 테스트 세트를 구성하는 것이 가능한가?
• RQ2 테스트 세트 구성에 대한 O(n⁶) 상한을 O(n³) 하한과 일치하도록 향상시킬 수 있는가?
• RQ3 문법 그래프에서의 최적 경로 구성은 호모모르피즘 등가성을 유지하는 최소 테스트 세트를 이끌어내는가?
• RQ4 Plandowski의 테스트 세트 보조정리는 일반적인 문맥 자유 문법의 맥락에서 최소성을 증명하기 위해 적응시킬 수 있는가?
• RQ5 Lin(G) 변환은 일반적인 경우를 선형 경우로 축소하면서 테스트 세트 성질을 유지하는 데에 충분한가?

주요 결과

• 논문은 문맥 자유 문법에서 테스트 세트 크기의 최적 상한이 O(n³)임을 확립한다.
• 선형 문맥 자유 문법에 대해 크기가 O(n³)인 테스트 세트를 O(|N|·|R|³) 시간 내에 구성하는 알고리즘이 제시된다.
• 구성은 최대 세 개의 비최적 간선을 포함하는 경로를 열거하는 데 의존하며, 이는 최소 경로의 유일성과 정확성을 보장한다.
• Plandowski의 보조정리를 4자리 알파벳에 적용하여 모순을 통해 Φ₃(G)가 유효한 테스트 세트임을 증명한다.
• 일반적인 문맥 자유 문법의 경우, Lin(G) 변환을 통해 동일한 O(n³) 상한을 선형 경우로 축소함으로써 달성할 수 있다.
• 이 결과는 이전에 알려진 O(n⁶) 상한과 O(n³) 하한 사이의 격차를 메우며, O(n³)이 최적임을 증명한다.