다우든‑슈인젤 수열의 초선형 원인 탐구

초록

본 논문은 금지 부분수열에 따라 달라지는 다우든‑슈인젤 수열의 최대 길이 Ex(σ,n) 이 선형인지 초선형인지 구분하는 기준을 연구한다. 저자들은 17개의 전형적인 초선형 금지수열을 제시하고, 간단한 패딩 기법으로 무한히 긴 초선형 수열을 생성한다. 또한 초선형 금지수열을 압축적으로 기술하는 새로운 코드 체계를 소개한다.

상세 분석

다우든‑슈인젤(DS) 수열은 알파벳 크기 n 에 대해 특정 금지 패턴 σ 를 포함하지 않는 가장 긴 문자열의 길이 Ex(σ,n) 을 연구하는 전통적인 조합론 문제이다. 기존 결과는 모든 σ 에 대해 Ex(σ,n) 이 O(n·2^{α(n)^{O(1)}}) 이라는 상한을 제공하지만, 어떤 σ 가 실제로 초선형 성장(선형을 초과하는 성장)을 야기하는지에 대한 구조적 이해는 부족했다. 본 논문은 이 공백을 메우기 위해 두 가지 핵심 기법을 도입한다. 첫째, 저자들은 17개의 ‘프로토타입’ 금지수열을 정의하고, 각 프로토타입이 독립적으로 초선형 상한을 강제한다는 것을 증명한다. 여기서 ‘독립적’이라는 의미는 하나의 프로토타입을 제거해도 나머지 프로토타입이 여전히 초선형 하한을 유지한다는 점이다. 둘째, 간단한 ‘패딩’ 연산을 통해 기존 프로토타입을 임의의 길이로 확장할 수 있다. 패딩은 금지수열의 양 끝에 일정한 문자 블록을 삽입하는 방식으로, 구조적 특성을 보존하면서도 길이를 무한히 늘린다. 이 과정에서 초선형 성장률은 변하지 않으며, 따라서 무한히 많은 서로 다른 초선형 금지수열이 존재함을 보인다.

특히 저자들은 초선형 금지수열을 기술하기 위한 ‘간결 코드’를 제안한다. 이 코드는 금지수열을 트리 형태의 라벨링으로 변환하고, 라벨 조합 규칙을 통해 원래 수열을 복원할 수 있게 설계되었다. 코드의 길이는 금지수열의 실제 길이에 비해 로그 수준으로 축소되며, 이는 복잡도 분석과 알고리즘 구현에 있어 중요한 도구가 된다. 코드를 이용해 17개의 프로토타입을 체계적으로 분류하고, 각 프로토타입이 초선형 하한을 제공하는 메커니즘을 명확히 설명한다.

논문은 또한 기존의 α(n) (역아커만 함수) 기반 상한과의 관계를 검토한다. 제시된 17개의 프로토타입은 모두 Ex(σ,n)=Ω(n·α(n)) 또는 그보다 강한 하한을 만족한다는 것을 보이며, 이는 기존 상한이 실제로 ‘거의 선형’이라는 인상을 깨뜨린다. 더 나아가, 패딩을 적용한 확장형 금지수열은 Ex(σ,n)=Ω(n·α(n)·log k) (여기서 k 는 패딩 횟수)와 같은 새로운 하한을 도출한다. 이는 초선형 현상이 단순히 특정 짧은 패턴에 국한되지 않고, 구조적 복합성을 가진 더 큰 패턴에서도 발생할 수 있음을 시사한다.

결과적으로 이 연구는 초선형 DS 수열을 유발하는 패턴의 종류와 그 복합성을 체계적으로 밝히며, 향후 Ex(σ,n) 의 정확한 상한을 결정하는 데 필요한 ‘패턴 분류’라는 새로운 연구 방향을 제시한다.