[논문 리뷰] s-Overlap Cycles for Permutations

Victoria Horan, Glenn Hurlbert|arXiv (Cornell University)|2013. 01. 07.

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

한 줄 요약

이 논문은 모든 k < n 및 임의의 s ≥ 1에 대해 k-순열 [n]에 대한 s-오버랩 사이클(s-ocycles)의 존재를 증명하며, 2004년 반프 워크숍의 문제 481을 해결한다. 정점이 s-접두사이고 간선이 k-순열인 전이 그래프를 구성하여, 그래프가 균형 잡히고 연결되어 있음을 보이고, 이는 오일러 회로를 통해 s-ocycle이 존재함을 보장한다.

ABSTRACT

The goal of this paper is to solve Problem 481 from the list of research problems in the special issue of Discrete Mathematics dedicated to the Banff International Research Station workshop on "Generalizations of de Bruijn Cycles and Gray Codes" in 2004. Overlap cycles are generalizations of de Bruijn cycles and Gray codes that were introduced originally in 2010 by Godbole et al. In this paper we prove that s-overlap cycles for k-permutations of [n] exist for all k

연구 동기 및 목표

• 2004년 반프 워크숍에서 제기된 문제 481을 해결하기 위해, k < n 일 때 오버랩 그래프 P(k,n,s)가 해밀턴ian인지 여부를 묻는 문제를 해결한다.
• k < n 조건 하에 k-순열 [n]에 대한 s-오버랩 사이클(s-ocycles)의 존재를 확립한다.
• 일부 부분 오버랩 제약 조건을 가진 조합적 객체의 순서를 정의하는 더 넓은 프레임워크로, s-ocycles을 도입하여 유니버설 사이클(ucycles)을 일반화한다.
• s-ocycles에 대한 전이 그래프가 오일러ian임을 증명함으로써, 이러한 사이클의 존재를 보장한다.
• 이전에 gcd 및 크기 제약 조건 하에서 다중집합과 순열에 대해 s-ocycles를 연구한 결과를 k < n의 전체 범위로 확장한다.

제안 방법

• k-순열 [n]의 s-접두사를 정점으로, 전체 k-순열을 간선으로 하는 방향 전이 그래프를 구성한다.
• 모든 s-접두사가 어떤 k-순열의 s-접미사이므로 그래프가 균형 잡혀 있음을 증명하며, 각 정점에서 들어오는 간선 수와 나가는 간선 수가 같음을 보장한다.
• 반복적인 회전과 간선 이동을 통해 임의의 s-접두사에서 사전순으로 가장 작은 s-접두사(12...s)로 가는 경로가 존재함을 보여 그래프의 연결성을 입증한다.
• 회전 기반 변환을 사용하여 k-순열을 조작하고, 단계적으로 최소 정점과 일치하는 접두사를 조정한다.
• 접두사에서 다름을 보이는 기호가 접미사에 포함되어 있는지 여부에 따라 두 경우로 나누어 처리한다: 포함되지 않으면 누락된 기호로 대체하고, 포함되면 회전 및 재구성하여 최소 정점까지의 거리를 줄인다.
• 오일러의 정리 적용: 연결되어 있고 균형 잡힌 방향 그래프는 오일러 순환을 갖는다. 이는 s-ocycle에 해당한다.

실험 결과

연구 질문

• RQ1 k < n 이고 s ≥ 1 일 때 k-순열 [n]에 대해 s-오버랩 사이클이 존재하는가?
• RQ2 모든 k < n 에 대해 오버랩 그래프 P(k,n,s)는 해밀턴ian인가?
• RQ3 s가 n과 서로소가 아니거나 s ≥ n/2 이더라도 k-순열에 대해 s-ocycles를 구성할 수 있는가?
• RQ4 k-순열에 대한 s-ocycle 전이 그래프가 오일러ian임을 증명할 수 있는가?
• RQ5 임의의 k < n 에 대해 s-ocycle 전이 그래프의 연결성을 어떻게 확립할 수 있는가?

주요 결과

• 모든 k < n 및 임의의 s ≥ 1 에 대해 k-순열 [n]에 대한 s-오버랩 사이클이 존재함을 증명하며, 2004년에 제기된 열린 문제를 해결한다.
• k-순열에 대한 s-ocycle 전이 그래프는 균형 잡혀 있다. 왜냐하면 모든 s-접두사가 어떤 k-순열의 s-접미사이기 때문이다.
• 전이 그래프는 연결되어 있다: 임의의 s-접두사에서, 회전과 간선 이동을 통해 사전순으로 가장 작은 s-접두사(12...s)로 가는 경로가 존재한다.
• 전이 그래프에 오일러 순환 존재는 s-ocycle 존재를 의미하며, 이는 s-오버랩 전이를 갖는 모든 k-순열의 순환적 순서를 의미한다.
• 이전 결과(예: gcd(s,n)=1 또는 s < n/2 조건 하)에 비해 다중집합과 순열에 대한 s-ocycle 연구 결과를 일반화한다.
• 결론 7은 오버랩 그래프 P(k,n,s)가 모든 k < n 에 대해 해밀턴ian임을 확인하며, 문제 481에 대한 긍정적 답변을 제시한다.