[논문 리뷰] Interval Graphs with Containment Restrictions

Jeffrey Beyerl, Robert E. Jamison|arXiv (Cornell University)|2011. 09. 29.

Advanced Graph Theory Research참고 문헌 20인용 수 3

한 줄 요약

이 논문은 각 구간이 최대 $p$개의 다른 구간을 포함하는 구간 표현을 갖는 $p$-improper interval graphs를 도입하고, $\mathscr{I}_p$ 클래스의 최소 금지 부분그래프를 특성화한다. $p$-improper interval graphs는 최소 금지 부분그래프의 다양성이 높으며, 정점 유형과 컴포넌트 무게를 기반으로 한 새로운 구성 방식을 사용하여 균형 잡힌 경우에 대해 완전한 특성화를 제공한다.

ABSTRACT

An interval graph is proper iff it has a representation in which no interval contains another. Fred Roberts characterized the proper interval graphs as those containing no induced star $K_{1,3}$. Proskurowski and Telle have studied $q$-proper graphs, which are interval graphs having a representation in which no interval is properly contained in more than $q$ other intervals. Like Roberts they found that their classes of graphs where characterized, each by a single minimal forbidden subgraph. This paper initiates the study of $p$-improper interval graphs where no interval contains more than $p$ other intervals. This paper will focus on a special case of $p$-improper interval graphs for which the minimal forbidden subgraphs are readily described. Even in this case, it is apparent that a very wide variety of minimal forbidden subgraphs are possible.

연구 동기 및 목표

• 구간 표현에서 한 구간이 최대 $p$개의 다른 구간을 포함하는 $p$-improper interval graphs를 정의하고 연구한다.
• 클래스 $\mathscr{I}_p$를 특성화하는 최소 금지 부분그래프(MFISGs)를 규명한다.
• $p$-improper interval 그래프의 구조적 성질을 분석하며, 특히 컴포넌트 무게와 정점 유형을 사용해 불균형성을 결정하는 균형 잡힌 경우에 집중한다.
• $k=0,1,2$에 대해 $\textsf{BAL}_k(\mathcal{H})$ 구성 방식을 사용하여 $p$-크리티컬이자 균형 잡힌 인터벌 그래프의 구성적 특성화를 제공한다.
• 정점의 무게가 그래프의 불균형성에 하한을 제공하며, 이 하한이 정확히 균형 잡힌 경우에만 등호가 성립함을 증명한다.

제안 방법

• 모든 구간 표현에서 어떤 한 구간 내에 포함된 구간 수의 최댓값의 최소값으로 불균형성 $\mbox{imp}(G)$를 정의한다.
• 정점 $z$의 무게 $\mbox{wt}(z)$를 $G\setminus\{z\}$에서의 $n-2$개의 가장 작은 비외각 지역 컴포넌트 크기의 합으로 정의한다. 여기서 $n$은 지역 컴포넌트의 수이다.
• 무게 함수를 사용하여 $\mbox{imp}(G)$에 대한 하한을 유도하며, 이 하한이 정확히 균형 잡힌 그래프일 때만 등호가 성립함을 보인다.
• $\textsf{BAL}_k(\mathcal{H})$를 중심 정점 $z$가 일련의 인터벌 그래프 $H_i$에 연결되고, $k=1,2$일 때 $k$개의 끝부분 $P_3$ 경로가 첨부되며, 가장 큰 $H_i$들 사이에 클리크를 형성하여 크리티컬성을 확보하는 구성으로 정의한다.
• $p$-크리티컬이자 균형 잡힌 그래프는 정확히 $k=0,1,2$에 대해 $\textsf{BAL}_k(\mathcal{H})$에 동형이며, 가장 큰 컴포넌트들 사이에 클리크 조건이 성립함을 증명한다.
• $\textsf{BAL}_k(\mathcal{H})$ 표현에서 어떤 구간이라도 제거하면 불균형성이 감소함을 보여, 이러한 그래프의 크리티컬성을 입증한다.

실험 결과

연구 질문

• RQ1 어떤 $p$-improper interval 그래프 클래스를 특성화하는 최소 금지 부분그래프가 있는가?
• RQ2 정점의 무게가 그래프의 불균형성과 어떻게 관련되어 있으며, 이 하한이 언제 정확하게 이루어지는가?
• RQ3 $p$-크리티컬이자 균형 잡힌 인터벌 그래프를 정의하는 구조적 조건은 무엇인가?
• RQ4 파arameterized 그래프 구성의 가족을 사용하여 $p$-크리티컬이자 균형 잡힌 인터벌 그래프를 구성적으로 특성화할 수 있는가?
• RQ5 지역 컴포넌트의 수와 유형(특히 외각 및 내각)은 정점과 전체 그래프의 불균형성에 어떻게 영향을 주는가?

주요 결과

• $\mathscr{I}_p$ 클래스인 $p$-improper interval 그래프는 최소 금지 부분그래프 특성화를 갖는다. 각 $p$에 대해 $K_{1,p+3}$은 최소 금지 부분그래프이다.
• $p=1$일 때, 논문은 10개의 최소 금지 부분그래프를 완전히 나열하여, 낮은 $p$일지라도 이러한 부분그래프의 복잡성과 다양성이 있음을 보여준다.
• 정점 $z$의 무게 $\mbox{wt}(z)$는 $\mbox{imp}(G)$에 대한 하한을 제공하며, $\mbox{wt}(G) = \mbox{imp}(G)$가 성립하는 것은 정확히 그래프가 균형 잡혀 있을 때뿐이다.
• $p$-크리티컬이자 균형 잡힌 그래프인 것은 정확히 $k=0,1,2$에 대해 $\textsf{BAL}_k(\mathcal{H})$에 동형이며, $H_i$들 중 가장 큰 컴포넌트들이 클리크여야 한다.
• $\textsf{BAL}_k(\mathcal{H})$ 구성에서 표현에서 어떤 구간이라도 제거하면 불균형성이 감소함을 보여, 이러한 그래프의 크리티컬성을 확인한다.
• $\textsf{BAL}_k(\mathcal{H})$ 구성은 중심 정점의 불균형성과 정확히 일치하며, 이 값은 모든 표현에서 최소임을 보장하여 표현의 최소성을 확인한다.