PHOEG 온라인 도구를 통한 극값 그래프 이론 연구와 교육

초록

PHOEG는 그래프의 두 개 불변량을 2차원 좌표에 매핑하고 전체 그래프 집합의 볼록 껍질을 계산해 불변량 사이의 정확한 선형 부등식을 도출하는 웹 기반 시스템이다. 10차 이하의 모든 비동형 그래프를 데이터베이스에 보관하고, 사용자는 불변량 선택, 제약조건, 색칠·강조 옵션을 통해 다각형과 해당 그래프를 직관적으로 탐색할 수 있다. 연구에서는 새로운 추측 검증과 반례 탐색에, 교육에서는 학생들의 탐구 학습에 활용 사례를 제시한다.

상세 분석

PHOEG는 GraPHedron이 제시한 “그래프를 불변량 공간에 임베딩하고 볼록 껍질을 구한다”는 기하학적 접근을 현대적인 웹 기술과 결합한 시스템이다. 핵심 아이디어는 두 개의 정수형 혹은 실수형 그래프 불변량을 X·Y 축에 할당해 각 그래프를 점으로 표현하고, 이 점들의 볼록 껍질을 계산함으로써 모든 가능한 선형 부등식( facet )을 자동으로 얻는 것이다. 볼록 껍질의 정점은 해당 부등식을 정확히 만족하는 극값 그래프이며, 동일 좌표에 여러 비동형 그래프가 겹칠 경우 ‘multiplicity’ 라는 시각적 표시로 사용자에게 알려준다.

데이터베이스는 34 백만 개 이상의 비동형 그래프(차수 10 이하)를 저장하고, 각 그래프에 대해 약 50개의 수치형 불변량과 12개의 부울형 불변량을 사전 계산한다. 그래프의 정규형은 Nauty를 이용해 고유하게 부여되며, PostgreSQL에 효율적인 인덱스를 두어 실시간 쿼리와 다중 사용자 접근을 지원한다. 백엔드는 Rust 기반 Rocket 프레임워크로 구현돼 고성능 REST API를 제공하고, 프론트엔드는 TypeScript와 React, Chakra UI를 활용해 반응형 UI와 접근성을 확보한다.

사용자 인터페이스는 두 단계로 구성된다. 첫 단계에서는 X·Y 축 불변량 선택 외에 세 번째 불변량을 이용한 색칠(continuous gradient)이나 특정 값 강조(highlighting), 그리고 불변량 범위나 부울식 제약조건을 정의할 수 있다. 색칠은 선택된 불변량의 최소·최대값을 기준으로 색상 그라디언트를 적용하고, 강조는 정확히 일치하는 점만을 별도 색으로 표시한다. 제약조건은 수치형(>, <, = 등) 혹은 부울형(true/false)으로 그래프 집합을 필터링한다.

두 번째 단계에서는 선택된 차수(2~10)별 볼록 다각형을 좌측 패널에 시각화하고, 점을 클릭하면 해당 좌표에 포함된 모든 그래프를 우측 패널에 동적으로 렌더링한다. 그래프 렌더링은 8가지 레이아웃 알고리즘을 제공하고, 정점 색을 차수에 매핑하거나 보조 정보를 오버레이하는 등 풍부한 시각 옵션을 지원한다. 또한, 색칠·강조 옵션이 적용된 경우 다각형과 그래프 양쪽에 일관된 색상이 반영돼 사용자는 불변량 간 관계를 직관적으로 파악할 수 있다.

연구 활용 사례에서는 특정 불변량 쌍에 대한 완전한 다면체 기술을 제시한 기존 결과(예: 지름-크기, 피보나치 지수-독립집합 수 등)를 재현하고, 새로운 불변량 조합에 대해 빠르게 추측을 세우거나 반례를 찾는 과정을 보여준다. 교육적 활용에서는 대학 강의와 실습에 PHOEG를 도입해 학생들이 직접 불변량 공간을 탐색하고, 극값 그래프를 시각화하며, 이론적 결과와 실험적 관찰을 연결하도록 설계된 사례를 제시한다.

전반적으로 PHOEG는 정확성을 포기하지 않으면서도 웹 기반 인터랙티브 환경을 제공함으로써, 극값 그래프 이론 연구자와 교육자가 대규모 그래프 데이터베이스를 손쉽게 활용하고, 새로운 부등식과 극값 구조를 발견·검증할 수 있는 강력한 플랫폼을 구현했다.