그래프 기본 개념 정리

초록

본 논문은 그래프 이론의 핵심 정의들을 새로운 용어 체계로 재구성하고, 구조적·체계적 관점에서 정리한다. 주요 내용은 정점·간선, 인접, 차수, 경로·사이클, 연결성, 트리, 이분 그래프 등 전통적 개념을 재정의하고, 그 관계를 요약한 정의와 정리 형태로 제시한다.

상세 분석

이 논문은 ‘그래프’를 단순히 정점과 간선의 집합으로 보는 전통적 정의를 넘어, ‘구조적 단위’와 ‘연결 메커니즘’이라는 두 축으로 재구성한다. 먼저 정점을 ‘노드’라 명명하고, 간선을 ‘연결’이라 부르며, 이때 연결은 방향성 여부에 따라 ‘단방향 연결’과 ‘양방향 연결’로 구분한다. 이러한 명명법은 컴퓨터 과학에서 흔히 사용되는 용어와 일치시켜, 이론과 실무 사이의 용어 장벽을 낮춘다.

다음으로 인접 관계를 ‘근접성’이라는 개념으로 정의한다. 두 정점이 직접 연결될 경우 ‘직접 근접’, 하나의 중간 정점을 거쳐 연결될 경우 ‘간접 근접’이라고 부른다. 차수는 ‘연결 수’로 재표현되며, 입출력 차이를 강조하기 위해 ‘입차수’와 ‘출차수’를 구분한다. 이는 유향 그래프에서 흐름 분석이나 네트워크 트래픽 모델링에 유용하다.

경로와 사이클은 각각 ‘연속 연결열’과 ‘폐쇄 연결열’로 명명한다. 여기서 중요한 점은 ‘연속성’이라는 속성을 명시적으로 강조함으로써, 경로의 단순성(정점 중복 금지)과 사이클의 폐쇄성을 정의적 틀 안에 자연스럽게 포함시킨다. 또한 ‘최단 연속 연결열’이라는 용어를 도입해, 전통적인 최단 경로 문제를 새로운 언어로 표현한다.

연결성은 ‘전체 근접성’과 ‘부분 근접성’으로 구분한다. 전체 근접성은 그래프가 하나의 연결 성분으로 이루어졌음을 의미하고, 부분 근접성은 여러 연결 성분이 존재함을 나타낸다. 이때 각 연결 성분을 ‘근접 클러스터’라 부른다.

트리는 ‘비폐쇄 연속 연결 구조’로 정의되며, 이는 사이클이 없고 모든 정점이 연결된 구조임을 강조한다. 트리의 특수 형태인 ‘뿌리 트리’는 ‘시작점이 있는 비폐쇄 연속 연결 구조’로, 루트와 잎을 명시적으로 구분한다.

이분 그래프는 ‘두 집합으로 분할 가능한 근접 클러스터’로 재정의한다. 여기서 중요한 점은 두 집합 사이에만 연결이 존재한다는 ‘교차 근접성’ 조건을 명시함으로써, 색칠 문제와 매칭 이론을 동일한 용어 체계 안에 통합한다.

마지막으로, 논문은 이러한 정의들을 ‘정리’ 형태로 요약한다. 예를 들어, “모든 비폐쇄 연속 연결 구조는 최소 하나의 시작점을 가진다”와 같은 정리는 기존 트리의 성질을 새로운 용어로 재표현한다. 전체적으로 이 논문은 기존 그래프 이론을 새로운 어휘 체계로 재구성함으로써, 교육적·응용적 관점에서 용어 일관성을 높이고, 구조적 이해를 촉진한다는 의의를 가진다.