[논문 리뷰] Minimum Cost Homomorphisms to Locally Semicomplete and Quasi-Transitive Digraphs

Arvind Gupta, Gregory Gutin외 3명|ArXiv.org|2007. 12. 05.

Advanced Graph Theory Research참고 문헌 25인용 수 3

한 줄 요약

이 논문은 국소적으로 반완전적이고 준순차적 방향 그래프에서 최소 비용 동형사상 문제(MinHOM)에 대한 완전한 이분법을 수립한다. 이러한 클래스의 구조적 그래프 이론을 활용하여, MinHOM(H)는 국소적으로 반완전적일 경우 H의 각 연결 성분이 비순환적이거나 방향 순환 그래프 Cₖ (k ≥ 2)이면 다항식 시간 내에 해결 가능하며, 준순차적일 경우 특정 구조적 조건을 만족할 경우에만 다항식 시간 내에 해결 가능하다. 이 조건들은 C₃의 확장이거나, 적절한 간격 이중 그래프를 기반으로 하며, Oᵢ (i=1,2,3,4)를 포함하지 않는 비순환 그래프를 포함한다. 그 외의 경우 문제는 NP-난이도가 된다.

ABSTRACT

For digraphs $G$ and $H$, a homomorphism of $G$ to $H$ is a mapping $f:\ V(G)\dom V(H)$ such that $uv\in A(G)$ implies $f(u)f(v)\in A(H)$. If, moreover, each vertex $u \in V(G)$ is associated with costs $c_i(u), i \in V(H)$, then the cost of a homomorphism $f$ is $\sum_{u\in V(G)}c_{f(u)}(u)$. For each fixed digraph $H$, the minimum cost homomorphism problem for $H$, denoted MinHOM($H$), can be formulated as follows: Given an input digraph $G$, together with costs $c_i(u)$, $u\in V(G)$, $i\in V(H)$, decide whether there exists a homomorphism of $G$ to $H$ and, if one exists, to find one of minimum cost. Minimum cost homomorphism problems encompass (or are related to) many well studied optimization problems such as the minimum cost chromatic partition and repair analysis problems. We focus on the minimum cost homomorphism problem for locally semicomplete digraphs and quasi-transitive digraphs which are two well-known generalizations of tournaments. Using graph-theoretic characterization results for the two digraph classes, we obtain a full dichotomy classification of the complexity of minimum cost homomorphism problems for both classes.

연구 동기 및 목표

• 국소적으로 반완전적이고 준순차적 방향 그래프에 대한 최소 비용 동형사상 문제(MinHOM)의 계산 복잡도를 분류하는 것.
• 기존의 반완전적 및 반완전 다중방향 그래프에서의 이분법 결과를 토너먼트를 일반화하는 더 넓은 방향 그래프 클래스로 확장하는 것.
• MinHOM(H)가 다항식 시간 내에 해결 가능하거나 NP-난이도가 되는지를 결정하는 H의 정확한 구조적 조건을 규명하는 것.
• 국소적으로 반완전적이고 준순차적 방향 그래프의 그래프 이론적 특성화를 활용하여 복잡도 이분법을 도출하는 것.

제안 방법

• 국소적으로 반완전적이고 준순차적 방향 그래프를 특성화하기 위해 구조적 그래프 이론을 적용하며, 특히 순환, 연결성 및 인접성 패턴에 중점을 둔다.
• 금지된 부분그래프 특성화, 특히 Oᵢ (i=1,2,3,4) 금지 부분그래프를 사용하여 타당성에 필요한 및 충분한 조건을 정의한다.
• 유도된 부분방향 그래프 동형사상(예: H₁, H₂)을 통한 감소를 통해 NP-난이도를 증명한다.
• 준순차성과 국소 반완전성을 활용하여 정점 간 인접성을 제약하고, 비자명한 경우에 모순을 도출한다.
• 성분의 구조를 분석하여 이분법을 증명한다: 비순환, 방향 순환, 또는 특정 기반 이중 그래프를 가진 C₃의 확장.
• 보조정리와 케이스 분석을 통해, 타당한 클래스에서의 탈진이 NP-난이도로 이어지는 것을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 국소적으로 반완전적 방향 그래프 H에 대해 최소 비용 동형사상 문제가 다항식 시간 내에 해결 가능한가?
• RQ2 준순차적 방향 그래프 H의 어떤 구조적 성질이 MinHOM(H)의 타당성에 영향을 미치는가?
• RQ3 이 방향 그래프 클래스에서 MinHOM(H)의 NP-난이도 인스턴스를 특성화하는 금지된 부분그래프가 존재하는가?
• RQ4 구조적 그래프 이론을 사용하여 국소적으로 반완전적이고 준순차적 방향 그래프에 대해 MinHOM(H)의 복잡도를 완전히 분류할 수 있는가?

주요 결과

• 국소적으로 반완전적 방향 그래프 H에 대해 MinHOM(H)는 각 연결 성분이 비순환적이거나 Cₖ (k ≥ 2)인 방향 순환 그래프이면 다항식 시간 내에 해결 가능하다.
• 준순차적 방향 그래프의 경우, 각 연결 성분 H′이 C₂, C₃의 확장, 또는 비순환일 때, B(H′)가 적절한 간격 이중 그래프이고 H′이 Oᵢ (i=1,2,3,4)를 포함하지 않으면 MinHOM(H)는 다항식 시간 내에 해결 가능하다.
• 이 두 클래스에서 이러한 구조적 조건에서의 탈진은 H₁ 및 H₂와 같은 알려진 어려운 부분방향 그래프로의 감소를 통해 NP-난이도로 이어진다.
• 준순차적 경우에서 Oᵢ 금지 부분그래프(Oᵢ, i=1,2,3,4)는 결정적인 금지 부분그래프이며, 그 존재는 NP-난이도를 암시한다.
• 증명는 준순차성과 국소 반완전성이 정점 간 인접성을 너무 엄격하게 제약함으로써, 유일하게 타당한 해를 허용하는 특정 구성만이 존재한다는 사실에 기반한다.