무작위 라스베가스 알고리즘으로 유니버설 사이클과 드브루인 시퀀스 생성

초록

본 논문은 라스베가스 방식의 무작위 워크를 이용해 다양한 조합 구조(축약 순열, 부분집합, 다중집합 순열, 약한 순서, 가중치 제한 드브루인 문자열 등)의 유니버설 사이클과 드브루인 시퀀스를 균등하게 생성하는 실용적인 알고리즘을 제시한다. 핵심은 대상 집합의 드브루인 그래프에서 무작위 루트를 선택하고, 그 루트를 뿌리로 하는 무작위 아보레시스를 얻은 뒤, 그래프를 순회해 상수 시간당 한 심볼씩 출력함으로써 전체 사이클을 만든다. 실험을 통해 각 그래프의 평균 커버 타임을 측정했으며, 일부 경우 기대 커버 타임이 이론적 상한보다 현저히 작음을 확인하였다.

상세 분석

이 논문은 유니버설 사이클(Universal Cycle)과 드브루인 시퀀스(De Bruijn sequence)의 균등 무작위 생성 문제를 라스베가스(Las Vegas) 알고리즘 프레임워크 안에서 체계적으로 해결한다. 기본 아이디어는 대상 집합 S 의 드브루인 그래프 G(S) 가 오일러(Euler) 그래프라는 전제 하에, 무작위 루트 r 을 선택하고 그 루트를 뿌리로 하는 무작위 아보레시스(스패닝 인‑트리)를 생성한 뒤, 해당 아보레시스를 이용해 그래프의 모든 간선을 한 번씩 방문하는 오일러 사이클을 만든다. 이 과정은 다음 네 단계로 구분된다.

1. 루트 선택: S 의 임의 원소(즉, 길이 n 인 문자열)를 무작위로 생성해 해당 문자열이 나타내는 간선 (r, v) 를 선택한다. 이는 그래프가 정규가 아니더라도 균등성을 보장한다.
2. 무작위 아보레시스 생성: Kandel et al.