9중 커버링은 두 개로 분해 가능, 4중은 분해 불가능

초록

본 논문은 3차원에서 옥탄트(무한 사각뿔)의 9배 중복 커버링은 언제나 두 개의 커버링으로 분해될 수 있음을 증명하고, 4배 중복 커버링은 두 개로 분해할 수 없는 사례를 제시한다. 동일한 결과는 평면에서 삼각형의 동형변환(동일비율 확대·이동)이나 평행이동에 대해서도 성립한다.

상세 분석

이 연구는 기존에 알려진 12배 중복 커버링을 두 개로 분해한다는 결과를 개선하여, 상수 mₒ궤ₜ를 9 이하로 낮춘다. 핵심 아이디어는 “동적 이중 색칠” 문제와의 등가성을 이용하는데, 이는 점들이 시간 순서대로 등장하고 각 단계마다 현재까지 등장한 점 집합에 대해 9점 이상을 포함하는 모든 사각형(=옥탄트의 2‑차원 투영) 안에 두 색이 모두 존재하도록 색을 지정하는 것이다. 이를 위해 저자들은 점들을 “계단(staircase)”이라 부르는 서로 비교 불가능한 점들의 집합과, 이들 사이에 연결된 “포레스트” 구조 Gₜ를 유지한다. 네 가지 연산(Above, Comparable, Incomparable, Box)을 반복 적용하면서 다음 네 가지 성질을 보존한다: (1) 위에 있는 모든 점은 이미 ‘좋은(good)’ 상태이며, (2) 계단 위의 점은 거의 ‘좋은(almost‑good)’ 상태, (3) 아래에 있는 점들은 서로 다른 연결 성분에 속하고, (4) Gₜ는 항상 포레스트이다. 각 연산은 새로운 점이 들어올 때마다 필요한 간선을 추가하거나 계단에 점을 삽입함으로써 위 성질을 유지한다. 특히 ‘Box’ 연산은 4개의 서로 비교 불가능한 아래 점이 한 사각형 안에 존재할 때 두 쌍을 연결하고 중앙 두 점을 계단에 올리는 방식으로, 이 과정에서 발생할 수 있는 단일 색상 사각형이 최대 8점 이하임을 보인다. 따라서 9점 이상을 포함하는 모든 사각형은 반드시 두 색을 포함하게 된다. 이 논리 전개는 원래 12‑fold 결과의 증명 틀을 그대로 사용하면서, 연산 순서를 세밀히 조정해 상수를 9로 낮춘다. 하한 부분에서는 삼각형의 동형변환을 이용해 4점만을 포함하는 옥탄트를 만들 수 있음을 보이며, 이는 mₒ궤ₜ≥5, 즉 5배 이하에서는 일반적인 분해가 불가능함을 의미한다. 마지막으로 동적 구간 색칠 문제와 옥탄트 분해 문제의 정확한 동치성을 논증함으로써, 이 분야의 여러 변형 문제에 대한 새로운 접근법을 제시한다.