[논문 리뷰] Bipartite graphs with a perfect matching and digraphs

Zan‐Bo Zhang, Dingjun Lou|arXiv (Cornell University)|2010. 11. 19.

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

한 줄 요약

이 논문은 완전 매칭을 가진 이분 그래프와 방향 그래프(digraph) 사이의 이중성(duality)을 수립하며, 이분 그래프에서의 k-확장 가능성(k-extendability)이 그에 관련된 방향 그래프에서의 k-강연결성(k-strong connectivity)과 정확히 일치함을 보여준다. 주요 기여는 비1-확장 가능한 이분 그래프의 기본 성분(elementary components)과 그에 대응하는 방향 그래프의 강성 성분(strong components) 사이의 구조적 동치성으로, 인cidenc 행렬 변환과 연결성 분석을 통해 그래프 이론과 행렬 이론을 통합한다.

ABSTRACT

In this paper, we introduce a corresponding between bipartite graphs with a perfect matching and digraphs, which implicates an equivalent relation between the extendibility of bipartite graphs and the strongly connectivity of digraphs. Such an equivalent relation explains the similar results on $k$-extendable bipartite graphs and $k$-strong digraphs. We also study the relation among $k$-extendable bipartite graphs, $k$-strong digraphs and combinatorial matrices. For bipartite graphs that are not 1-extendable and digraphs that are not strong, we prove that the elementary components and strong components are counterparts.

연구 동기 및 목표

• 완전 매칭을 가진 이분 그래프와 방향 그래프 사이의 공식적 대응 관계를 인cidenc 행렬 변환을 통해 수립하기.
• 이분 그래프에서의 k-확장 가능성과 관련 방향 그래프에서의 k-강연결성 간의 동치성을 명확히 하기.
• k-분해 불가능 행렬을 k-강연결 방향 그래프와 연결함으로써 조합적 행렬 이론과 그래프 연결성의 통합하기.
• 비1-확장 가능한 이분 그래프의 기본 성분의 구조적 대응체를 비슷한 방향 그래프의 강성 성분으로 특성화하기.

제안 방법

• 완전 매칭 M을 가진 이분 그래프 G에서 방향 그래프 D를 구성하기 위해, 축소된 인cidenc 행렬 R(G)에서 항등행렬을 빼어 D = D(G, M)를 형성한다.
• 행렬 M으로부터 관련 방향 그래프 D(M)를 정의하기 위해, 한 분할에서 다른 분할으로의 간선을 방향화하고 매칭 간선을 수축한다.
• 치환 행렬을 사용하여 0-1 행렬의 가역성과 분해 가능성을 분석하여 k-가역성, k-분해 불가능성, k-기약성 형태를 구분한다.
• 경로와 분리자(arguments)를 이용하여, 행렬 A가 k-분해 불가능함과 그에 대응하는 방향 그래프 D(A)가 k-강연결임이 정확히 동치임을 증명한다.
• G의 고정되지 않은 간선과 D의 간선 사이의 일대일 대응을 수립하며, 연결성과 매칭 확장성과 같은 구조적 성질을 유지한다.
• 모순과 교차 순환 분석을 통해, G의 기본 성분(1-확장 가능한 부분그래프)이 D의 강성 성분과 정확히 일치함을 보인다.

실험 결과

연구 질문

• RQ1 이분 그래프의 k-확장 가능성은 그에 관련된 방향 그래프의 k-강연결성과 어떻게 관련이 있는가?
• RQ2 비1-확장 가능한 이분 그래프에서의 기본 성분과 그에 대응하는 방향 그래프의 강성 성분 사이의 구조적 대응은 무엇인가?
• RQ3 0-1 행렬이 k-강연결 방향 그래프와 대응하기 위한 행렬 이론적 조건은 무엇인가?
• RQ4 이분 그래프의 고정 간선 구조는 관련 방향 그래프의 강성 성분 분해를 통해 완전히 특성화될 수 있는가?
• RQ5 k-분해 불가능성과 k-기약성 행렬은 그에 대응하는 방향 그래프의 연결성 특성과 어떻게 관련되는가?

주요 결과

• 이분 그래프 G가 k-확장 가능임과 그에 대응하는 방향 그래프 D(G, M)가 k-강연결임은 정확히 동치이며, 이는 그래프의 확장 가능성과 방향 그래프의 연결성 간의 직접적 동치성을 수립한다.
• 1-확장 가능하지 않은 이분 그래프 G의 기본 성분은 그에 대응하는 방향 그래프 D(G, M)의 강성 성분과 정확히 일치한다.
• 행렬 A의 관련 방향 그래프 D(A)가 k-강연결임과 A가 k-분해 불가능임은 정확히 동치이며, 이는 행렬의 분해 가능성과 방향 그래프의 연결성 간의 연결 고리를 형성한다.
• 행렬 A가 k-기약임과 동시에 A + I가 k-분해 불가능임은 정확히 동치이며, 항등행렬을 더함으로써 행렬-방향 그래프 대응에서 k-연결성이 유지됨을 보여준다.
• G의 고정된 단일 간선은 D의 강성 성분 내에서 고립된 정점으로 대응하며, 고정된 이중 간선은 D의 단일 정점 강성 성분으로 대응한다.
• G에서의 매칭의 대칭차와 교차 순환은 D에서의 방향 순환으로 매핑되며, 이는 비최대 강성 성분이 매칭 확장에서 모순을 일으킴을 증명한다.