[논문 리뷰] Counting Fixed-Length Permutation Patterns

Cheyne Homberger|arXiv (Cornell University)|2012. 11. 29.

Optimization and Packing Problems인용 수 6

한 줄 요약

이 논문은 고정 길이 순열 패턴의 수를 연구하며, 특히 랜덤 순열에서 (n−1)-패턴에 초점을 맞춘다. 1945년 카플라스키와 월포위츠의 결과를 확장하여 큰 패턴의 수에 대한 정확한 기대값과 분산을 유도하고, 최소 간격 크기를 사용한 기하학적 구성 기법을 제안하여 서로 다른 패턴의 수를 최대화한다. 이는 최소 간격 크기가 높은 순열이 고정 길이에 대해 최적의 패턴 수를 달성함을 보여준다.

ABSTRACT

We consider the problem of packing fixed-length patterns into a permutation, and develop a connection between the number of large patterns and the number of bonds in a permutation. Improving upon a result of Kaplansky and Wolfowitz, we obtain exact values for the expectation and variance for the number of large patterns in a random permutation. Finally, we are able to generalize the idea of bonds to obtain results on fixed-length patterns of any size, and present a construction that maximizes the number of distinct large patterns.

연구 동기 및 목표

• 랜덤 n-순열에서 (n−1)-패턴의 수에 대한 정확한 기대값과 분산을 결정하는 것.
• 순열에서의 바인드 개념을 임의의 크기의 고정 길이 패턴으로 일반화하는 것.
• 최소 간격 크기를 최적화하여 고정 길이의 큰 패턴 수를 최대화하는 순열을 구성하는 것.
• Herb Wilf의 순열 길이 n에서 패턴 수를 최대화하는 문제를 해결하는 것.
• 최소 간격 크기와 순열 내 고정 길이 패턴 수 사이의 관계를 탐구하는 것.

제안 방법

• Kaplansky와 Wolfowitz의 1945년 기록 통계 결과를 확장하여 랜덤 순열에서 (n−1)-패턴 수에 대한 정확한 모멘트를 도출한다.
• 함수 del(p,i)를 도입하여 순열 p의 i번째 원소를 삭제하고 다시 레이블링하여 (n−1)-패턴을 형성한다.
• 역함수 ins(q,j,k)를 사용하여 값 하나를 (n−1)-순열에 삽입하고 원래의 n-순열로 복원한다.
• 구조적 제약 조건을 분석하기 위해 span_p(i,j)와 d_p(i,j) 함수를 정의한다.
• 정수 격점 중심의 기울인 정사각형을 사용하여 평면을 타일링하여 최대 최소 간격 크기를 가진 순열을 모델링한다.
• 최소 간격 크기가 최대에 도달하는 순열(예: π^(k))이 고정된 k에 대해 (n−k)-패턴 수를 최대화함을 증명한다.

실험 결과

연구 질문

• RQ1 균일하게 랜덤한 n-순열에서 (n−1)-패턴의 수에 대한 정확한 기대값과 분산은 무엇인가?
• RQ2 순열에서의 바인드 개념을 임의의 크기의 고정 길이 패턴으로 어떻게 일반화할 수 있는가?
• RQ3 주어진 k에 대해 (n−k)-패턴 수를 최대화하는 순열의 구조는 무엇인가?
• RQ4 최소 간격 크기를 기반으로 한 기하학적 구성이 고정 길이 패턴에 대해 최대 패턴 수를 갖는 순열을 생성할 수 있는가?
• RQ5 순열의 최소 간격 크기가 포함된 고정 길이 패턴 수에 어떻게 영향을 미치는가?

주요 결과

• 랜덤 n-순열에서 (n−1)-패턴 수에 대한 기대값과 분산이 정확히 계산되었으며, 이는 Kaplansky와 Wolfowitz의 1945년 결과를 일반화한 것이다.
• 모든 k ≥ 2에 대해 π^(k)와 그 역순은 최소 간격 크기가 k인 가장 짧은 순열이며, 길이는 (k−1)²−2이다.
• 최소 간격 크기가 mg(p) = k+1인 순열 p에서 (n−k)-패턴 수는 정확히 binomial(n,k) − w_k이며, 여기서 w_k는 d_p(i,j) = k+1인 쌍 (i,j)의 수이다.
• 순열 π^(k)는 모든 0 ≤ j ≤ k−2에 대해 M_j(p) = binomial(n,j)를 만족하므로, 작은 j에 대해 가능한 최대의 j-패턴 수를 달성한다.
• (k−1)²−2보다 짧은 길이의 순열은 모든 j ≤ k−2에 대해 동일한 최대 패턴 수를 달성할 수 없다.
• 최대 최소 간격 크기를 갖는 순열의 구성은 고정 길이 패턴 수에 대해 최적의 결과를 얻지만, 총 패턴 수는 평균 간격 크기에 더 크게 영향을 받는다.