프로브 구간 그래프의 인접 행렬 특성 및 페레스 차원 연구

초록

본 논문은 프로브 구간 그래프의 인접 행렬을 여러 관점에서 특성화하고, 인접 행렬로부터 구간 이분 그래프의 구간 표현을 손쉽게 얻는 방법을 제시한다. 또한 모든 프로브 정점에 루프를 추가했을 때 대응되는 대칭 이분 그래프의 페레스 차원이 3 이하임을 증명한다.

상세 분석

이 연구는 먼저 기존의 구간 그래프와 프로브 구간 그래프 사이의 관계를 명확히 정의한다. 구간 그래프는 실수선 위의 구간들의 교차 관계로 정의되지만, 프로브 구간 그래프는 정점 집합을 프로브 집합 P와 비프로브 집합 N으로 분할하고, 적어도 하나가 P에 속하는 두 정점의 구간이 교차하면 인접하도록 한다. 이러한 정의는 C₄와 같은 그래프가 프로브 구간 그래프이면서 일반 구간 그래프는 아니라는 사실을 보여준다.

논문은 첫 번째 주요 결과로 관측 1.4를 제시한다. 이는 “인접 행렬에 대각선에 1을 넣은 확대 행렬(augmented adjacency matrix)을 행·열을 동일한 순열로 재배열하면, 특정 ‘quasi‑x‑linear‑ones’ 성질을 만족한다면 그래프는 프로브 구간 그래프이다”는 내용이다. 여기서 ‘quasi‑x‑linear‑ones’는 대각선 아래·오른쪽에 존재하는 0이 X(특정 비프로브 정점에 대응) 혹은 0만을 포함하도록 하는 제약이다. 이 성질은 기존의 구간 그래프를 판별하는 ‘quasi‑linear‑ones’ 조건을 일반화한 것으로, 프로브와 비프로브 정점의 구분을 행렬 구조에 직접 반영한다.

두 번째 주요 기여는 구간 이분 그래프(interval bipartite graph)의 구간 표현을 행렬 기반으로 얻는 알고리즘이다. 이분 그래프 B=(X,Y,E)의 양쪽 파티션에 대한 바이아디어시 행렬을 R‑C 파티션(0을 R 혹은 C로 표시) 형태로 변환한 뒤, 행·열을 삽입·대각화(diagonalization)하여 ‘대각화된 행렬 ˜A’를 만든다. 알고리즘 2.3은 ˜A의 각 행·열에서 마지막 1이 나타나는 위치를 이용해 구간