워터셰드와 가중 그래프의 새로운 대수적 접근

초록

본 논문은 엣지 가중 그래프와 노드 가중 그래프에 모두 적용 가능한 워터셰드 알고리즘을 대수적으로 정의한다. 플러딩(adjunction) 개념을 도입해 두 가중치 형태를 서로 변환 가능한 ‘플러딩 그래프’를 만들고, 경사도(steepness)를 조절하는 여러 가지 프루닝 연산자를 제시한다. 경사도가 커질수록 비상승 경로가 감소하고, 최종적으로는 겹치지 않는 워터셰드 구역을 얻는다. 또한 최소 스패닝 포레스트와 트리를 이용한 워터폴 계층 구조를 구축한다.

상세 분석

이 논문은 이미지 분할에서 널리 쓰이는 워터셰드 기법을 그래프 이론의 관점에서 재정의한다. 핵심은 ‘플러딩 그래프(flooding graph)’라는 개념이다. 플러딩 그래프는 노드 가중치와 엣지 가중치가 서로 일대일 대응하도록 구성된 그래프이며, 기존의 노드 가중 그래프와 엣지 가중 그래프를 각각 플러딩 그래프로 변환함으로써 두 표현 방식 사이에 우열이 없음을 증명한다. 변환 과정은 플러딩 연산자와 그 역연산자를 통해 이루어지며, 이는 수학적 어드젝션(adjunction) 관계에 기반한다.

다음으로 논문은 ‘프루닝(pruning) 연산자’를 정의한다. 프루닝 연산자는 그래프의 엣지를 제거해 경사도를 점진적으로 증가시키는 역할을 한다. 경사도가 증가하면 ‘비상승 경로(never ascending path)’의 수가 감소한다. 비상승 경로는 워터셰드 영역, 즉 서로 다른 최소값(minima) 사이에서 겹치는 영역을 형성하는데, 이 경로가 줄어들수록 워터셰드 구역이 명확해진다. 특히 ‘스키셔(scissor)’ 연산자는 각 최소값이 아닌 노드에 정확히 하나의 엣지만을 남겨, 모든 캐치먼트 베이시스(catchment basin)가 겹치지 않도록 만든다. 결과적으로 얻어지는 그래프는 완전한 워터셰드 파티션을 제공한다.

논문은 또한 ‘레시코그래픽 거리(lexicographic distance)’와 깊이(depth)의 개념을 도입한다. 특정 깊이와 경사도에 따라 정의된 레시코그래픽 거리는 비상승 경로와 일치하며, 이는 최소 스패닝 포레스트(minimum spanning forest, MSF)를 구성하는 데 사용된다. MSF는 초기 워터셰드 파티션을 형성하고, 각 트리를 하나의 노드로 축소(contraction)하면 새로운 그래프가 생성된다. 이 과정을 반복하면 최종적으로 하나의 영역만 남게 되며, 전체 과정에서 생성된 모든 포레스트의 엣지를 합치면 초기 그래프의 최소 스패닝 트리(minimum spanning tree, MST)가 된다.

이러한 일련의 연산은 워터폴(waterfall) 계층 구조를 형성한다. 각 단계에서 경사도를 조절하고 프루닝을 수행함으로써, 사용자는 원하는 수준의 세분화와 정확도를 선택할 수 있다. 특히 자연 이미지에서는 무한히 큰 경사도를 가정하면 동일한 비상승 경로가 두 개 이상의 최소값에 연결될 가능성이 거의 없으므로, 유일한 워터셰드 해를 얻을 수 있다.

결과적으로, 이 연구는 워터셰드 알고리즘을 그래프 이론과 대수적 구조에 기반해 일반화함으로써, 노드 가중과 엣지 가중 사이의 변환 가능성을 증명하고, 경사도 기반 프루닝을 통해 겹치는 영역을 체계적으로 제거한다. 또한 최소 스패닝 포레스트와 트리를 활용한 계층적 구조를 제시해, 실용적인 이미지 분할 파이프라인에 바로 적용할 수 있는 이론적 토대를 제공한다.