균일 길이 부분단어 집합의 회피 불가능성 및 구멍 채우기 한계

초록

본 논문은 고정 길이 m을 갖는 부분단어들의 회피 불가능 집합에서, 구멍(·)을 최대 몇 개까지 채워도 여전히 회피 불가능성을 유지할 수 있는지를 조사한다. 알파벳 크기 k와 집합 크기 n에 대한 하한·상한을 제시하고, 특히 k=3(삼진 알파벳)인 경우에 최소 구멍 수와 구멍 채우기 조건을 완전히 규명한다.

상세 분석

논문은 먼저 부분단어(partial word)의 기본 개념과 “회피 불가능(unavoidable)”이라는 정의를 정리한다. 부분단어는 알파벳 A와 특수 기호 ‘·’(hole)로 이루어지며, 두 무한 단어 w가 부분단어 u와 호환(compatible)하면 w는 u를 ‘만난다(meets)’고, 그렇지 않으면 ‘피한다(avoids)’다. 집합 X가 회피 불가능하면 모든 양방향 무한 단어가 X의 어느 원소와도 호환되는 구간을 포함한다.

문제는 “주어진 유한 부분단어 집합 X가 회피 불가능인지 여부를 결정하는 것이 NP‑hard”라는 사실을 인용하면서 시작한다. 특히 길이가 모두 m인 균일 집합(=m‑uniform)에서도 이 복잡도는 유지된다. 따라서 k(알파벳 크기)와 n(집합 원소 수)로 파라미터화된 회피 불가능성 분류가 흥미로운 연구 과제가 된다.

핵심 연구 질문은 “m‑uniform 회피 불가능 집합에서 전체 구멍 수를 최소화(또는 최대 구멍을 채워도 회피 불가능성을 유지)할 수 있는가?”이다. 이를 위해 저자는 H_{k,m,n}을 정의한다: 크기 n인 m‑uniform 회피 불가능 집합에서 전체 구멍 수의 최소값. 기존 연구