[논문 리뷰] The Complexity of Translation Membership for Macro Tree Transducers

Kazuhiro Inaba, Sebastian Maneth|ArXiv.org|2009. 10. 13.

Algorithms and Data Compression참고 문헌 19인용 수 3

한 줄 요약

이 논문은 매크로 트리 변환기(MTTs)의 번역 멤버십 문제의 복잡도를 조사하며, 호출 방식이 값 전달 방식인 MTTs(IO 모드)의 경우, 온더플라이 역유형 추론을 사용하여 다항시간 내에 문제를 해결할 수 있음을 보여준다. 반면, 호출 방식이 이름 전달인 MTTs(OI 모드)의 경우 문제는 NP-완전이며, 이 결과는 다중 반환 및 레이아웃 향상된 MTTs로 확장되며, IO 변종에서는 여전히 PTIME 복잡도를 유지한다.

ABSTRACT

Macro tree transducers (mtts) are a useful formal model for XML query and transformation languages. In this paper one of the fundamental decision problems on translations, namely the "translation membership problem" is studied for mtts. For a fixed translation, the translation membership problem asks whether a given input/output pair is element of the translation. For call-by-name mtts this problem is shown to be NP-complete. The main result is that translation membership for call-by-value mtts is in polynomial time. For several extensions, such as addition of regular look-ahead or the generalization to multi-return mtts, it is shown that translation membership still remains in PTIME.

연구 동기 및 목표

• XML 변환을 위한 핵심 형식 모델인 매크로 트리 변환기(MTTs)의 번역 멤버십 문제의 계산 복잡도를 분석하는 것.
• 주어진 입력-출력 트리 쌍이 고정된 MTT에 의해 정의된 번역에 속하는지 여부를 판단하는 것, 특히 다양한 평가 전략 하에서의 경우.
• 다중 반환 MTTs 및 정규 레이아웃 또는 등가/비등가 제약 조건을 사용하는 MTTs와 같은 변종으로 복잡도 분석을 확장하는 것.
• 과도한 사전 계산을 피하기 위해 온더플라이 역유형 추론 기반의 효율적인 알고리즘을 IO-모드 MTTs에 개발하는 것.

제안 방법

• 과도한 사전 계산을 피하기 위해, 주어진 출력 유형에 대응하는 입력 유형을 온더플라이로 역유형 자동차를 구성하는 방법을 제안.
• 역유형 추론을 사용하여 IO-모드 MTT 하에서 주어진 출력 트리를 생성하는 입력 트리의 집합을 특성화.
• 모든 가능한 유도 과정을 열거하지 않고도 효율적으로 멤버십를 계산하기 위해 입력 트리와 출력 트리의 구조를 기반으로 동적 프로그래밍을 적용.
• 다중 반환 MTTs로 기술을 확장하기 위해, 다수의 출력 트리 튜플과 그 매개변수 의존성을 추적하는 상태를 정의.
• 정규 레이아웃 및 형제 제약 조건을 처리하기 위해, 역유형 자동차의 상태 공간을 제약 조건 만족 검사로 확장.
• 입력 트리와 출력 트리를 동시에 순회하면서 MTT 규칙과의 일관성을 검사하는 재귀적 트리 자동차 기반 알고리즘을 활용.

실험 결과

연구 질문

• RQ1 값 전달 방식 매크로 트리 변환기의 번역 멤버십 문제는 다항시간 내에 해결 가능한가?
• RQ2 이름 전달 방식 매크로 트리 변환기의 번역 멤버십 문제의 복잡도는 무엇인가?
• RQ3 역유형 추론 기법은 다중 반환 또는 레이아웃 MTTs와 같은 확장된 MTT 모델에서도 다항시간 복잡도를 유지할 수 있도록 적응 가능한가?
• RQ4 레이아웃에서 형제 노드 간의 등가 및 비등가 제약 조건이 추가될 경우 번역 멤버십의 복잡도에 영향을 미치는가?
• RQ5 역유형 자동차 접근법은 1-매개변수 MTTs의 OI 모드에 적용 가능한가, 아니면 상태 공간의 폭발로 인해 실패하는가?

주요 결과

• 값 전달 방식 매크로 트리 변환기의 번역 멤버십 문제는 PTIME에 속하며, 시간 복잡도는 O(|s|·|t|^{2m+2d}·|M|)이다. 여기서 m은 최대 랭크이고 d는 상태의 최대 차원이다.
• 이름 전달 방식 매크로 트리 변환기의 번역 멤버십 문제는 NP-완전하며, 다수의 IO-모드 MTTs의 조합일지라도 마찬가지이다.
• 온더플라이로 적용된 역유형 추론 기법은 지수적 증가를 피하고, IO-모드 MTTs의 다항시간 멤버십 검사를 가능하게 한다.
• 다중 반환 MTTs의 경우 복잡도는 여전히 PTIME에 속하며, 확장된 상태 표현을 통해 다수의 출력 트리 튜플을 추적하는 데 일반화되기 때문이다.
• 정규 레이아웃을 갖는 MTTs 및 형제 간 등가/비등가 제약 조건을 사용하는 MTTs로의 접근법 확장도 다항시간 복잡도를 유지한다.
• 결정성 MTTs의 경우, n중 조합에 대해 선형 시간 O(|s| + 2^n·|t|) 내에 번역 멤버십를 해결할 수 있으며, 이를 위해 출력을 계산하고 직접 비교한다.