[논문 리뷰] Word-representability of split graphs

Sergey Kitaev, Yangjing Long외 2명|arXiv (Cornell University)|2017. 09. 27.

Advanced Graph Theory Research참고 문헌 19인용 수 4

한 줄 요약

이 논문은 독립집합에 속한 정점의 차수 최대 2 또는 클리크 크기가 4일 때, 단어로 표현 가능한 분할 그래프를 금지된 부분그래프를 식별하여 특성화한다. 분할 그래프에서 반-전이적 방향성에 대한 필요 및 충분 조건을 제시하여, 방향성 특성과 연관된 단어로 표현 가능한지 여부를 판단하는 핵심 프레임워크를 구축하며, 항상 단어로 표현 가능한 그래프 클래스 $K_{\text{loc}}^k$와 항상 단어로 표현 불가능한 그래프 클래스 $A_\text{loc}$를 도입한다.

ABSTRACT

Letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word $xyxy\cdots$ (of even or odd length) or a word $yxyx\cdots$ (of even or odd length). A graph $G=(V,E)$ is word-representable if and only if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$. It is known that a graph is word-representable if and only if it admits a certain orientation called semi-transitive orientation. Word-representable graphs generalize several important classes of graphs such as $3$-colorable graphs, circle graphs, and comparability graphs. There is a long line of research in the literature dedicated to word-representable graphs. However, almost nothing is known on word-representability of split graphs, that is, graphs in which the vertices can be partitioned into a clique and an independent set. In this paper, we shed a light to this direction. In particular, we characterize in terms of forbidden subgraphs word-representable split graphs in which vertices in the independent set are of degree at most 2, or the size of the clique is 4. Moreover, we give necessary and sufficient conditions for an orientation of a split graph to be semi-transitive.

연구 동기 및 목표

• 분할 그래프(클리크와 독립집합으로 분할되는 그래프 클래스)의 단어로 표현 가능한지에 대한 이해 부족을 보완하기 위해.
• 독립집합에 속한 정점의 차수가 최대 2일 때, 단어로 표현 가능한 분할 그래프를 특성화하기 위해.
• 클리크 크기가 4일 때, 단어로 표현 가능한 분할 그래프를 특성화하기 위해.
• 분할 그래프의 방향성에 대해 반-전이적일 조건이 필요하고 충분한 조건을 제공하기 위해, 이는 단어로 표현 가능한지 여부의 핵심 성질이다.
• 항상 단어로 표현 가능한 또는 최소 비단어로 표현 가능한 그래프 가족($K_{\text{loc}}^k$, $A_\text{loc}$)을 도입하고 분석하기 위해.

제안 방법

• 단어로 표현 가능한 그래프와 반-전이적 방향성을 갖는 그래프 사이의 알려진 동치성을 활용하였다.
• 클리크 내의 하모닉 경로에 대한 이웃 구조에 기반해 분할 그래프 내의 정점 유형(A, B, C)을 정의하고 분석하였다.
• 클리크 $K_\text{loc}$에 $\text{loc}$개의 정점을 추가하여 형성된 그래프 클래스 $K_{\text{loc}}^k$를 도입하였으며, 이 정점들은 원 위의 $k$개 연속 정점에 연결되며 조건 $\text{loc} \geq 2k-1$을 만족한다.
• 해당 $K_{\text{loc}}^k$ 그래프가 클리크의 전이적 방향성과 적절한 정점 유형 할당을 통해 항상 단어로 표현 가능하다는 것을 증명하였다.
• 정점 유형 전이와 도어컷 제약 조건을 사용하여 분할 그래프 내 반-전이적 방향성의 특성화를 제공하였다.
• 정리 18을 활용하여 반-전이적 방향성에 대한 필요 및 충분 조건을 유도하였으며, 이는 단어로 표현 가능한 분할 그래프의 체계적 분류를 가능하게 하였다.

실험 결과

연구 질문

• RQ1 독립집합에 속한 정점의 차수가 최대 2인 분할 그래프 중에서 단어로 표현 가능한 것은 무엇인가?
• RQ2 클리크가 $K_4$인 분할 그래프 중에서 단어로 표현 가능한 것은 무엇인가?
• RQ3 분할 그래프의 방향성이 반-전이적일 조건은 무엇인가?
• RQ4 분할 그래프 클래스 내에서 항상 단어로 표현 가능한가, 또는 최소 비단어로 표현 가능한가에 해당하는 그래프 가족은 무엇인가?
• RQ5 정점 유형(A, B, C)과 그 전이가 분할 그래프의 반-전이적 방향성에 어떻게 영향을 주는가?

주요 결과

• 독립집합에 속한 정점의 차수가 최대 2인 분할 그래프는 정리 12에서 규명한 특정 금지된 부분그래프를 피할 경우에만 단어로 표현 가능하다.
• 클리크 크기가 $K_4$인 분할 그래프는 정리 14에서 규명한 특정 금지된 부분그래프를 피할 경우에만 단어로 표현 가능하다.
• 조건 $\text{loc} \geq 2k-1$를 만족하는 원 위의 $k$개 연속 정점에 각각 연결된 $\text{loc}$개의 정점을 $K_\text{loc}$ 클리크에 추가하여 형성된 그래프 클래스 $K_{\text{loc}}^k$는 항상 단어로 표현 가능하며, 정리 20에서 이를 입증하였다.
• 기존의 비단어로 표현 가능한 그래프 $T_1$을 일반화한 그래프 클래스 $A_\text{loc}$는 모든 $\text{loc} \geq 4$에 대해 최소 비단어로 표현 가능하며, 정리 11에서 이를 증명하였다.
• 분할 그래프의 방향성이 반-전이적일 조건은 클리크 내 하모닉 경로에 대해 유형 A 또는 B인 정점이 도어컷 조건을 위반하지 않을 경우에 한하여 성립하며, 정리 18에서 이를 정형화하였다.
• 독립집합 내 유형 A 및 B 정점은 반-전이성에 영향을 주지 않고 상호 교환 가능하며, 정리 21에서 이를 입증하여 유효한 방향성 내에서의 구조적 대칭성을 제공한다.