[논문 리뷰] The Complexity of Recognition of Linguistically Adequate Dependency Grammars

Peter Neuhaus, Norbert Broeker|ArXiv.org|1997. 09. 08.

Natural Language Processing Techniques참고 문헌 11인용 수 37

한 줄 요약

이 논문은 언어학적으로 타당한 의존 문법의 인식이 NP-완전임을 증명하며, 이러한 문법의 구문 분석—비록 언어학적으로 타당하더라도—불가능한 계산 복잡도를 초래함을 보여준다. 이 결과는 정점 커버 문제를 의존 문법 인식 문제로 감소시켜 증명되며, 지배와 순서 관계가 독립적으로 정의됨으로써 비프로젝티브이고 순서 없는 의존 구조조차도 NP-완전성을 초래함을 보여준다.

ABSTRACT

Results of computational complexity exist for a wide range of phrase structure-based grammar formalisms, while there is an apparent lack of such results for dependency-based formalisms. We here adapt a result on the complexity of ID/LP-grammars to the dependency framework. Contrary to previous studies on heavily restricted dependency grammars, we prove that recognition (and thus, parsing) of linguistically adequate dependency grammars is NP-complete.

연구 동기 및 목표

• 의존 문법 체계에 대한 계산 복잡도 결과가 문장 구조 문법에 비해 부족한 데에 대비하여 이를 해결하고자 한다.
• 비프로젝티브 구조를 允許하는 언어학적으로 타당한 의존 문법—특히 그러한 문법이 효율적인 인식 알고리즘을 허용하는지 조사하고자 한다.
• 약간의 생성 능력 증가(예: 비프로젝티비티)가 계산 복잡도에 비례해 약간만 증가시킬 것이라는 가정을 도전하고자 한다.
• 현대 의존 문법 이론에서 지배와 순서 관계의 분리를 공식적으로 입증하여, 인식 과정에서 NP-완전성이 초래됨을 보여주고자 한다.

제안 방법

• NP-완전한 정점 커버 문제(VS)를 의존 문법 인식 문제(DGR)로 감소시키는 방법.
• 원래 VC 인스턴스에 해가 존재할 때만 σ ∈ L(G)가 되는 의존 문법 G(V,E,k)와 입력 문자열 σ(V,E,k)를 구성하는 것.
• 정점, 간선, 커버 조건을 표현하기 위해 별도의 용량 클래스(H, R, U)를 가진 레이블이 부여된 의존 트리를 사용하는 것.
• 단어 인스턴스를 용량 슬롯에 할당: H는 간선의 끝점, R은 중복 복사본, U는 루트에 종속된 정점.
• 원래 그래프에 크기가 ≤ k인 정점 커버가 존재할 때만 문법이 입력 문자열을 생성함을 증명하는 것.
• VC와 DGR 간의 다항 시간 감소와 동치성의 확립을 통해 DGR의 NP-완전성을 확인하는 것.

실험 결과

연구 질문

• RQ1 언어학적으로 타당한 의존 문법의 인식은 계산적으로 가능할 수 있는가, 아니면 지배와 순서의 독립적 특성으로 인해 불가능한가?
• RQ2 비연속적 의존 관계를 允許하는 비프로젝티브 의존 문법은 다항 시간 내에 분석될 수 있는가?
• RQ3 현대 의존 문법의 증가된 생성 능력은 계산 복잡도의 상당한 증가와 관련이 있는가?
• RQ4 현재 의존 문법 체계에서 지배와 순서 관계의 분리는 인식 과정에서 NP-완전성을 초래하는 이유인가?

주요 결과

• 정점 커버 문제로부터 다항 시간 감소를 통해 언어학적으로 타당한 의존 문법의 인식이 NP-완전임을 입증하였다.
• 비프로젝티브 구조뿐 아니라 순서 없는 의존 트리에 대해서도 NP-완전성이 유지됨을 보여주었다.
• 이 결과는 현대 의존 문법 이론의 핵심 특징인 지배와 순서의 독립적 정의에서 기인한다.
• 복잡도 증가는 순수 이론적 차원을 넘어서, 이는 표준 다항 시간 분석 기법(예: 차트 기반)이 이러한 체계에 일반적으로 적용될 수 없음을 의미한다.
• 이 결과는 a^n b^n c^n 같은 문맥 의존 언어를 생성할 수 있는 비연속 의존 문법 체계에도 적용된다.
• 이러한 발견은 현대 의존 문법의 효율적 분석을 위해서는 히우리스틱 또는 하이브리드 접근 방식이 필요하다는 것을 시사하며, ParseTalk와 같은 시스템에서 관찰된 바와 같다.