디지털 선분의 일관성: 전체 순서를 통한 최적 근사

초록

본 논문은 정수 전체 순서를 이용해 격자상의 디지털 선분 체계를 구성하고, 이 체계가 기존의 5가지 일관성 공리(S1‑S5)를 만족함을 증명한다. 특히 특별히 설계한 순서를 사용하면 모든 디지털 선분이 대응하는 유클리드 선분과의 Hausdorff 거리가 Θ(log |pq|) 이하가 되며, 이는 이전 연구에서 제시된 최적 하한과 일치한다.

상세 분석

논문은 먼저 Chun et al.이 제시한 5가지 공리(S1‑S5)를 재정의하고, 이를 만족하는 디지털 선분 시스템을 “일관성 디지털 선분 시스템(CDS)”이라 명명한다. 기존의 격자 기반 디지털 선분은 (S3) 부분구간 속성을 위배하거나 (S1) 경로 속성을 만족하지 못하는 경우가 많았다. 저자들은 임의의 엄격 전체 순서 ≺ on ℤ을 도입해, 두 격자점 p=(px,py), q=(qx,qy) (px≤qx) 사이의 디지털 선분 S≺(p,q)를 다음과 같이 정의한다. 시작점 p에서 오른쪽 혹은 위쪽으로 한 칸씩 이동하면서 총 (qx−px)+(qy−py) 단계가 필요하고, 그 중 (qy−py)번은 “위로” 이동한다. 어느 단계에서 위로 갈지는 현재 좌표의 합 s=x+y가 구간