컨릭 중점 알고리즘의 상대 제곱 거리와 안정적 구현

초록

본 논문은 컨릭(원, 포물선, 타원 등)의 중점 알고리즘에서 두 점의 극점에 대한 제곱 거리 차이를 측정하는 새로운 유효성 조건을 제시한다. 이 조건은 측정 전 초고속 검증이 가능하며, 측정이 유효하면 곡선에 대한 최소 제곱 거리(LSD)를 로컬하게 찾을 수 있다. 곡선을 단조 구간으로 분할하고 최적 시작점을 선택함으로써 최대 세 개의 후보점만을 고려한다. 모든 후보가 무효일 경우 초고속 OoC 규칙이 대체 후보를 선택해 100 % 안정적인 ‘berserkless’ 중점 알고리즘을 구현한다. 하드웨어 변환도 용이하다.

상세 분석

논문은 기존 중점 방법이 “측정값이 Out‑of‑Control(OoC) 혹은 Out‑of‑Accuracy(OoA) 상태가 될 수 있다”는 근본적인 한계를 정확히 규정한다. 핵심은 두 점 P₁, P₂와 그 중점 M의 극점(폴라) L에 대해 |P₁L|² − |P₂L|² 를 계산하는데, 이 차이가 실제 컨릭에 대한 제곱 거리 차이와 일치한다는 사실이다. 그러나 이 일치는 L이 실제로 컨릭 위에 존재할 때만 보장된다. 저자는 “측정이 유효(valid)하기 위한 필요충분조건”을 수학적으로 도출했으며, 이는 단순히 부동소수점 연산이 아니라 기하학적 부호와 절대값 관계를 검사함으로써 O(1) 시간에 판단할 수 있다.

이 유효성 검사는 측정을 시작하기 전에 수행되므로, 불필요한 연산을 사전에 차단한다. 유효한 경우에도 측정값이 정확하지 않을 수 있는데, 이를 OoA라고 정의하고, OoA가 발생해도 최종 후보점 선택에 큰 영향을 미치지 않도록 설계되었다.

알고리즘은 전체 컨릭을 “단조 구간(monotonic sections)”으로 분할한다. 각 구간에서는 x 혹은 y 좌표가 단조적으로 증가하거나 감소하므로, 중점 이동이 한 방향으로만 진행된다. 이때 시작점은 “최적 시작점(optimal start point)”으로 선택되는데, 이는 해당 구간에서 최초로 OoC 검사를 통과하는 점을 의미한다. 이렇게 하면 각 구간마다 최대 세 개의 후보점(현재점, 전점, 후점)만을 고려하게 되며, 이는 기존 8‑connected 혹은 4‑connected 중점 알고리즘이 필요로 하는 복잡도보다 현저히 낮다.

모든 후보가 OoC 판정을 받으면, 논문은 “초고속 OoC‑rule”을 적용한다. 이 규칙은 기하학적 부호와 절대값을 기반으로 가장 작은 절대 차이를 보이는 후보를 즉시 선택한다. 결과적으로 알고리즘은 언제든지 유효한 후보를 반환하므로, “berserkless”(폭주 없는) 특성을 갖는다.

하드웨어 구현 측면에서는 유효성 검사와 OoC‑rule이 모두 비교 연산과 간단한 부호 판단으로 이루어지기 때문에, FPGA 혹은 ASIC에 최소한의 논리 게이트만으로 구현 가능하다. 이는 실시간 그래픽스 파이프라인이나 임베디드 비전 시스템에서 고속 컨릭 렌더링을 가능하게 한다.

요약하면, 논문은 (1) 새로운 유효성 조건을 수학적으로 증명, (2) 단조 구간 분할과 최적 시작점 선택으로 후보 수를 제한, (3) 모든 경우에 적용 가능한 초고속 OoC‑rule을 제시함으로써 기존 중점 알고리즘의 불안정성을 완전히 해소하고, 하드웨어 친화적인 설계까지 제공한다.