[논문 리뷰] Equitable Partitions into Matchings and Coverings in Mixed Graphs

Tamás Király, Yu Yokoi|arXiv (Cornell University)|2018. 11. 19.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 혼합 그래프에서 매칭 숲의 덮개 대응체로 혼합 엣지 커버를 도입하여, 혼합 구조로의 매칭–커버 이중성 확장한다. 엣지 및 아크 집합이 크기 차이가 1 또는 2 이내가 되도록 k개의 매칭 숲 또는 혼합 엣지 커버로 균형 잡힌 분할이 가능함을 보여주는 등차분할 정리들을 수립하여 최적의 다기준 균형을 달성한다.

ABSTRACT

Matchings and coverings are central topics in graph theory. The close relationship between these two has been key to many fundamental algorithmic and polyhedral results. For mixed graphs, the notion of matching forest was proposed as a common generalization of matchings and branchings. In this paper, we propose the notion of mixed edge cover as a covering counterpart of matching forest, and extend the matching--covering framework to mixed graphs. While algorithmic and polyhedral results extend fairly easily, partition problems are considerably more difficult in the mixed case. We address the problems of partitioning a mixed graph into matching forests or mixed edge covers, so that all parts are equal with respect to some criterion, such as edge/arc numbers or total sizes. Moreover, we provide the best possible multicriteria equalization.

연구 동기 및 목표

• 혼합 그래프로의 고전적 매칭–커버 이중성을 매칭 숲의 덮개 대응체를 도입함으로써 확장한다.
• 혼합 그래프에서 엣지와 아크가 모두 포함된 부분집합에 대해 균형 잡힌 분할 문제를 다룬다.
• 매칭 숲 또는 혼합 엣지 커버로의 분할에서 크기 불균형을 최소화하는 최고의 다기준 균형을 달성한다.
• 기존 매칭과 브랜칭에 대한 균형 잡힌 분할 결과를 더 복잡한 혼합 그래프 설정으로 일반화한다.

제안 방법

• 혼합 엣지 커버를 F ⊆ E ∪ A 의 부분집합으로 정의하여, F ∩ E 에 속한 어떤 e ∈ F ∩ E 의 끝점에서 F ∩ A 내의 방향 경로로 모든 정점이 도달 가능하도록 한다.
• 포함 관계 하에서 최소 혼합 엣지 커버와 최소 혼합 커버 숲이 동치임을 증명하여 최적화에서 상호 교환 가능함을 보장한다.
• 최소 무게 혼합 엣지 커버 문제를 보조 그래프에서의 완전 매칭 숲 최적화 문제로 환원하여 다항식 시간 계산이 가능함을 보장한다.
• 2단계 알고리즘 프레임워크를 사용하여 k개의 서로소 부분구조(매칭 숲 또는 혼합 엣지 커버)의 크기를 반복적으로 부분들 간에 균형 잡는다.
• 다각형 기법과 총 이중 정수성(total dual integrality)을 활용하여 혼합 엣지 커버 다면체의 볼륨 기술을 유도한다.
• 격자 기반 재분할 기법을 적용하여 크기 차이를 제한: 혼합 엣지 커버에 대해 ||Fi| − |Fj|| ≤ 2 및 ||Ni| − |Nj|| ≤ 1, 매칭 숲에 대해서는 대칭적 상한을 확보한다.

실험 결과

연구 질문

• RQ1 비방향 그래프에서의 매칭–커버 이중성은 자연스러운 커버링 구조를 통해 혼합 그래프로 확장될 수 있는가?
• RQ2 혼합 그래프를 k개의 매칭 숲 또는 혼합 엣지 커버로 분할할 때, 엣지, 아크, 총 크기 기준으로 가장 우수한 균형 잡힌 분할은 무엇인가?
• RQ3 혼합 구조가 엣지 및 아크 제약 조건을 결합함으로써 독립적인 균형 조정이 불가능할 경우, 어떻게 균형 잡힌 분할을 달성할 수 있는가?
• RQ4 매칭 숲과 혼합 엣지 커버 양쪽 모두에서 최적의 크기 균형(차이 ≤1 또는 ≤2)을 보장할 수 있는가?
• RQ5 혼합 그래프에서 균형 잡힌 분할이 존재하고 효율적으로 계산될 수 있도록 보장하는 구조적 및 알고리즘적 성질은 무엇인가?

주요 결과

• 혼합 엣지 커버는 매칭 숲의 덮개 대응체로 도입되며, 비방향 그래프의 엣지 커버와 방향 그래프의 바이브랜칭을 일반화한다.
• 최소 무게 혼합 엣지 커버 문제는 보조 그래프에서의 완전 매칭 숲 문제로 환원되어 다항식 시간 내에 해결 가능하다.
• 혼합 엣지 커버 다면체는 총 이중 정수성을 가지며, Schrijver의 매칭 숲 결과를 혼합 설정으로 확장한다.
• 모든 정점이 k개의 매칭 숲으로 분할 가능한 혼합 그래프에 대해, 임의의 i, j에 대해 |Fi| − |Fj| ∈ {−1, 0, 1} 이 되도록 재분할이 가능하다.
• 혼합 엣지 커버의 경우, ||Fi| − |Fj|| ≤ 2 및 ||Ni| − |Nj|| ≤ 1 이 보장되며, 여기서 |Fi| 및 |Ni| 는 각각 총 크기와 엣지 크기를 나타낸다.
• 구조적 동치를 통해 혼합 커버 숲과 바이브랜칭으로의 결과 확장이 가능하며, 경계 조정을 약간만 수정하면 유사한 크기 균형 경계를 얻을 수 있다.