[논문 리뷰] Acyclic and unicyclic graphs whose minimum skew rank is equal to the minimum skew rank of a diametrical path

Luz M. DeAlba|arXiv (Cornell University)|2011. 07. 12.

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

한 줄 요약

이 논문은 연결된 유일순환 그래프의 최소 비대칭 랭크를 계산하는 알고리즘을 제시하고, 그 랭크가 직경 경로와 동일한 모든 연결된 비순환(트리) 및 유일순환 그래프를 완전히 특성화한다. 핵심 결과는 사이클 길이(3, 4 또는 6), 그래프 미니어의 기린벌레 구조, 직경 경로 내의 공동 위치와 같은 구조적 조건이 비대칭 랭크를 유지하는 조건을 밝혀낸다.

ABSTRACT

The minimum skew rank of a simple graph G over the field of real numbers, is the smallest possible rank among all real skew-symmetric matrices whose (i,j)-entry (for i not equal to j) is nonzero whenever {i, j} is an edge in G and is zero otherwise. In this paper we give an algorithm for computing the minimum skew rank of a connected unicyclic graph, and classify all connected acyclic and connected unicyclic graphs G, for which the minimum skew rank of G is equal to the minimum skew rank of P, where P is a diametrical path of G.

연구 동기 및 목표

• 연결된 유일순환 그래프의 최소 비대칭 랭크를 계산하는 알고리즘을 개발하기 위해.
• 모든 연결된 비순환 및 유일순환 그래프 G 중에서 최소 비대칭 랭크가 G의 직경 경로와 동일한 경우를 분류하기 위해.
• 트리 및 유일순환 그래프의 맥락에서 대칭 행렬 최소 랭크에 알려진 결과를 비대칭 행렬으로 확장하기 위해.
• 사이클을 포함하는 그래프 가족 간에 최소 비대칭 랭크를 유지하는 구조적 불변량을 규명하기 위해.
• 매칭, 경로 구조 및 정점 차수의 역할이 비대칭 행렬 랭크 최소화에 어떻게 기여하는지 탐색하기 위해.

제안 방법

• G의 비대칭 행렬 중에서 비대각선 비영원소가 G의 간선에 대응하는 실수 비대칭 행렬 중 최소 랭크인 최소 비대칭 랭크(mr⁻(G)) 개념을 사용한다.
• 비대칭 행렬 실현을 분석하기 위해 직경 경로, 매칭 및 정점 포화도 등의 그래프 이론적 도구를 적용한다.
• 복잡한 그래프를 분해하고 최소 비대칭 랭크를 유지하기 위해 컷-정점 감소 및 정점 합 연산을 활용한다.
• 최소 비대칭 랭크를 유계화하고 계산하기 위해 비대칭 강제화 수치(Z⁻(T))와 매칭 수(match(G))를 활용한다.
• 정점 합에 의한 랭크의 가산성에 관한 정리 5.1과 증강 경로를 통한 최대 매칭 특성화에 관한 정리 3.2를 활용하여 재귀적 랭크 공식을 유도한다.
• 구조적 보조정리를 사용하여(예: 보조정리 5.9, 보조정리 5.12) 유일순환 그래프의 사이클 유형과 부착 조건을 제약한다.

실험 결과

연구 질문

• RQ1 어떤 연결된 비순환 및 유일순환 그래프 G에 대해 최소 비대칭 랭크가 G의 직경 경로와 동일한가?
• RQ2 유일순환 그래프의 어떤 구조적 성질이 그 최소 비대칭 랭크가 최장 유도 경로와 일치하도록 보장하는가?
• RQ3 사이클 길이(3, 4 또는 6)와 정점 부착 패턴은 유일순환 그래프의 최소 비대칭 랭크에 어떻게 영향을 미치는가?
• RQ4 유일순환 그래프에서 정점을 제거할 때 최소 비대칭 랭크가 유지되는 조건은 무엇인가?
• RQ5 경로 그래프에 대한 알려진 결과와 정점 합을 사용하여 그래프의 최소 비대칭 랭크를 재귀적으로 계산할 수 있는가?

주요 결과

• 연결된 유일순환 그래프의 최소 비대칭 랭크는 사이클 유형과 정점 부착 구조에 기반한 알고리즘을 통해 계산할 수 있다.
• 연결된 유일순환 그래프 G가 유일한 사이클 C_k를 가질 때, k ∈ {3, 4, 6}이고, V_C - V_P_n에 속한 모든 정점들을 제거하면 기린벌레 구조가 되면, mr⁻(G) = mr⁻(P_n)이다.
• G가 연결된 유일순환 그래프이고 직경 경로 P_n를 가지며 mr⁻(G) = mr⁻(P_n이면, 직경 경로 P_n에는 3 ≤ r < s ≤ n−2인 홀수 및 짝수 인덱스를 가진 짝이 맞는 공동이 존재해서는 안 된다.
• k=6일 때, 사이클 정점 w가 v_4 또는 v_{n-3}에 인접해 있으면, 수정된 경로 P'는 v_1 또는 v_n에 인접한지에 따라 모든 공동이 홀수 또는 짝수 인덱스에 있어야 한다.
• 스피더 그래프 S_k 또는 버터플라이 그래프 B_k의 최소 비대칭 랭크는 4이며, 이는 그 직경과 일치하고, 정점 합 구조를 통해 더 큰 그래프로 확장된다.
• 여러 개의 스피더 또는 버터플라이 유사 구성요소를 정점 합으로 조합한 그래프는, 구성 요소 수에 대한 귀납법으로 mr⁻(G) = diam(G)의 등식을 유지한다.