[논문 리뷰] The computational landscape of permutation patterns

Marie-Louise Bruner, Martin Lackner|arXiv (Cornell University)|2013. 01. 02.

Algorithms and Data Compression참고 문헌 31인용 수 14

한 줄 요약

이 논문은 독립 집합 문제를 PPM(순열 패턴 매칭)로 다항 시간 내에 환원시켜 PPM의 계산 복잡도를 규명한다. 이를 통해 PPM가 NP-완전임을 증명한다. 그래프 내 k-클리크를 찾는 것은 패턴과 그 부분패턴을 텍스트 순열에 동시에 매칭하는 것과 대응되며, 이는 조합적 패턴 매칭을 통해 NP 문제의 전체 복잡도를 포괄하고 있음을 보여준다.

ABSTRACT

In the last years, different types of patterns in permutations have been studied: vincular, bivincular and mesh patterns, just to name a few. Every type of permutation pattern naturally defines a corresponding computational problem: Given a pattern P and a permutation T (the text), is P contained in T? In this paper we draw a map of the computational landscape of permutation pattern matching with different types of patterns. We provide a classical complexity analysis and investigate the impact of the pattern length on the computational hardness. Furthermore, we highlight several directions in which the study of computational aspects of permutation patterns could evolve.

연구 동기 및 목표

• 순열 패턴 매칭(PPM) 문제의 계산 복잡도를 규명하는 것.
• 기존의 NP-완전 문제를 PPM로 환원시켜 PPM가 NP-완전인지 조사하는 것.
• 그래프 클리크와 순열 내 동시에 발생하는 패턴 매칭 간의 대응 관계를 설정하는 것.
• 패턴과 부분패턴 매칭을 사용하여 독립 집합 문제에서 PPM로의 환원을 체계화하는 것.
• 조합적 인코딩을 통해 PPM를 푸는 것이 NP-완전 문제를 푸는 것과 동일한 난이도임을 보여주는 것.

제안 방법

• 그래프의 정점과 간선을 순열로 인코딩하여 독립 집합 문제의 인스턴스를 PPM 인스턴스로 환원한다.
• 정점과 간선을 각각 패턴 P′ 및 그 부분패턴 ¯Pi로 표현한다.
• 텍스트 순열 T′에 P′을 매칭함으로써 그래프 내 k개의 정점을 선택하는 단조증가 매핑 μ: [k] → [l]을 정의한다.
• 각 ¯Pi가 T′에 매칭될 수 있는지 확인함으로써 선택된 정점 간의 간선이 모두 G에 존재하는지 검증한다.
• 패턴과 텍스트에서 매칭된 요소가 원래 그래프의 정점과 간선과 대응되는 그래픽적 표현을 사용한다.
• P′과 모든 ¯Pi가 T′에 동시에 매칭될 수 있는지 여부가 G에 k-클리크가 존재하는지의 필요충분조건이 된다.

실험 결과

연구 질문

• RQ1 순열 패턴 매칭(PPM) 문제는 NP-완전인가?
• RQ2 독립 집합 문제는 다항 시간 내에 PPM로 환원될 수 있는가?
• RQ3 그래프 클리크와 순열 내 동시에 발생하는 패턴 매칭 간의 관계는 무엇인가?
• RQ4 P′과 모든 ¯Pi가 T′에 유효하게 매칭될 경우, 원래 그래프에 k-클리크가 존재하는가?
• RQ5 모든 k-클리크는 순열 패턴 매칭 인스턴스에서 동시에 매칭으로 표현될 수 있는가?

주요 결과

• 독립 집합 문제에서의 다항 시간 환원을 통해 순열 패턴 매칭(PPM) 문제가 NP-완전임을 입증하였다.
• 그래프 G에 k-클리크가 존재하는 것은, 패턴 P′이 텍스트 T′에 매칭되고, 모든 부분패턴 ¯Pi가 해당 부분문자열 T′j에 동시에 매칭될 수 있는 것과 필요충분조건이다.
• P′이 T′에 매칭되고 모든 ¯Pi가 T′j에 매칭될 수 있도록 하는 단조증가 매핑 μ: [k] → [l]의 존재는 정확히 G에서 k개의 정점으로 이루어진 클리프를 선택하는 것과 대응된다.
• 어느 부분패턴 ¯Pi가 T′에 매칭되지 않으면, 해당 간선이 G에 존재하지 않음을 의미하며, 이는 k-크기의 클리프가 존재하지 않음을 시사한다.
• 예시에서 정점 {v2, v3, v5}는 크기 3의 클리프를 이룬다. 이는 P′의 요소 1, 2, 3이 T′의 위치 2, 3, 5에 매칭되어 확인된다.
• 그림 2의 그래픽적 표현은 매칭된 정점과 간선이 원래 그래프의 요소와 패턴 매칭 과정 간의 대응 관계를 명확히 보여준다.