디지털 n 객체의 (n‑2) 차원 구멍 수를 구하는 새로운 공식

초록

본 논문은 디지털 n‑객체에서 (n‑2)‑갭(구멍)의 개수를 간단한 내재 파라미터만으로 계산할 수 있는 공식을 제시한다. 셀의 자유성 개념과 발생 구조(incidence structure)를 이용한 조합론적 접근을 통해 증명했으며, 고정된 j‑셀에 대해 경계가 되는 i‑셀의 최대 개수에 대한 식도 도출한다. 이 결과는 자동화된 토폴로지 분석에 유용하다.

상세 분석

논문은 먼저 디지털 n‑객체를 Zⁿ 격자상의 셀 집합으로 정의하고, i‑셀(i‑차원 셀)과 그 인접 관계를 incidence structure로 모델링한다. 핵심 개념인 “free cell”(자유 셀)은 상위 차원의 셀에 의해 완전히 둘러싸이지 않은 셀로, 이러한 자유 셀의 개수 f_i 를 주요 변수로 채택한다. 저자는 (n‑2)‑갭을 “두 개의 (n‑1)‑셀이 공유하지만 (n‑2)‑셀이 비어 있는 구조”로 정의하고, 이를 셀의 인접 관계와 자유 셀 개수와 연결시킨다.

조합론적 증명에서는 각 (n‑1)‑셀이 포함하는 (n‑2)‑셀의 수를 C = n·2^{n‑1} 로 표현하고, 전체 (n‑1)‑셀 수와 자유 (n‑2)‑셀 수 사이의 관계식을 세운다. 특히, 모든 (n‑1)‑셀이 서로 겹치지 않는 경우와 겹치는 경우를 구분하여, 겹침에 의해 발생하는 중복 카운트를 보정한다. 이 과정에서 inclusion‑exclusion 원리를 적용해 “겹치는 (n‑2)‑셀”을 정확히 제외함으로써, 최종적으로 다음과 같은 닫힌 형태의 공식이 도출된다:

 g_{n‑2} = a·c_n – b·f_{n‑2} – d·f_{n‑1}

여기서 g_{n‑2}는 (n‑2)‑갭 수, c_n 은 전체 n‑셀 수, f_{n‑2}, f_{n‑1} 은 각각 (n‑2)‑셀과 (n‑1)‑셀의 자유 셀 개수이며, a, b, d 는 차원 n 에만 의존하는 정수 계수이다. 이 공식은 객체의 토폴로지적 복잡성을 직접적으로 정량화할 수 있게 해준다.

또한, 저자는 고정된 j‑셀에 대해 경계가 되는 i‑셀의 최대 개수 M(i,j) 를 구한다. 이는 셀의 입체적 배치와 격자 구조의 대칭성을 이용해, M(i,j)=C(n‑j, i‑j)·2^{i‑j} 와 같은 조합식으로 표현된다. 이러한 식은 디지털 이미지 처리에서 객체의 경계 복원, 구멍 검출, 그리고 형태 분석 알고리즘의 복잡도 예측에 바로 적용 가능하다.

마지막으로, 제시된 공식이 기존의 Euler‑characteristic 기반 방법보다 계산량이 적고, 필요한 입력 파라미터가 직관적이며 쉽게 추출 가능함을 실험적 사례(2‑D 이미지, 3‑D 의료 영상, 4‑D 시계열 데이터)와 비교 분석을 통해 입증한다. 특히, 자동화된 파이프라인에서 셀 카운팅 모듈만으로 (n‑2)‑갭을 실시간으로 추정할 수 있음을 보여, 실용적 가치가 높다.