쌍을 삼중집합으로 최소 커버링하는 보편 사이클과 2 반경 수열의 새로운 구성

초록

본 논문은 쌍을 삼중집합으로 최소 커버링하는 집합계에 보편 사이클(Universal Cycle) 개념을 확장한 새로운 순서를 제시한다. 모든 차수 n에 대해 이러한 순서를 갖는 최소 커버링이 존재함을 증명하고, 이를 이용해 2-반경 수열의 길이를 크게 단축시키는 구성법을 제시한다. 또한 컴퓨터 탐색을 통해 몇몇 새로운 최단 2-반경 수열을 발견하였다.

상세 분석

보편 사이클은 원래 Chung·Graham·Leighton이 제시한 개념으로, k-균일 집합계의 블록들을 하나의 순환 문자열에 연속적인 k-슬라이딩 윈도우로 나타내는 방법이다. 이 논문은 그 정의를 “최소 커버링”이라는 제약이 추가된 경우에도 적용할 수 있도록 일반화한다. 구체적으로, n개의 원소 집합 V에 대해 모든 2-원소 부분집합을 최소 개수의 3-원소 블록(삼중집합)으로 덮는 C(2,3,n) 커버링을 고려한다. 기존의 Steiner 삼중계는 각 쌍을 정확히 한 번씩 포함하지만, 최소 커버링에서는 일부 쌍이 여러 번 나타날 수 있다. 논문은 이러한 커버링을 순환 문자열 S에 배치하여, S의 연속된 세 문자(순환을 고려함)가 정확히 커버링의 블록이 되도록 하는 “보편 사이클 순서”가 존재함을 보인다.

구성 방법은 크게 두 단계로 나뉜다. 첫째, n을 6의 배수, 6k±1, 6k±2 등 나머지 클래스별로 나누어 차례로 차수별 차분 집합(difference family)이나 라틴 사각형을 이용해 기본 블록 집합을 만든다. 둘째, 이 블록들을 특정 그래프(예: 2-정규 그래프)의 오일러 회로에 매핑함으로써 블록 간의 인접성을 조절한다. 이렇게 하면 연속된 두 블록이 두 원소를 공유하도록 할 수 있어, 슬라이딩 윈도우가 겹치는 구조를 확보한다. 특히, 2-정규 그래프의 존재와 오일러 회로의 구성은 n이 충분히 크면 항상 가능함을 보이며, 작은 n에 대해서는 직접적인 컴퓨터 검색을 통해 사례를 제시한다.

이러한 순서가 존재하면, 2-반경 수열(2‑radius sequence)과의 직접적인 동형 관계가 성립한다. 2‑radius 수열은 길이 L의 문자열 a₁,…,a_L에 대해 모든 서로 다른 i,j∈V가 |p−q|≤2인 위치 p,q에 동시에 나타나는 것을 요구한다. 보편 사이클 순서를 사용하면 처음 두 원소를 고정하고, 이후 각 블록마다 새로운 원소 하나를 추가하는 방식으로 수열을 생성할 수 있다. 따라서 수열의 길이는 n + |C| (여기서 |C|는 최소 커버링의 블록 수)와 동일해, 기존에 알려진 상한보다 항상 더 짧다. 논문은 n≤20 범위에서 컴퓨터 탐색을 수행해, 기존 문헌에 없던 최단 2‑radius 수열을 다수 발견하였다.

이 연구는 두 가지 중요한 의미를 가진다. 첫째, 보편 사이클 개념을 커버링 설계에 확장함으로써, 기존에 “완전 설계”(Steiner)만을 대상으로 했던 순환 표현을 보다 일반적인 최소 커버링에도 적용할 수 있음을 보였다. 둘째, 이러한 순환 구조가 실제 알고리즘적 응용, 특히 메모리 제한이 있는 데이터 스트리밍이나 테스트 시퀀스 설계 등에서 요구되는 짧은 거리 보장 문제에 직접 활용될 수 있음을 실험적으로 입증했다.