[논문 리뷰] A stack and a pop stack in series

Rebecca Smith, Vincent Vatter|arXiv (Cornell University)|2013. 03. 06.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 4

한 줄 요약

이 논문은 팝 스택 다음에 바로 표준 스택을 사용하는 PS 기계를 통해 순열을 정렬하는 것을 조사하며, 가역 가능한 순열을 유한한 금지 패턴 기반으로 특성화하고 정확한 수를 세는 것을 제시한다. 또한 스택 사이에 큐를 삽입한 더 강력한 변형인 PQS 기계를 도입하며, 이에 대해 몇 가지 추측은 제시하지만 완전한 특성화는 이루어지지 않아, 단일 스택 정렬을 초월한 이러한 기계의 복잡성을 부각시킨다.

ABSTRACT

We study sorting machines consisting of a stack and a pop stack in series, with or without a queue between them. While there are, a priori, four such machines, only two are essentially different: a pop stack followed directly by a stack, and a pop stack followed by a queue and then by a stack. In the former case, we obtain complete answers for the basis and enumeration of the sortable permutations. In the latter case, we present several conjectures.

연구 동기 및 목표

• 팝 스택 다음에 바로 표준 스택을 사용하는 PS 기계로 정렬 가능한 순열의 집합을 특성화하는 것.
• PS 기계로 정렬 가능한 순열의 수를 세는 것.
• 팝 스택 다음에 큐를 거쳐서 표준 스택을 사용하는 PQS 기계의 더 복잡한 경우를 조사하는 것.
• PQS 기계로 정렬 가능한 순열의 클래스가 유한한 기반을 갖는지 탐색하는 것.
• 기존의 알려진 정렬 기계들, 예를 들어 감소 스택 다음에 증가 스택을 사용하는 DI 기계와 PS 및 PQS 기계를 비교하는 것.

제안 방법

• 저자는 팝 스택이 전체 내용을 LIFO 순서로 바로 표준 스택에 출력하는 PS 기계를 분석한다.
• 정렬 가능한 순열에서의 금지 패턴을 식별하기 위해 구조적 분해와 패턴 회피 논증을 사용한다.
• 입력 요소의 제거가 패턴 포함에 미치는 영향을 분석하기 위해 '분할된 순열'의 개념을 적용한다.
• 어떤 정렬 가능한 순열이라도 특정 패턴을 회피하는 세그먼트로 나눌 수 있음을 보여줌으로써 PS 정렬 가능한 순열가 특정 구성요소를 회피함을 증명한다.
• PQS 기계의 경우 대칭성과 큐를 연결한 스택 시스템에 대한 기존 결과를 활용하여 구조적 제약을 도출한다.
• PermLab와 같은 계산 도구를 활용하여 기반 계산을 지원하고, PQS 정렬 가능한 순열에 대해 유한한 기반 존재를 추측한다.

실험 결과

연구 질문

• RQ1 팝 스택 다음에 바로 표준 스택을 사용하는 PS 기계로 정렬 가능한 순열에 대한 유한한 금지 패턴 기반은 무엇인가요?
• RQ2 팝 스택 다음에 바로 표준 스택을 사용하는 PS 기계로 정렬 가능한 순열의 정확한 수는 얼마인가요?
• RQ3 팝 스택 다음에 큐를 거쳐서 표준 스택을 사용하는 PQS 기계로 정렬 가능한 순열의 클래스는 유한한 기반을 갖는가요?
• RQ4 PS 기계는 감소 스택 다음에 증가 스택을 사용하는 DI 기계와 비교해 어떤 정도의 능력을 갖는가요?
• RQ5 유한한 기반을 갖는 순열 클래스의 국소적 역전에 대한 폐쇄는 반드시 유한한 기반을 갖는가요?

주요 결과

• PS 정렬 가능한 순열은 231 및 2341 패턴과 관련된 특정 구성요소를 회피함으로써 유한한 금지 패턴 기반으로 특성화된다.
• 논문은 PS 기계로 정렬 가능한 순열의 정확한 수를 제시하지만, 요약에서는 정확한 공식이 명시되어 있지 않다.
• PQS 기계의 경우 저자는 여러 가지 추측을 제시하지만, 유한한 기반이나 완전한 수를 세는 것은 확립하지 못했다.
• PS 기계는 DI 기계(감소 스택 다음에 증가 스택)의 특수한 경우이지만, 두 정렬 가능한 순열 클래스는 동치가 아니다.
• 저자는 PQS 정렬 가능한 순열가 231를 회피하는 순열에서 국소적 역전을 통해 유도될 수 있음을 보여주며, 기존의 알려진 순열 클래스와의 구조적 연관성을 시사한다.
• 논문은 국소적 역전이 유한한 기반 성질을 유지하는지 여부에 대해 열린 질문을 제기하며, 그에 대한 증거는 그 답이 '아니요'일 가능성이 있음을 암시한다.