[논문 리뷰] The Rank-Width of Edge-Colored Graphs

Mamadou Moustapha Kanté, Rao, Michael|arXiv (Cornell University)|2007. 09. 10.

Advanced Graph Theory Research인용 수 17

한 줄 요약

이 논문은 유한 체 위에서의 행렬 표현을 사용하여 간선 색이 칠해진 그래프에 대해 두 가지 새로운 랭크-너비 파라미터—F-랭크-너비와 F-이중-랭크-너비—를 도입한다. 이는 무방향 그래프의 랭크-너비를 일반화한 것으로, 두 파라미터가 클리크-너비와 동치임을 증명하고, 정점-미니어 배제 특성화를 수립하며, 고정된 너비에 대해 삼차 시간 알고리즘을 제공함으로써, 무방향 그래프에서의 핵심 알고리즘적 및 구조적 결과를 간선 색이 칠해진 그래프 및 방향 그래프로 확장한다.

ABSTRACT

Clique-width is a complexity measure of directed as well as undirected graphs. Rank-width is an equivalent complexity measure for undirected graphs and has good algorithmic and structural properties. It is in particular related to the vertex-minor relation. We discuss an extension of the notion of rank-width to edge-colored graphs. A C-colored graph is a graph where the arcs are colored with colors from the set C. There is not a natural notion of rank-width for C-colored graphs. We define two notions of rank-width for them, both based on a coding of C-colored graphs by edge-colored graphs where each edge has exactly one color from a field F and named respectively F-rank-width and F-bi-rank-width. The two notions are equivalent to clique-width. We then present a notion of vertex-minor for F-colored graphs and prove that F-colored graphs of bounded F-rank-width are characterised by a finite list of F-colored graphs to exclude as vertex-minors. A cubic-time algorithm to decide whether a F-colored graph has F-rank-width (resp. F-bi-rank-width) at most k, for fixed k, is also given. Graph operations to check MSOL-definable properties on F-colored graphs of bounded rank-width are presented. A specialisation of all these notions to (directed) graphs without edge colors is presented, which shows that our results generalise the ones in undirected graphs.

연구 동기 및 목표

• 무방향 그래프의 랭크-너비 개념을 간선 색이 칠해진 그래프, 특히 간선 색이 없는 방향 그래프로 확장한다.
• C-색이 칠해진 그래프에 대해 자연스러운 랭크-너비 개념이 부족한 문제를 해결하기 위해, 유한 체 위에서의 행렬 표현 기반으로 두 가지 새로운 파라미터를 정의한다.
• 정점-미니어 불변성 및 유한한 배제 구성 특성화와 같은 구조적 및 알고리즘적 결과를 간선 색이 칠해진 그래프로 일반화한다.
• 고정된 k에 대해 F-랭크-너비 또는 F-이중-랭크-너비가 최대 k인 그래프를 삼차 시간에 인식할 수 있는 알고리즘을 제시한다.
• 새로운 그래프 연산을 통해, 랭크-너비가 유한한 간선 색이 칠해진 그래프에서 MSOL로 정의된 성질을 효율적으로 모델 체킹할 수 있도록 한다.

제안 방법

• 대칭 행렬과 반대칭 행렬을 일반화하기 위해 σ-대칭 행렬을 정의하여, 유한 체 위에서 간선 색이 칠해진 그래프의 행렬 표현을 가능하게 한다.
• 유한 체 F 위에서 C-색이 칠해진 그래프를 행렬로 표현하며, 간선 색을 행렬의 원소 정의에 활용한다.
• 정점 분할에 의해 유도되는 부분행렬의 랭크를 기반으로 F-랭크-너비와 F-이중-랭크-너비를 정의하여, 무방향 그래프의 랭크-너비를 일반화한다.
• F-색이 칠해진 그래프에 대해 정점-미니어 및 피봇-미니어 연산을 정의하여, 무방향 그래프의 개념을 확장한다.
• 그래프를 용량화된 표현을 통해 재귀적 구성이 가능한, 행렬 연산 (⊗M1,M2,N1,N2,P1,P2) 기반의 용어 대수를 구성한다.
• 그래프 용어의 귀납적 구성과 행렬 분해를 통해, 그래프 연산과 랭크-너비 파라미터 간의 동치성을 증명한다.

실험 결과

연구 질문

• RQ1 랭크-너비는 간선 색이 칠해진 그래프, 특히 간선 색이 없는 방향 그래프에 대해 의미 있게 확장될 수 있는가?
• RQ2 제안된 F-랭크-너비와 F-이중-랭크-너비 파라미터는 간선 색이 칠해진 그래프에서 클리크-너비와 동치인가?
• RQ3 F-랭크-너비가 유한한 그래프는 유한한 수의 배제된 정점-미니어로 특성화되는가? 이는 무방향 그래프 결과를 일반화하는가?
• RQ4 고정된 k에 대해 F-랭크-너비(또는 F-이중-랭크-너비)에 대한 삼차 시간 인식 알고리즘을 구성할 수 있는가?
• RQ5 제안된 대수적 연산을 사용하여, 랭크-너비가 유한한 F-색이 칠해진 그래프에서 MSOL로 정의된 성질을 효율적으로 체크할 수 있는가?

주요 결과

• F-랭크-너비와 F-이중-랭크-너비는 간선 색이 칠해진 그래프에서 클리크-너비와 동치이며, 이는 랭크-너비가 유한하면 클리크-너비도 유한하고 그 반대도 성립함을 의미한다.
• F-색이 칠해진 그래프에서 F-랭크-너비가 유한한 경우, 정점-미니어로 배제된 유한한 목록으로 특성화되며, 이는 무방향 그래프의 정점-미니어 특성화를 일반화한다.
• 고정된 k에 대해 주어진 F-색이 칠해진 그래프가 F-랭크-너비(또는 F-이중-랭크-너비)가 최대 k인지 결정하는 삼차 시간 알고리즘이 존재한다.
• 논문은 행렬 연산 (⊗M1,M2,N1,N2,P1,P2)을 기반으로 한 용어 대수를 구성하여, F-랭크-너비와 F-이중-랭크-너비를 정확히 특성화하며, 클리크-너비 표현으로의 변환 없이 MSOL 모델 체킹을 가능하게 한다.
• 결과는 간선 색이 없는 방향 그래프로 특수화되며, 이는 F-랭크-너비 이론이 무방향 그래프의 기존 이론을 일반화함을 보여준다.
• 제안된 대수적 연산을 사용함으로써, 랭크-너비가 유한한 그래프에서 MSOL 모델 체킹을 효율적으로 지원하며, 클리크-너비 표현으로의 변환 없이도 가능하다.