[논문 리뷰] On cycles in graphs with specified radius and diameter

P. HRNČIAR|arXiv (Cornell University)|2012. 07. 02.

Graph theory and applications참고 문헌 2인용 수 3

한 줄 요약

이 논문은 반지름 $ r $ 와 지름 $ d $ 를 갖는 그래프의 둘레에 대한 날카운 하한을 확립한다. 특히 $ d \leq 2r - 2 $ 를 만족하는 모든 그래프는 최소한 $ 4r - 2d $ 의 길이를 갖는 사이클을 포함한다. 이 결과는 명백한 그래프 가족—예를 들어 $ S_{4r-2d, d-r} $ 형태의 해면 그래프(sun-graphs)—를 구성함으로써 최선임을 입증하며, 반지름과 지름이 주어진 그래프에서 사이클 길이에 대한 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

Let $G$ be a graph of radius $r$ and diameter $d$ with $d\leq 2r-2$. We show that $G$ contains a cycle of length at least $4r-2d$, i.e. for its circumference it holds $c(G)\geq 4r-2d$. Moreover, for all positive integers $r$ and $d$ with $r\leq d\leq 2r-2$ there exists a graph of radius $r$ and diameter $d$ with circumference $4r-2d$.

연구 동기 및 목표

• 반지름과 지름이 주어진 그래프에서 최소 사이클 길이에 대한 오랜 동안 미해결이었던 문제를 해결하기 위해, 특히 $ d \leq 2r - 2 $ 인 경우를 대상으로 한다.
• 반지름 $ r $ 와 지름 $ d $ 를 기반으로 둘레 $ c(G) $ 에 대한 날카운 하한을 확립하기 위해.
• 등호를 만족하는 극한 그래프 가족을 명시적으로 구성하여, 이 하한이 최선임을 입증하기 위해.
• 기존의 지오데식 사이클과 주어진 반지름·지름을 갖는 최소 순서의 그래프에 관한 결과를 일반화하기 위해.

제안 방법

• 모순에 의한 증명을 사용하여, $ c(G) < 4r - 2d $ 라고 가정하고 그래프의 블록과 절단 정점의 구조를 분석한다.
• 최대 외심을 갖는 정점에서 중심 블록 $ B $ 까지의 거리에 따라 경우를 나누며, 거리 $ a \leq r-1 $ 과 $ a \geq r $ 의 두 경우를 고려한다.
• 지오데식 경로와 사이클을 활용하여, 둘레가 너무 작을 경우 반지름 조건을 위반할 수 있는 정점과 경로에 초점을 맞춘다.
• 특히 차수 제약 조건을 갖는 순환 그래프인 해면 그래프 $ S_{m,k} $ 의 개념을 사용하여, 이 하한을 달성하는 극한 예시를 구성한다.
• 초기 가정인 $ c(G) < 4r - 2d $ 가 성립할 수 없음을 보이기 위해, 부분 그래프를 대체하는 방식으로 그래프를 반복적으로 단순화한다.
• 극한 그래프의 구성은 $ S_{4r-2d, d-r} $ 를 사용하며, 이는 둘레 길이 $ 4r - 2d $ 와 길이 $ d - r $ 인 $ 4r - 2d $ 개의 레이어를 갖는 해면 그래프로서, 이 하한의 날카로움을 입증한다.

실험 결과

연구 질문

• RQ1 반지름 $ r $ 과 지름 $ d \leq 2r - 2 $ 를 갖는 그래프에서 최소 둘레는 얼마인가요?
• RQ2 반지름 $ r $ 와 지름 $ d $ 를 기반으로 둘레에 대한 날카운 하한을 확립할 수 있을까요?
• RQ3 이 하한을 만족하는 극한 그래프가 존재하는가? 만약 존재한다면, 그들의 구조적 특성은 무엇인가요?
• RQ4 이 하한은 기존의 지오데식 사이클과 최소 순서의 그래프에 관한 결과와 어떻게 관련이 있나요?

주요 결과

• 이 논문은 반지름 $ r $ 과 지름 $ d \leq 2r - 2 $ 를 갖는 임의의 그래프 $ G $ 는 둘레 $ c(G) \geq 4r - 2d $ 를 가져야 한다고 증명한다.
• 등호를 만족하는 그래프의 존재를 통해, 하한 $ c(G) \geq 4r - 2d $ 가 최선임을 입증한다.
• 모든 정수 $ r $ 과 $ d $ 에 대해 $ r \leq d \leq 2r - 2 $ 를 만족할 때, 반지름 $ r $, 지름 $ d $, 둘레 $ 4r - 2d $ 를 갖는 그래프가 무수히 많이 존재한다.
• 이러한 극한 그래프의 한 예로는 $ d = r $ 일 때의 순환 그래프 $ C_{2r} $ 가 있으며, $ d > r $ 일 경우 해면 그래프 $ S_{4r-2d, d-r} $ 가 이 하한을 달성한다.
• 이 결과는 반지름 $ r $ 과 지름 $ d \leq 2r - 2 $ 를 갖는 그래프는 최소한 길이 4의 사이클을 포함해야 한다는 것을 시사한다. 왜냐하면 $ d \leq 2r - 2 $ 일 때 $ 4r - 2d \geq 4 $ 이기 때문이다.
• 둘레 $ c(G) \geq 2r $ 를 만족하는 정점 수에 대한 하한 $ 3r - 2 $ 가 최선임을 보여주며, $ 3r - 1 $ 개의 정점과 $ c(G) = 2r - 1 $ 을 갖는 반례가 존재함을 통해 이를 입증한다.