상자 차원과 페러스 차원의 연결 고리
본 논문은 무방향 그래프의 상자 차원(boxicity)과 방향 그래프의 페러스 차원(Ferrers dimension) 사이의 정확한 관계를 밝힌다. 특히, 임의의 그래프 G에 대해 G를 두 방향 그래프 D와 그 전치 Dᵀ의 교집합으로 표현할 수 있음을 보이며, 이때 box(G)와 d_F(D)가 일치함을 증명한다. 또한, 이 관계를 이용해 이분 그래프의 페러스 차원을 해당 그래프의 2‑클리크 구간 그래프의 상자 차원과 동일시하고, 차원 상한·하한…
저자: Soumyottam Chatterjee, Shamik Ghosh
본 논문은 그래프 이론에서 두 가지 중요한 차원 개념, 즉 무방향 그래프의 상자 차원(boxicity)과 방향 그래프의 페러스 차원(Ferrers dimension) 사이의 관계를 체계적으로 탐구한다. 먼저, 페러스 다이그래프의 정의와 기본 성질을 소개한다. 페러스 다이그래프는 각 정점의 후속 집합이 포함 관계에 따라 선형적으로 정렬되는 방향 그래프이며, 그 인접 행렬을 행·열 독립적인 순열을 통해 1이 한 모서리(페러스 도형)로 모여 있는 형태로 변환할 수 있다. 이러한 다이그래프는 임의의 다이그래프를 유한 개의 페러스 다이그래프의 교집합으로 표현할 수 있고, 그 최소 개수를 페러스 차원 d_F(D)라 정의한다.
다음으로 구간 그래프와 상자 차원의 개념을 복습한다. 구간 그래프는 실선 위의 구간들의 교집합 그래프이며, 상자 차원은 그래프를 b‑차원 축에 평행한 박스들의 교집합으로 표현할 수 있는 최소 b를 의미한다. 특히 box(G)=0은 완전 그래프, box(G)≤1은 구간 그래프와 동치이다.
핵심 결과는 두 방향 그래프 D와 Dᵀ(전치)의 교집합이 무방향 그래프 G와 동일할 때, box(G)와 d_F(D) 사이에 정확히 box(G)=d_F(D)라는 동등성이 성립한다는 점이다. 증명은 다음과 같다. 먼저 box(G)=n이면 G는 n개의 구간 그래프 I₁,…,Iₙ의 교집합으로 나타낼 수 있다. 각 Iᵢ는 관찰 1.1에 의해 적절한 페러스 다이그래프 Fᵢ와 Fᵢᵀ의 교집합으로 표현된다. 따라서 D=⋂_{i=1}^n Fᵢ이며, d_F(D)≤n. 반대로 d_F(D)=m
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기