[논문 리뷰] New Lower Bounds for the Maximum Number of Runs in a String

Kazuhiko Kusano, Wataru Matsubara외 3명|ArXiv.org|2008. 04. 08.

Algorithms and Data Compression참고 문헌 11인용 수 37

한 줄 요약

이 논문은 길이 $n$인 문자열에서 달성 가능한 최대 런 수에 대한 새로운 하한값 $\alpha = 56733/60064 \approx 0.944542$를 제시한다. 이는 이전의 하한값인 $3/(1+\sqrt{5}) \approx 0.927$ 를 향상시킨 것이다. 저자들은 길이 60,064인 특정 문자열 $\tau$를 구성하여 56,714개의 런을 포함함을 확인하였고, $\tau^k$ 가 $56733k - 18$개의 런을 갖는다는 것을 증명하였다. 이는 반복된 문자열에서의 런 행동을 단순하면서도 효과적으로 분석함으로써 점점 커지는 점근적 하한값을 확립하는 데 기여한다.

ABSTRACT

We show a new lower bound for the maximum number of runs in a string. We prove that for any e > 0, (a -- e)n is an asymptotic lower bound, where a = 56733/60064 = 0.944542. It is superior to the previous bound 0.927 given by Franek et al. Moreover, our construction of the strings and the proof is much simpler than theirs.

연구 동기 및 목표

• 길이 $n$인 문자열에서 달성 가능한 최대 런 수에 대한 기존 점근적 하한값을 향상시키기.
• 오랫동안 유효해온 $3/(1+\sqrt{5}) \approx 0.927$ 가 최적의 하한값이라는 추측을 반증하기.
• 이전 연구에 비해 더 단순하고 투명한 구성과 증명을 제공하기.
• 기존에 믿어온 이론적 한계를 초월하는 문자열 당 런 수의 최대치가 존재함을 보여주기.

제안 방법

• 길이 60,064인 이진 문자열 $\tau$를 구성하여 컴퓨터로 검증된 56,714개의 런을 포함함.
• 반복된 문자열 $\tau^k$(즉, $\tau$를 $k$번 연결한 문자열)의 런 수가 $k \geq 2$ 일 때 정확히 $56733k - 18$ 임을 증명함.
• 점근적 비율 $\rho(n)/n \to 56733/60064$ 를 이용하여 새로운 하한값을 유도함.
• 반복된 문자열에서 런 수의 증가율이 안정화됨을 활용하여, $\text{run}(\tau^3) - \text{run}(\tau^2)$ 를 핵심 증가율 파rameter로 사용함.
• 모든 문자열 $w$에 대해 충분히 큰 $n$ 에 대해 $\rho(n)/n > (\text{run}(w^3) - \text{run}(w^2))/|w| - \varepsilon$ 임을 보여주는 일반적 결과(정리 3.1)를 적용하여 점근적 하한값을 도출함.
• 고밀도 런을 갖는 문자열을 탐색하기 위해 히우리스틱 컴퓨터 검색을 사용하여, $\tau$를 포함한 고밀도 문자열을 발견함.

실험 결과

연구 질문

• RQ1 길이 $n$인 문자열에서 달성 가능한 최대 런 수에 대한 진정한 점근적 하한값은 무엇인가?
• RQ2 이전에 추측된 하한값인 $3/(1+\sqrt{5}) \approx 0.927$ 는 초월될 수 있는가?
• RQ3 더 높은 하한값을 달성하기 위해 더 단순한 구성과 증명 방법이 존재하는가?
• RQ4 반복된 문자열의 런 밀도를 분석하여 더 탴밀한 점근적 하한값을 도출할 수 있는가?
• RQ5 런 밀도가 $0.944$ 를 초월하는 문자열의 존재는 이전 하한값이 최적임을 뜻하지 않음을 의미하는가?

주요 결과

• 길이 60,064인 문자열 $\tau$는 56,714개의 런을 포함하며, 이는 약 0.944226의 런 밀도를 가지며, 이는 이전의 하한값인 $3/(1+\sqrt{5}) \approx 0.927$ 를 이미 초월한다.
• $k \geq 2$ 일 때, 문자열 $\tau^k$ 는 정확히 $56733k - 18$개의 런을 포함하며, 기울기가 $56733/60064 \approx 0.944542$ 인 선형 증가율을 확인함.
• 모든 $\varepsilon > 0$ 과 충분히 큰 $n$ 에 대해 점근적 하한값 $\rho(n) > (56733/60064 - \varepsilon)n$ 이 성립하며, 이에 따라 $\alpha = 56733/60064 \approx 0.944542$ 는 유효한 하한값임을 입증함.
• Franěk 등이 제시한 이전의 복잡한 구성에 비해 증명이 훨씬 단순하며, 복잡한 주기성 분석 없이 기본적인 문자열 반복과 런 수 계산에 의존함.
• 길이 1,558, 런 수 1,445개를 갖는 더 짧은 문자열 $\tau_{1558}$ 도 존재하며, 이는 약 0.93645의 하한값을 제공함으로써 이 방법의 강건성을 확인함.
• 결과적으로 2003년에 제기된 $3/(1+\sqrt{5}) \approx 0.927$ 가 최적의 하한값이라는 추측을 반증하였으며, 더 탄탄한 하한값을 찾는 연구가 다시 활성화됨.