차이 삼각집합의 효율적 구성과 범위 최소화 연구

** 본 논문은 차이 삼각집합 \((n;k)\) 의 스코프 \(m(n;k)\) 를 최소화하는 새로운 구성 방법과 알고리즘을 제시한다. 차이 삼각집합은 정규화된 블록 \(X_i=\{a_{i0},a_{i1},\dots ,a_{ik}\}\) 으로 정의되며, 각 블록 내·외부의 모든 차이 \(a_{ij}-a_{ij'}\) 가 서로 겹치지 않고 0이 아니어야 한다. 스코프는 모든 블록 원소 중 최대값이며, 이를 최소화하는 것이 핵심 목표이다. **1. 이론적 배경 및 기존 결과** - 기본 하한은 \(m(n;k)\ge n\binom{k+1}{2}\) 이며, Kløve는 이를 \(m(n;k)\ge n\frac{k^2}{2}+O(k)\) 로 강화하였다. - 특수 경우 \(k=1,2,3\) 에 대해서는 정확한 값이 알려져 있다. 특히 \(m(n;3)=6n\) 은 Bermond의 추측이 \(n\le22\) 까지 검증된 바 있다. **2. 조합적·수론적 구성** - 차이 포장 \((n;k)\) 과 차이 삼각집합 사이의 관계를 이용한다. Lemma 1에 따르면 \(n\)-DP\((v;k)\) 은 \((n;k-1)\) 차이 삼각집합을 제공한다. - Chen·Fan·Jin의 결과와 Singer의 구성 \(1\)-DP\((q^2+q+1;q+1)\) 을 결합해, 임의의 소수 \(q\) 와 \(p>q\) 에 대해 \(p\)-DP\((p(q^2+q+1);q+1)\) 을 만든다. - Heath‑Brown·Iwaniec의 소수 사이 차이 정리를 이용해 \(p\)와 \(q\) 를 적절히 선택하면, 스코프가 \((1+o(1))\,n k^2/2\) 가 된다. 이는 Theorem 5와 Corollary 1에 명시되어 있다. **3. 알고리즘적 접근** - **전역 탐색(Exhaustive Search)**: 작은 \(n,k\) 에 대해 모든 가능한 블록 조합을 탐색한다. 이 방법으로 \(m(2;7)=70\) 을 정확히 구했다. - **그리디 알고리즘**: 두 변형을 제시한다. - *Set‑greedy*: 행을 순차적으로 채우며, 각 빈 셀에 가능한 가장 작은 양수를 넣는다. - *Transversal‑greedy*: 열을 순차적으로 채우며, 같은 규칙을 적용한다. 후자는 Wythoff 게임과 연결되어, \((n;2)\) 집합의 스코프가 최적보다 약 1.21배만큼 떨어짐을 보인다 (Theorem 6, Corollary 2). - **무작위 휴리스틱**: 템플릿 \(T_1,T_2,T_3\) 을 정의하고, 현재 배열에서 해당 템플릿에 해당하는 셀을 무작위로 비운 뒤, 가능한 재배치를 탐색한다. 이 과정을 여러 번 반복해 스코프를 점진적으로 감소시킨다. - \(T_1\): 단일 셀 삭제 (가장 빠름) - \(T_2\): 전체 행 삭제 (큰 \(n=k\) 에 유리) - \(T_3\): 각 행에서 하나씩 셀 삭제 (작은 \(n=k\) 에 유리) - 초기 배열을 *Transversal‑greedy* 로 만든 뒤, 위 휴리스틱을 순차적으로 적용(예: 1→2→3)하면 기존 최선 상한을 크게 개선한다. 표 I에 제시된 여러 사례에서 새로운 상한이 이전 문헌(Kløve, Chen·Fan·Jin, Chen)보다 우수함을 확인했다. **4. 점근적 결과 및 향후 과제** - Theorem 5와 Corollary 1은 \(k=o(n)\) 일 때 \(m(n;k)\) 가 \(n k^2/2\) 에 수렴함을 증명한다. 이는 차이 삼각집합의 스코프가 거의 최적 하한에 도달한다는 의미이다. - 그러나 \(k\) 가 \(n\) 에 비례하거나 더 빠르게 성장할 경우의 정확한 상한·하한은 아직 알려지지 않았다. 논문은 이 문제를 향후 연구 과제로 제시한다. **5. 결론** 본 연구는 차이 삼각집합의 스코프 최소화 문제에 대해 조합적·수론적 구성, 전역 탐색, 그리디 및 무작위 휴리스틱을 통합한 포괄적인 접근법을 제공한다. 특히 무작위 템플릿 기반 휴리스틱은 기존 방법보다 현저히 작은 스코프를 달성했으며, 여러 \(n,k\) 쌍에 대해 새로운 최선 상한을 기록했다. 또한 \(k=o(n)\) 범위에서 점근적 최적성을 보이는 이론적 결과는 차이 삼각집합 연구에 중요한 기준을 제시한다. 향후 \(k\) 가 \(n\) 에 비례하거나 더 큰 경우에 대한 상한 탐색이 기대된다. **