[논문 리뷰] Generating permutations with a given major index

Vincent Vajnovszki|arXiv (Cornell University)|2013. 02. 26.

Coding theory and cryptography참고 문헌 3인용 수 3

한 줄 요약

이 논문은 고정된 주요 지표를 가진 순열을 생성하기 위한 첫 번째 일정 분할 시간(CAT) 알고리즘을 제시한다. 이는 연속된 순열이 최대 세 개의 인접 전치로만 다를 수 있도록 보장하는, 부분초출수열에 대한 새로운 그레이 코드를 사용한다. 이 방법은 유계 조합의 co-lex 순서 생성을 활용하며, 이를 부분초출수열에 대한 그레이 코드로 변환하고, 순열로의 전단사 사상 적용을 통해 그레이 코드 성질을 유지한다. 이는 통제된 전치 수열을 통해 실현된다.

ABSTRACT

In [S. Effler, F. Ruskey, A CAT algorithm for listing permutations with a given number of inversions, {\it I.P.L.}, 86/2 (2003)] the authors give an algorithm, which appears to be CAT, for generating permutations with a given major index. In the present paper we give a new algorithm for generating a Gray code for subexcedant sequences. We show that this algorithm is CAT and derive it into a CAT generating algorithm for permutations with a given major index.

연구 동기 및 목표

• 고정된 주요 지표를 가진 순열을 생성하기 위한 일정 분할 시간(CAT) 알고리즘을 개발하는 것.
• 고정된 무게를 가진 부분초출수열에 대한 그레이 코드를 구축하여, 연속된 수열이 최대 세 개의 인접 위치에서 유한한 양으로 다를 수 있도록 하는 것.
• 부분초출수열과 순열 간의 전단사 사상 하에서 그레이 코드 성질이 유지되어 고정된 주요 지표를 가진 순열의 효율적 생성이 가능하도록 하는 것.
• 그레이 코드 구조가 이 구성에서 필수적임을 입증하고, 효율성을 잃지 않도록 하기 위해 더 단순한 사전순 순서로 대체할 수 없다는 것을 보여주는 것.

제안 방법

• 유계 조합을 co-lex 순서로 생성하기 위해, 생성 트리에서 중복 노드를 방지하기 위해 증가 가능한 위치를 사용하는 재귀 알고리즘을 사용하는 것.
• 생성 과정을 재정렬하고, 유계 수열 $\boldsymbol{b} = 01\ldots(n-1)$로 특수화하여 co-lex 순서를 부분초출수열에 대한 그레이 코드로 변환하는 것.
• 그레이 코드 생성을 최적화하여, 오른쪽에서 가장 먼저 다른 위치와 누적 합을 추적하는 데에 사용되는 효율적인 버전인 Gen2_Gray를 도입하는 것.
• 서브초출수열 간의 차이를 기반으로 순열을 업데이트하는 전치 절차 transp를 정의하며, $\phi_j$ 함수를 사용한 위치 기반 변환을 적용하는 것.
• 부분초출수열에서 순열로의 전단사 사상 $\psi$를 정의하여(맥마혼 코드), 수열에 대한 그레이 코드를 순열에 대한 그레이 코드로 매핑하는 것.
• Update_Perm 절차를 적용하여, 서브초출수열의 局부 차이에 기반해 한 순열에서 다음 순열로의 최소 전치 수열을 계산하는 것.

실험 결과

연구 질문

• RQ1 고정된 주요 지표를 가진 순열을 생성하기 위한 일정 분할 시간 알고리즘을 구성할 수 있는가?
• RQ2 고정된 무게를 가진 부분초출수열에 대해, 연속된 수열이 최대 세 개의 인접 위치에서 유한한 양으로 다를 수 있도록 하는 그레이 코드를 설계할 수 있는가?
• RQ3 맥마혼 코드 전단사 사상 하에서 부분초출수열에 대한 그레이 코드 구조가, 순열 간 전치 수가 적다는 성질을 유지하는가?
• RQ4 이 구성에서 그레이 코드 구조가 왜 필수적인가? 왜 사전순 순서로 대체할 수 없으며, 효율성이 손상되는가?

주요 결과

• 제안된 알고리즘은 길이 $n$의 모든 순열 중 주요 지표 $k$를 가진 순열을 각 순열당 일정 분할 시간으로 생성한다.
• 부분초출수열에 대한 그레이 코드는 연속된 수열이 최대 세 개의 인접 위치에서 변화하며, 변화량이 $\pm1$ 또는 $\pm2$로 유한함을 보장한다.
• 전단사 사상에 의해 생성된 연속된 순열은 최대 세 번의 전치로만 다를 수 있으며, 이는 효율적 생성을 가능하게 하는 핵심적인 구조적 성질이다.
• 알고리즘은 유계 조합의 co-lex 순서 생성을 그레이 코드로 변환하고, 이를 부분초출수열로 특수화하며 생성 과정을 최적화함으로써 유도된다.
• Update_Perm 절차를 통해 실현된 전치 기반 업데이트 메커니즘은 서브초출수열의 局부 차이를 정확히 전역 순열 변화로 매핑한다.
• 수치적 증거는 그레이 코드 조건을 완화하는 것(예: 비인접 차이 允許)이 순열 공간 내 전치 효율성을 파괴한다는 것을 보여준다.