[논문 리뷰] 2-stack pushall sortable permutations

Adeline Pierrot, Dominique Rossin|arXiv (Cornell University)|2013. 03. 18.

Advanced Combinatorial Mathematics참고 문헌 16인용 수 5

한 줄 요약

이 논문은 2스택 정렬 가능한 순열의 제한된 부분집합인 2스택 푸시올 정렬 가능한 순열을 도입하고, 주어진 크기 n의 순열이 2스택 푸시올 정렬 가능한지 여부를 결정하는 최적의 O(n²) 알고리즘을 제시한다. 이 방법은 순열의 이색화 모델을 사용하여 유효한 정렬 순서를 특성화하고, ⊖-분해와 동적 프로그래밍을 통해 모든 가능한 유효한 색상 칠하기를 효율적으로 계산함으로써, 보다 넓은 2스택 정렬 문제의 핵심 부분 문제에 다항시간 해법을 제공한다.

ABSTRACT

In the 60's, Knuth introduced stack-sorting and serial compositions of stacks. In particular, one significant question arise out of the work of Knuth: how to decide efficiently if a given permutation is sortable with 2 stacks in series? Whether this problem is polynomial or NP-complete is still unanswered yet. In this article we introduce 2-stack pushall permutations which form a subclass of 2-stack sortable permutations and show that these two classes are closely related. Moreover, we give an optimal O(n^2) algorithm to decide if a given permutation of size n is 2-stack pushall sortable and describe all its sortings. This result is a step to the solve the general 2-stack sorting problem in polynomial time.

연구 동기 및 목표

• 2스택 정렬 가능한 순열의 새로운 부분집합인 2스택 푸시올 정렬 가능한 순열을 정의하고 연구하여 일반 2스택 정렬 문제를 단순화한다.
• 2스택 푸시올 정렬 가능성을 다항시간에 결정할 수 있는 알고리즘을 제공함으로써, 조합 알고리즘 분야에서 오랫동안 미해결된 문제를 해결한다.
• 순열 다이어그램의 이색화 모델을 사용하여 주어진 순열에 대한 모든 유효한 정렬 순서를 특성화한다.
• 모든 유효한 색상 칠하기의 선형시간 표현을 확립하여 효율적인 열거 및 결정을 가능하게 한다.
• 일반 2스택 정렬 문제를 해결하기 위한 기초를 마련하기 위해, 처리 가능하지만 구조적으로 풍부한 변형을 해결한다.

제안 방법

• 논문은 2스택 푸시올 정렬을 순열 점들(빨간색 및 초록색)의 이색화로 모델링하며, 각 색상 칠하기는 유효한 푸시 및 팝 연산 순서에 대응한다.
• 유효한 색상 칠하기를 보장하기 위해 피해야 할 네 가지 금지 패턴(132, 213, 2/13, 1X2)을 정의한다.
• 순열을 ⊖-분해성 블록들로 분해하여 선형 시간 내에 ⊖-분해를 계산함으로써 재귀적 처리를 가능하게 한다.
• 동적 프로그래밍과 패턴 회피를 활용하여 각 ⊖-분해성 블록에 대한 유효한 색상 칠하기 집합을 재귀적으로 계산한다.
• 색상 칠하기의 곱 구조를 통해 블록들의 색상 칠하기를 조합하며, 전체 순열의 색상 칠하기와 블록 색상 칠하기의 튜플 사이의 전단사 관계를 활용한다.
• 각 블록을 처리하고 결과를 집계함으로써 총 작업량이 O(n²) 이내로 제한되는 O(n²) 시간에 전체 알고리즘이 실행된다.

실험 결과

연구 질문

• RQ1 2스택 정렬의 제한된 변종인 2스택 푸시올 정렬은 다항시간 내에 결정할 수 있는가?
• RQ2 2스택 푸시올 정렬 가능한 순열을 특성화하는 구조적 성질은 무엇인가?
• RQ3 주어진 순열에 대해 모든 유효한 정렬 순서를 효율적으로 열거할 수 있는가?
• RQ4 모든 유효한 2스택 푸시올 정렬 작업을 포괄하는 조합 모델(예: 이색화)이 존재하는가?
• RQ5 이 제한된 모델은 일반 2스택 정렬 문제를 해결하기 위한 단계적인 기반으로 기능할 수 있는가?

주요 결과

• 논문은 2스택 푸시올 정렬 가능한 순열이 이색화 모델에서 네 가지 특정 패턴인 132, 213, 2/13, 1X2의 회피에 의해 특성화됨을 입증한다.
• 크기 n인 순열이 2스택 푸시올 정렬 가능한지 여부를 결정하는 최적의 O(n²) 알고리즘을 제시하며, 이 알고리즘은 모든 유효한 색상 칠하기의 선형적 기술을 반환한다.
• 알고리즘은 ⊖-분해를 통해 순열을 분해성 블록들로 나누어 효율적인 재귀적 처리와 유효한 색상 칠하기의 조합을 가능하게 한다.
• 크기 2n인 순열에 대해 최소 2n−3개의 유효한 색상 칠하기를 갖는 단순 순열의 가족을 제시함으로써, 비트리비얼 케이스 외에도 선형 크기의 해집합이 존재함을 보여준다.
• 알고리즘의 복잡도는 최적임이 증명되었으며, 출력 기술 길이와 처리 시간이 입력 크기와 일치하기 때문이다.
• 이 결과는 수십 년 동안 열려 있던 일반 2스택 정렬 문제 해결을 위한 중요한 단계를 제공한다.