선과 평면 배열의 외피 복잡도

본 논문은 “외부 면”(external facet)이라는 개념을 중심으로, 단순한 하이퍼플레인 배열에서 외피(envelope)의 복잡성을 정량화한다. 외부 면은 정확히 하나의 유계 셀에만 속하는 (d‑1)‑차원 면이며, 이러한 면들의 전체 집합을 외피라 부른다. 저자들은 먼저 2차원, 즉 평면에 배치된 직선들의 경우를 상세히 분석한다. 2.1 절에서는 외부 정점(v₂, v₃, v₄)들을 정의하고, 각 정점에 1의 가중치를 부여한 뒤, 두 교차 직선에 재분배하는 무게 분배 방법을 제시한다. 정점이 1개의 무한 변을 포함하면 해당 직선에 1, 나머지 직선에 0을 주고, 무한 변이 0개 또는 2개이면 두 직선에 각각 0.5씩 할당한다. 이렇게 하면 전체 가중치 합은 외부 정점 수와 동일하고, 각 직선이 받는 최소 가중치를 분석해 보면, 최소 두 종류의 직선(h₂,₂와 h₃,₃)만이 존재할 경우 전체 가중치가 2n‑2 이하가 될 수 없음을 보인다. 따라서 외부 정점 수, 즉 외부 면 수는 최소 2(n‑1)임을 얻는다. 2.2 절에서는 이 하한이 실제로 달성 가능한지를 보여준다. x축과 y축을 이루는 두 직선 h₁, h₂와 나머지 n‑2개의 직선을 각각 x축·y축과 교차하도록 배치한다. 구체적인 좌표식 h_k∩h₁ = (1+(k‑3)ε,0), h_k∩h₂ = (0,1‑(k‑3)ε) (k=3,…,n‑1)와 h_n∩h₁ = (2,0), h_n∩h₂ = (0,2+ε) (0<ε<1/(n‑3))를 사용하면, 외부 면이 정확히 2(n‑1)개가 되는 배열을 구성할 수 있다. 이는 Proposition 2.2에 의해 최소값이 2(n‑1)임을 확정한다. 다음으로 3차원 평면 배열을 다룬다. 3.1 절에서는 평면 배열 A₃,ₙ에 대해 하한을 증명한다. 각 평면 h_i와 다른 평면들의 교차선 배열 A₃,ₙ∩h_i는 2차원 경우와 동일하므로, Proposition 2.1에 의해 최소 2(n‑2)개의 외부 정점이 존재한다. 모든 외부 정점은 세 평면에 동시에 속하므로 전체 외부 정점 수는 최소 \(\frac{2n(n‑2)}{3}\)가 된다. 이어서 오일러 특성 \(\chi = f₀₀ - f₀₁ + f₀₂ = 2\)와 외부 정점당 최소 3개의 외부 모서리 존재한다는 사실을 이용해, 외부 면(f₀₂)의 최소 개수를 \(\frac{n(n‑2)+6}{3}\)로 도출한다. 3.2 절에서는 이 하한에 근접하거나 초과하는 구성을 제시한다. 기본 평면 h₁ (x₃=0), h₂ (x₂=0), h₃ (x₁=0)와 나머지 n‑3개의 평면을 각 좌표축과 교차하도록 배치한다. 구체적인 교차점 좌표를 정의하고, ε를 충분히 작은 양수로 잡아 일반 위치(simple)를 유지한다. 먼저 첫 n‑1개의 평면으로 이루어진 배열 A*₃,ₙ을 고려하면, 귀납적으로 외부 면 수가 \(2(n‑2)(n‑3)\)임을 보인다. 여기서 n번째 평면 h_n을 추가하면, 기존 외부 면 중 일부가 내부 면으로 전환되고 새로운 외부 면이 여러 개 생성된다. 상세히 계산하면 최종 외부 면 수는 \((n‑4)(2n‑3)+5\)가 된다. 이는 Proposition 3.2에서 제시된 상한이다. 마지막으로 저자들은 6개의 평면 배열에 대한 전산 탐색 결과를 제시한다. 43개의 단순 조합 유형 중 최소 외부 면 수는 22개이며, 제시된 구성 A₀₃,₆는 23개의 외부 면을 가진다. 이는 현재 제시된 상한이 최적이 아님을 암시한다. 결론적으로, 논문은 2차원에서는 외부 면 최소 개수가 정확히 2(n‑1)임을 증명하고, 3차원에서는 \(\frac{n(n‑2)+6}{3} \le f₀₂ \le (n‑4)(2n‑3)+5\)라는 구간을 제시한다. 무게 분배 기법, 오일러 특성 활용, 그리고 구체적 구성 예시를 통해 하한과 상한을 모두 구축했으며, 향후 더 정밀한 최적화와 전산 탐색이 필요함을 제언한다.