[논문 리뷰] L-Graphs and Monotone L-Graphs

Reyan Ahmed, Felice De Luca외 7명|arXiv (Cornell University)|2017. 03. 05.

graph theory and CDMA systems참고 문헌 23인용 수 4

한 줄 요약

이 논문은 비점프 그래프의 클래스를 제안하고, L-세그먼트의 모서리가 일직선 위에 있을 때, 그래프가 단조적 L-임베딩을 가질 수 있음이 필요이고 충분한 조건임을 증명한다. 이 작업은 단조적 L-그래프를 완전히 특성화하며, 외평면, 볼록 이분할, 간격, 3-잎 파워, 완전 그래프는 모두 비점프 그래프의 부분클래스임을 보이고, 거리-유전적 및 k-잎 파워 그래프(≤ 4)는 일반적인 L-임베딩을 갖는다.

ABSTRACT

In an $\mathsf{L}$-embedding of a graph, each vertex is represented by an $\mathsf{L}$-segment, and two segments intersect each other if and only if the corresponding vertices are adjacent in the graph. If the corner of each $\mathsf{L}$-segment in an $\mathsf{L}$-embedding lies on a straight line, we call it a monotone $\mathsf{L}$-embedding. In this paper we give a full characterization of monotone $\mathsf{L}$-embeddings by introducing a new class of graphs which we call "non-jumping" graphs. We show that a graph admits a monotone $\mathsf{L}$-embedding if and only if the graph is a non-jumping graph. Further, we show that outerplanar graphs, convex bipartite graphs, interval graphs, 3-leaf power graphs, and complete graphs are subclasses of non-jumping graphs. Finally, we show that distance-hereditary graphs and $k$-leaf power graphs ($k\le 4$) admit $\mathsf{L}$-embeddings.

연구 동기 및 목표

• 모든 L-세그먼트 모서리가 공통 직선 위에 있을 때, 단조적 L-임베딩을 갖는 그래프의 클래스를 특성화하는 것.
• 단조적 L-임베딩의 구조적 제약 조건을 반영하는 새로운 그래프 클래스인 비점프 그래프를 정의하고 분석하는 것.
• 외평면 및 간격 그래프와 같은 여러 중요한 그래프 가족이 비점프 그래프의 부분클래스임을 밝히는 것.
• 거리-유전적 및 k-잎 파워 그래프(≤ 4)에 대한 L-임베딩 존재성을 조사하는 것.

제안 방법

• L-세그먼트를 수평선과 수직선이 L자 형태로 만나는 것으로 정의하고, 정점의 인접성이 세그먼트의 교차에 대응하는 표현을 L-임베딩으로 정의한다.
• 모든 L-세그먼트 모서리가 공통 직선 위에 있을 때 단조적 L-임베딩을 정의하고, 선형 정점 순서 조건을 통해 비점프 그래프의 개념을 도입한다.
• 정점 추가 시 교차를 유지하는 기하학적 확장 연산(오른쪽, 위, 아래, 왼쪽)을 사용하여 유효한 L-임베딩을 구성한다.
• 끝점 정점 추가, 진짜 쌍둥이, 가짜 쌍둥이와 같은 연산을 적용하여 L-임베딩을 점진적으로 구축하고, 이러한 연산에 대해 닫힘 성질을 증명한다.
• 거리-유전적 그래프 등에 대한 알려진 그래프 구성 순서를 활용하여, 귀납적 구성에 기반해 L-임베딩 존재성을 증명한다.
• 구조적 그래프 이론과 기하학적 제약 조건을 활용하여, k-잎 파워 그래프(≤ 4)가 사례 분석과 임베딩 구성에 의해 L-임베딩을 갖는다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 그래프가 모든 L-세그먼트 모서리가 공통 직선 위에 있을 때 단조적 L-임베딩을 갖는가?
• RQ2 그러한 단조적 L-임베딩을 허용하는 그래프의 조합적 특성은 무엇인가?
• RQ3 거리-유전적 그래프와 k-잎 파워 그래프(≤ 4)는 L-그래프인가?
• RQ4 비점프 그래프의 클래스는 단조적 L-그래프를 완전히 특성화하는가?
• RQ5 비점프 그래프를 식별하는 데 필요한 계산 복잡도는 무엇인가?

주요 결과

• 그래프가 단조적 L-임베딩을 갖는 것은 비점프 그래프일 때에만 가능하며, 이는 완전한 조합적 특성화를 제공한다.
• 외평면 그래프, 볼록 이분할 그래프, 간격 그래프, 3-잎 파워 그래프, 완전 그래프는 모두 비점프 그래프의 부분클래스이다.
• 거리-유전적 그래프는 끝점 정점 추가 및 쌍둥이 연산의 순서로 구성될 수 있으며, L-임베딩 가능성은 유지되므로 L-임베딩을 갖는다.
• 모든 4-잎 파워 그래프는 사례 분석과 임베딩 구성에 의해 L-임베딩을 갖는다는 것이 증명되었으며, 이는 부록에서 제시된다.
• 비점프 그래프의 클래스는 끝점 정점 추가, 진짜 쌍둥이, 가짜 쌍둥이에 대해 닫혀 있으며, 이는 단조적 L-임베딩의 귀납적 구성에 기여한다.
• 비점프 그래프 식별의 계산 복잡도는 NP-난이도일 가능성이 제기되나, 이는 아직 미해결 문제이다.