[논문 리뷰] Two-stack-sorting with pop stacks

Lara Pudwell, Rebecca Smith|arXiv (Cornell University)|2018. 01. 15.

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

한 줄 요약

이 논문은 두 번의 팝 스택을 거쳐 정렬 가능한 순열을 금지된 고전적 및 막힌 패턴을 통해 특성화하며, 이들의 이중성과 비틀린 실린더 위의 특수한 다면체 군과의 이분사적 대응을 증명한다. 이로써 이러한 순열은 세 가지 고전적 순열 클래스와 동일한 수를 세는 성질을 가지며, 일정 계수를 가진 선형 재귀 관계를 만족함을 보인다.

ABSTRACT

We consider the set of permutations that are sorted after two passes through a pop stack. We characterize these permutations in terms of forbidden patterns (classical and barred) and enumerate them according to the ascent statistic. Then we show these permutations to be in bijection with a special family of polyominoes. As a consequence, the permutations sortable by this machine are shown to have the same enumeration as three classical permutation classes.

연구 동기 및 목표

• 두 번의 팝 스택을 거쳐 정렬 가능한 순열의 집합을 특성화하는 것.
• 조합적 및 재귀적 방법을 사용하여 오름쪽 수에 따라 이러한 순열을 수량화하는 것.
• 두 번의 팝 스택 정렬 가능한 순열과 비틀린 실린더의 너비 3인 특수한 다면체 군 간의 이분사적 대응을 수립하는 것.
• 두 번의 팝 스택 정렬 가능한 순열의 수량화가 세 가지 고전적 순열 클래스와 동일한지 확인하는 것.
• 오름쪽 분포의 로그-볼록성과 대칭성과 같은 이러한 순열의 구조적 성질을 조사하는 것.

제안 방법

• 2341, 3412, 3421, 4123, 4231, 4312, 41352를 피하는 특별한 금지된 고전적 및 막힌 패턴을 사용하여 두 번의 팝 스택 정렬 가능한 순열을 특성화한다.
• 내림차순 수열로 분해된 순열의 블록에 기반한 재귀적 구조를 정의하며, 인접 블록 간의 상대적 최대값과 최소값에 제약을 둔다.
• 너비 3인 비틀린 실린더 위의 직사각형 다면체 군과 두 번의 팝 스택 정렬 가능한 순열 간의 이분사적 대응을 구축한다. 여기서 블록 크기와 상대적 순서가 직사각형 사이의 간격(1 또는 2개의 빈 칸)을 결정한다.
• 생성 함수와 재귀 관계를 사용하여 오름쪽 수에 따라 순열을 수량화하며, 이 수열이 일정 계수를 가진 선형 재귀 관계를 만족함을 보인다.
• 공통된 수량화를 통해 두 번의 팝 스택 정렬 가능한 순열의 클래스와 세 가지 고전적 순열 클래스 간의 윌프 동치성을 증명한다.
• 오름쪽 분포의 로그-볼록성과 블록 크기 분포의 대칭성에 대한 추측을 제시하고 검증하며, 특히 최대 오름쪽 수를 가진 홀수 길이 순열에 대해 집중한다.

실험 결과

연구 질문

• RQ1 어느 순열이 두 번의 팝 스택을 거쳐 정렬 가능한가? 그리고 금지된 패턴을 통해 어떻게 특성화할 수 있는가?
• RQ2 오름쪽 수에 따라 두 번의 팝 스택 정렬 가능한 순열의 정확한 수량화는 무엇이며, 이를 지배하는 재귀 관계는 무엇인가?
• RQ3 두 번의 팝 스택 정렬 가능한 순열과 다면체 군 간의 이분사적 대응이 존재하는가? 만약 존재한다면, 이를 정의하는 기하학적 제약 조건은 무엇인가?
• RQ4 두 번의 팝 스택 정렬 가능한 순열이 어떤 고전적 순열 클래스와 동일한 수량화를 가지는가? 만약 그렇다면, 어떤 클래스인가?
• RQ5 이 순열 클래스 내에서 오름쪽 수나 블록 크기 분포에 대해 대칭성 또는 로그-볼록성 같은 구조적 성질이 존재하는가?

주요 결과

• 두 번의 팝 스택 정렬 가능한 순열의 집합은 막힌 패턴 41352와 고전적 패턴 2341, 3412, 3421, 4123, 4231, 4312를 피하는 것으로 특성화된다.
• 길이 n, 오름쪽 수 k를 가진 두 번의 팝 스택 정렬 가능한 순열의 수 a(n,k)는 일정 계수를 가진 선형 재귀 관계를 만족한다.
• 두 번의 팝 스택 정렬 가능한 순열의 클래스는 너비 3인 비틀린 실린더 위의 특수한 다면체 군과 이분사적 대응 관계를 맺으며, 블록 값 관계에 기반한 특정 간격 규칙을 가진 직사각형 블록으로 구성된다.
• 두 번의 팝 스택 정렬 가능한 순열의 수량화는 세 가지 고전적 순열 클래스와 동일하다. 이는 Av(2431, 3412, 3421, 4123, 4213, 4231, 4312, 4321), Av(2413, 3412, 3421, 4123, 4132, 4213, 4312, 4321), 그리고 Av(1342, 1432, 3142, 3412, 4123, 4132, 4213, 4312)와의 윌프 동치성을 확인한다.
• 추측 1은 데이터에 의해 지지된다: 모든 n에 대해 수열 {a(n,k)}는 로그-볼록성이다.
• 작은 n에 대해 추측 3는 성립한다: a(2n+1, n) = 2b(2n+1, n)이며, 이는 길이 2n+1인 순열 중 정확히 n개의 오름쪽을 가지며 마지막 블록 크기가 1인 경우와 1보다 큰 경우의 수가 동일함을 나타낸다.