[논문 리뷰] Revisiting path-type covering and partitioning problems

Paul Manuel|arXiv (Cornell University)|2018. 01. 01.

Advanced Graph Theory Research참고 문헌 24인용 수 4

한 줄 요약

이 종합 논문은 그래프 이론에서 여섯 가지 경로 유형의 커버링 및 파art리션 문제—경로, 유도 경로, 등거리 경로 커버링 및 파art리션—을 통일하고 분류한다. 표준 용어, 기호, 개념적 차이를 정립함으로써 기존의 통일되지 않은 용어와 기호 문제를 해결하고, 특히 등거리 경로 파art리션 분야에서의 연구 격차를 밝혀내며, 연구자들이 문헌을 효과적으로 탐색하고 용어 혼동을 피할 수 있도록 체계적인 참고 자료를 제공한다.

ABSTRACT

Covering problems belong to the foundation of graph theory. There are several types of covering problems in graph theory such as covering the vertex set by stars (domination problem), covering the vertex set by cliques (clique covering problem), covering the vertex set by independent sets (coloring problem), and covering the vertex set by paths or cycles. A similar concept which is partitioning problem is also equally important. Lately research in graph theory has produced unprecedented growth because of its various application in engineering and science. The covering and partitioning problem by paths itself have produced a sizable volume of literatures. The research on these problems is expanding in multiple directions and the volume of research papers is exploding. It is the time to simplify and unify the literature on different types of the covering and partitioning problems. The problems considered in this article are path cover problem, induced path cover problem, isometric path cover problem, path partition problem, induced path partition problem and isometric path partition problem. The objective of this article is to summarize the recent developments on these problems, classify their literatures and correlate the inter-relationship among the related concepts.

연구 동기 및 목표

• 그래프 이론 문헌 전반에서 경로 유형의 커버링 및 파art리션 문제에 널리 퍼져 있는 용어와 기호의 일관성 문제를 해결하기 위해.
• 여섯 가지 핵심 문제—경로, 유도 경로, 등거리 경로 커버링 및 파art리션 문제—을 분류하고 체계화하기 위해.
• 특히 등거리 경로 파art리션 분야에서의 열린 연구 문제와 미개척 영역을 부각하기 위해.
• 이 분야에서 초보 연구자들이 집중적이고 명확하게 정의된 연구 주제를 선택할 수 있도록 기초 참고 자료를 제공하기 위해.
• 통합된 프레임워크 내에서 영향력 있는 개념들—예: 제로-포싱 수 z(G), 최소 랭크 M(G), 노르다우스-가덤 유형 부등식—을 연계하기 위해.

제안 방법

• 커버링(정점 집합이 적어도 한 번 이상 커버됨)과 파art리션(정점 집합이 정확히 한 번씩 분할됨) 여부에 따라 여섯 가지 경로 유형 문제를 체계적으로 분류하기 위해.
• 경로 유형 간의 차이를 명확히 하기 위해: 표준 경로, 유도 경로(현이 없는 경로), 등거리 경로(가장 짧은 경로, 기하학적 경로로도 불림).
• 기호 표준화: 커버링 문제에 대해 πc(G), ρc(G), ipc(G); 파art리션 문제에 대해 πp(G), ρp(G), ipp(G) 사용.
• 1988–2018년 사이 30년간의 문헌을 종합적으로 검토하며, 구조적 결과, 복잡도, 알고리즘적 접근에 중점을 두기 위해.
• 관련 개념 통합: 제로-포싱 수 z(G), 최소 랭크 M(G), 노르다우스-가덤 유형 관계.
• 핵심 정리 및 추측(예: 갈라이-밀그램 정리, 버지의 경로 파art리션 추측)을 개념적 기초로 삼아 논문의 체계를 구성하기 위해.

실험 결과

연구 질문

• RQ1 왜 그래프 이론에서 경로 유형의 커버링 및 파art리션 문제에 대해 용어와 기호의 일관성이 결여되어 있는가?
• RQ2 경로 커버, 유도 경로 커버, 등거리 경로 커버 문제 사이의 정확한 개념적 및 구조적 차이는 무엇인가?
• RQ3 등거리 경로 파art리션 문제의 계산 복잡도는 현재까지 어떻게 되어 있으며, 왜 일반 그래프에 대해 거의 연구되지 않았는가?
• RQ4 유도 경로 파art리션 수 ρp(G)와 제로-포싱 수 z(G), 최소 랭크 M(G) 등의 관련 불변량 사이의 관계는 무엇인가?
• RQ5 경로 유형의 파art리션 문제, 특히 등거리 및 유도 경로에 대해 핵심적인 열린 문제와 연구 격차는 무엇인가?

주요 결과

• 일반 그래프에 대해 등거리 경로 파art리션 문제의 계산 복잡도는 아직 알려져 있지 않다.
• 유도 경로 파art리션 문제는 두 개의 유도 경로로 나누는 경우조차 NP-완전이다.
• 이를 위해, 나무 그래프에서는 유도 경로 파art리션 수 ρp(G)가 제로-포싱 수 z(G)와 같고, M(G) = ρp(G)임이 입증된다.
• 유니사이클 그래프의 경우, M(G) = ρp(G) 또는 M(G) = ρp(G) −1 이며, 외평면 그래프의 경우 M(G) ≤ ρp(G)임이 알려져 있다.
• 완전 이분 그래프 Pm×Pn의 경우, 유도 경로 파art리션 수는 정확히 2이다: ρp(Pm×Pn) = 2.
• ρp(G)에 대한 노르다우스-가덤 유형 부등식이 확립되었다: 임의의 n개 정점으로 구성된 그래프 G에 대해, √n ≤ ρp(G) + ρp(G) ≤ ⌈3n/2⌉ 이다.