기하 모델링을 위한 규칙 기반 변환

초록

본 논문은 위상 기반 기하 모델링을 라벨이 다중인 그래프 형태로 정의하고, 그래프 변환 규칙을 이용해 위상과 임베딩(기하·속성) 일관성을 보장하는 방법을 제시한다.

상세 분석

이 논문은 기존의 위상 기반 기하 모델링에서 사용되는 그래프 구조를 “I‑라벨드 그래프”라는 새로운 수학적 틀로 확장한다. 여기서 I는 임베딩에 필요한 데이터 종류(좌표, 곡선, 색상 등)의 인덱스 집합이며, 각 정점은 최대 |I|개의 라벨을 가질 수 있다. 이러한 다중 라벨 구조는 기존의 부분 라벨 그래프(단일 라벨)와 달리, 임베딩 데이터와 위상 정보를 동시에 표현하면서도 각각의 라벨에 대해 독립적인 일관성 제약을 부여한다.

논문은 먼저 I‑라벨드 그래프의 정의와 그에 대응하는 사상(morphism)을 공식화한다. 사상은 정점·간선의 소스·타깃 보존은 물론, 모든 라벨 집합에 대해 라벨 보존을 요구한다. 이를 통해 카테고리 이론적 관점에서 그래프와 사상의 구조를 확립하고, 부분 라벨 그래프의 기본 개념(베이스 그래프, 프로젝션 등)을 그대로 확장한다. 특히, 각 i∈I에 대한 프로젝션을 이용해 I‑라벨드 그래프를 i‑별 부분 그래프로 분해하고, 이들 부분 그래프에 대한 푸시아웃(pushout)과 풀백(pullback) 존재성을 증명함으로써 변환 규칙 적용 시 위상·임베딩 일관성을 보장한다.

다음으로 논문은 일반화 지도(G‑map) 모델을 I‑라벨드 그래프에 매핑한다. G‑map은 α₀, α₁, … 라는 인접 관계 라벨을 가진 간선 집합으로 위상 구조를 표현한다. 임베딩은 정점 라벨에 추가되며, 예를 들어 2‑차원 객체에서는 정점에 좌표, 간선에 곡선, 면에 색상 라벨이 부여된다. 이러한 구조는 “임베디드 G‑map”이라 명명되며, 위상 일관성(α‑라벨의 쌍대성, 폐쇄성 등)과 임베딩 일관성(라벨 존재 여부와 타입 일치) 두 가지 제약을 동시에 만족해야 한다.

변환 규칙은 전통적인 DPO(double‑pushout) 접근을 차용한다. 규칙 r은 L←K→R 형태의 세 그래프와 포함 사상으로 정의되며, 라벨이 정의되지 않은(⊥) 경우에는 K에 포함되어야 한다는 제약을 둔다. 매칭 m:L→G가 “dangling condition”(삭제될 정점이 외부 간선에 연결되지 않음)을 만족하면, L←K→R와 G 사이에 푸시아웃을 구성해 새로운 그래프 H를 생성한다. 논문은 이 과정이 I‑라벨드 그래프에서도 동일하게 적용 가능함을 증명하고, 전체 그래프가 완전 라벨링(모든 라벨 정의)된 경우 변환 후에도 완전 라벨링이 유지된다는 정리를 제시한다.

마지막으로 저자들은 “규칙 스키마(rule scheme)”를 도입해 파라미터화된 변환을 지원한다. 스키마는 변수와 연산식을 포함해 새로운 임베딩 값을 계산하도록 설계될 수 있다. 예를 들어, 두 정점 사이에 새로운 간선을 삽입하면서 중간 점의 좌표를 선형 보간법으로 정의하는 규칙을 하나의 스키마로 표현한다. 스키마 적용 시에도 라벨 일관성 제약을 검증하는 메커니즘을 제공한다.

전체적으로 이 연구는 위상·기하·속성 정보를 하나의 통합된 라벨드 그래프 모델에 포괄하고, 그래프 변환 이론을 통해 자동으로 일관성을 보장하는 프레임워크를 제공한다. 이는 CAD, GIS, 바이오모델링 등 다양한 분야에서 복잡한 기하 변형을 안전하게 구현할 수 있는 이론적 기반을 마련한다.