[논문 리뷰] On the Complexity of the Minimum Cost Homomorphism Problem for Reflexive Multipartite Tournaments

Gregory Gutin, Eun Jung Kim|ArXiv.org|2007. 08. 19.

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

한 줄 요약

이 논문은 순환 다중토너먼트에서 최소 비용 동형사상 문제(MinHOMP)에 대한 이분류 분류를 제공하며, 문제의 다항식 시간 해법 가능성이 성립하는 것은 다중토너먼트가 순환 비순환 토너먼트이거나, 순환 다중토너먼트 중 특정 4정점 비순환 다중토너먼트(루프 포함)일 때뿐임을 증명한다. 저자들은 이분 표현과 구조적 분석을 통해 나머지 모든 경우에 대해 NP-난이도임을 보이며, 순환 다중토너먼트에서 MinHOMP의 복잡도에 관한 핵심 열린 문제를 해결한다.

ABSTRACT

For digraphs $D$ and $H$, a mapping $f: V(D)\dom V(H)$ is a homomorphism of $D$ to $H$ if $uv\in A(D)$ implies $f(u)f(v)\in A(H).$ For a fixed digraph $H$, the homomorphism problem is to decide whether an input digraph $D$ admits a homomorphism to $H$ or not, and is denoted as HOMP($H$). Digraphs are allowed to have loops, but not allowed to have parallel arcs. A natural optimization version of the homomorphism problem is defined as follows. If each vertex $u \in V(D)$ is associated with costs $c_i(u), i \in V(H)$, then the cost of the homomorphism $f$ is $\sum_{u\in V(D)}c_{f(u)}(u)$. For each fixed digraph $H$, we have the {\em minimum cost homomorphism problem for} $H$ and denote it as MinHOMP($H$). The problem is to decide, for an input graph $D$ with costs $c_i(u),$ $u \in V(D), i\in V(H)$, whether there exists a homomorphism of $D$ to $H$ and, if one exists, to find one of minimum cost. In a recent paper, we posed a problem of characterizing polynomial time solvable and NP-hard cases of the minimum cost homomorphism problem for acyclic multipartite tournaments with possible loops (w.p.l.). In this paper, we solve the problem for reflexive multipartite tournaments and demonstrate a considerate difficulty of the problem for the whole class of multipartite tournaments w.p.l. using, as an example, acyclic 3-partite tournaments of order 4 w.p.l.\footnote{This paper was submitted to Discrete Mathematics on April 6, 2007}

연구 동기 및 목표

• 순환 다중토너먼트에서 최소 비용 동형사상 문제(MinHOMP)의 다항식 시간 해법 가능 및 NP-난이도 사례를 규명하기 위해.
• 이전 연구에서 제기된 순환 다중토너먼트에서 MinHOMP의 복잡도에 관한 열린 문제를 해결하기 위해.
• 구조적 분석과 이분 표현 기법을 활용하여 이분류 분류를 수립하기 위해.
• 특히 순환 3부 다중토너먼트의 순환 다중토너먼트에서의 복잡도를 분석하여, 다중토너먼트 전체 클래스에서 MinHOMP의 본질적 복잡도를 규명하기 위해.

제안 방법

• 이론적으로 알려진 무방향 그래프 결과를 활용하여, 방향 그래프의 이분 표현을 통한 MinHOMP 복잡도 분석.
• 정확한 간격 이중 그래프에 관한 정리 3.6를 적용하여, 유도된 부분그래프(예: 이중 네트, 텐트, 길이 6의 사이클 등)를 통해 NP-난이도를 탐지.
• 파트라이트 세트의 크기와 서로 다른 파트라이트 세트 간의 지배 관계에 기반한 구조적 케이스 분석.
• 유도된 부분다중토너먼트를 통한 감소 기법: 부분다중토너먼트의 이분 표현이 정확한 간격 이중 그래프가 아니면, MinHOMP(H)는 NP-난이도임을 증명.
• 이전의 순환 토너먼트 및 특정 4정점 다중토너먼트에 관한 이분류 결과를 활용하여 다항식 시간 해법 가능 사례를 분류.
• 레마 3.1, 3.4, 4.4, 4.5, 4.6, 4.7 및 3.7을 활용하여, 구조적 조건에 기반해 체계적으로 NP-난이도 또는 다항식 시간 해법 가능성을 증명.

실험 결과

연구 질문

• RQ1 어떤 순환 다중토너먼트에서 최소 비용 동형사상 문제(MinHOMP)가 다항식 시간 내에 해법 가능할 수 있는가?
• RQ2 어떤 순환 다중토너먼트의 구조적 성질이 MinHOMP에서 NP-난이도를 초래하는가?
• RQ3 이분 표현 기법을 사용하여 순환 다중토너먼트에 대한 MinHOMP의 복잡도를 완전히 분류할 수 있는가?
• RQ4 왜 일반적인 순환 다중토너먼트의 경우(루프 포함)는 순환 사례보다 훨씬 더 복잡한가?
• RQ5 4정점 순환 다중토너먼트에서 루프가 포함된 경우, 어떤 정확한 조건을 만족할 때 MinHOMP가 다항식 시간 내에 해법 가능해지는가?

주요 결과

• H가 순환 비순환 토너먼트일 경우, MinHOMP(H)는 다항식 시간 내에 해법 가능하다.
• H에 유도된 사이클 또는 이중 네트/텐트가 포함되어 있으면, 비정확한 간격 이중 그래프 표현에 의해 확인되며, MinHOMP(H)는 NP-난이도이다.
• H의 파트라이트 세트가 두 개 이상 존재하고 각각의 크기가 1을 초과하면, MinHOMP(H)는 NP-난이도이다.
• 어느 파트라이트 세트에도 3개 이상의 정점이 포함되어 있으면, 레마 4.4 및 4.5에 의해 MinHOMP(H)는 NP-난이도이다.
• 4정점 순환 다중토너먼트 H에서 A(H) = {12,23,34,14,24} ∪ B 이고 B ⊆ {11,22,33}일 경우, {33} ⊆ B ⊆ {11,22,33}이면 MinHOMP(H)는 다항식 시간 내에 해법 가능하며, 그렇지 않으면 NP-난이도이다.
• 정점 집합 {1,2,3,4}, 간선 집합 {12,23,24} ∪ B (B ⊆ {11,22,33,44})를 갖는 H'의 경우, B = {33,44}일 때는 아직 해결되지 않은 상태이며, 이는 현재 분류 기준을 초월한 복잡성을 시사한다.