[논문 리뷰] Keeler's theorem and products of distinct transpositions

Ron Evans, Lihua Huang외 1명|arXiv (Cornell University)|2012. 04. 26.

Genome Rearrangement Algorithms참고 문헌 5인용 수 4

한 줄 요약

이 논문은 퓨처라마에서 마인드 전환 순열에 대한 키티어의 정리를 개선하여, 보다 효율적인 알고리즘을 제시한다. 이 알고리즘은 원래 순열을 뒤집는 데 $ n + r + 2 $개의 서로 다른 대칭치를 사용한다—여기서 $ n $은 신체의 수이고 $ r $은 서로소 순환의 수이다—기존의 키티어의 $ n + 2r $ 또는 $ n + 2r + 1 $개의 전환보다 더 적다. 이 방법은 두 명의 외부자( outsider )를 사용하여 전환 수를 최소화하면서도, 모든 전환치가 서로 다르고 원래 전환치와 이산적임을 보장한다.

ABSTRACT

An episode of Futurama features a two-body mind-switching machine which will not work more than once on the same pair of bodies. After the Futurama community engages in a mind-switching spree, the question is asked, "Can the switching be undone so as to restore all minds to their original bodies?" Ken Keeler found an algorithm that undoes any mind-scrambling permutation with the aid of two "outsiders." We refine Keeler's result by providing a more efficient algorithm that uses the smallest possible number of switches. We also present best possible algorithms for undoing two natural sequences of switches, each sequence effecting a cyclic mind-scrambling permutation in the symmetric group S_n. Finally, we give necessary and sufficient conditions on m and n for the identity permutation to be expressible as a product of m distinct transpositions in S_n.

연구 동기 및 목표

• 키티어의 알고리즘보다 더 효율적인 알고리즘을 제공하여, 최소한의 서로 다른 대칭치를 사용해 어떤 마인드 뒤섞임 순열도 뒤집는 것.
• 두 외부자를 사용할 때, 원래 신체로 마음을 복원하기 위해 필요한 최소 전환 수를 결정하는 것.
• 순열 $ I $가 $ S_n $에서 $ m $개의 서로 다른 대칭치의 곱으로 표현될 수 있는 필요 및 충분 조건을 설정하는 것.
• 두 개의 표준 순열 시퀀스를 분석하여 $ n $-순환을 생성하고, 각각에 대해 최적의 뒤집기 전략을 도출하는 것.
• 순열 $ I $가 $ S_n $에서 $ m $개의 서로 다른 대칭치의 곱으로 표현될 수 있도록 하기 위해 $ m $이 짝수여야 하고, 최소 6 이상이어야 한다는 것을 증명하는 것.

제안 방법

• 두 외부자 $ x $와 $ y $를 포함하는 대칭치를 사용하여 $ S_{n+2} $ 내의 곱 $ \sigma $를 구성하며, 모든 요소가 원래 $ P $에 포함된 대칭치와 이산적이도록 보장한다.
• 각 길이 $ k_i $의 순환 $ C_i $에 대해, $ \sigma_i C_i = (xy) $가 되도록 하는 $ k_i + 2 $개의 대칭치 곱 $ \sigma_i $를 정의하며, 이때 $ (xu) $와 $ (yu) $의 요소만을 사용한다.
• $ \sigma_i $들을 조합하여 $ \tau = \sigma_r \cdots \sigma_1 $을 구성함으로써 $ \tau P = (xy)^r $를 얻고, $ r $의 기수에 따라 $ \sigma $를 조정하여 항등순열을 도출한다.
• 순환 분해와 대칭치 수 계산 논증을 통해 $ n + r + 2 $가 필요한 최소 대칭치 수임을 증명함으로써 최적성 입증.
• $ f(a,b,c) = (ac)(ab)(bc) $ 함수를 사용하여 곱에 포함된 대칭치 수를 2개 증가시키되 순열의 값은 그대로 유지함으로써, 항등순열의 곱을 귀납적으로 구성할 수 있도록 한다.
• 특수한 항등순열 표현을 $ S_4 $부터 $ S_8 $까지 구성한 후, $ f(a,b,c) $를 사용한 치환 기법을 통해 모든 $ S_n $으로 귀납적으로 확장한다.

실험 결과

연구 질문

• RQ1 두 외부자를 사용할 때, 임의의 순열 $ P \in S_n $를 뒤집는 데 필요한 서로 다른 대칭치의 최소 수는 얼마인가?
• RQ2 항등순열 $ I $는 $ S_n $에서 $ m $개의 서로 다른 대칭치의 곱으로 표현될 수 있는가? 만약 가능하면, 어떤 $ m $ 값에 대해 가능한가?
• RQ3 $ S_n $에서 두 표준 $ n $-순환 순열 $ P_1 $과 $ P_2 $를 뒤집는 데 필요한 최소 전환 수는 얼마인가?
• RQ4 키티어의 원래 알고리즘이 최적인가? 만약 아니라면, 대칭치 수 측면에서 얼마나 향상될 수 있는가?
• RQ5 순환적인 마인드 뒤섞임 순열을 $ S_n $에서 뒤집기 위해 필요한 최소 외부자 수는 얼마이며, 이 수는 $ n $에 따라 어떻게 달라지는가?

주요 결과

• 서로소 순환 $ r $개를 가진 임의의 순열 $ P \in S_n $를 뒤집는 데 필요한 최소 대칭치 수는 $ n + r + 2 $이며, 이 경계는 날카롭다.
• 키티어의 원래 알고리즘은 $ r = 1 $ 및 $ r = 2 $일 때에만 최적이다; $ r \geq 3 $일 경우, 새로운 알고리즘이 최소 2개의 전환을 줄여준다.
• 항등순열 $ I $는 $ S_n $에서 $ m $개의 서로 다른 대칭치의 곱으로 표현될 수 있으며, 이는 $ m $이 짝수여야 하고 $ 6 \leq m \leq \binom{n}{2} $일 때에만 가능하다.
• $ n \geq 4 $일 경우, $ f(a,b,c) $를 사용한 귀납적 치환 기법을 통해 유효 범위 내의 모든 짝수 $ m $에 대해 $ I $를 $ m $개의 서로 다른 대칭치의 곱으로 명시적으로 구성할 수 있다.
• $ S_4 $에서는 여섯 개의 모든 대칭치를 곱한 형태로 항등순열을 표현할 수 있다: $ (12)(23)(14)(13)(24)(34) $, 이는 귀납적 기반 사례로 사용된다.
• $ n = 2 $일 경우, 두 명의 외부자가 필요하다; $ n = 3 $ 및 $ n = 4 $일 경우, 한 명의 외부자로도 $ P_1 $를 뒤집을 수 있으며, 최적의 $ \sigma $들이 명시적으로 구성되어 있다.