[논문 리뷰] Complexity of the Minimum Cost Homomorphism Problem for Semicomplete Digraphs with Possible Loops

E. J. Kim, Gregory Gutin|ArXiv.org|2007. 08. 19.

Advanced Graph Theory Research참고 문헌 15인용 수 6

한 줄 요약

이 논문은 가능한 순환을 가진 반완전 방향 그래프에서 최소 비용 동형사상 문제(MinHOM)에 대한 완전한 이분류 분류를 제시하며, 순환 없는 반완전 방향 그래프에서의 이전 연구를 확장하여 열린 문제를 해결한다. 저자는 MinHOM(H)가 다항 시간 내에 해결 가능할 조건을 특정 구조적 조건—특히 $̅{C}^*_3$ 및 $R$과 같은 특정 유도 부분방향그래프의 부재—을 만족할 때에만 성립함을 규명하고, 그렇지 않은 경우 문제는 NP-난이도임을 증명하며, 구조적 그래프 이론과 금지된 부분그래프 기반의 축소를 사용한다.

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 HOM($H$). An optimization version of the homomorphism problem was motivated by a real-world problem in defence logistics and was introduced in \cite{gutinDAM154a}. 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 MinHOM($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. Although a complete dichotomy classification of the complexity of MinHOM($H$) for a digraph $H$ remains an unsolved problem, complete dichotomy classifications for MinHOM($H$) were proved when $H$ is a semicomplete digraph \cite{gutinDAM154b}, and a semicomplete multipartite digraph \cite{gutinDAM}. In these studies, it is assumed that the digraph $H$ is loopless. In this paper, we present a full dichotomy classification for semicomplete digraphs with possible loops, which solves a problem in \cite{gutinRMS}.\footnote{This paper was submitted to SIAM J. Discrete Math. on October 27, 2006}

연구 동기 및 목표

• 순환을 가질 수 있는 반완전 방향 그래프에서 최소 비용 동형사상 문제(MinHOM)에 대한 완전한 이분류 분류를 제공함으로써 계산 복잡도 이론에서 열려 있던 문제를 해결하는 것.
• 순환 없는 반완전 방향 그래프에서의 이전 이분류 결과를 순환을 허용하는 더 일반적인 경우로 확장하여, 이는 구조적 복잡도를 크게 증가시킨다.
• 순환을 가질 수 있는 반완전 방향 그래프에 대해 MinHOM(H)의 다항 시간 내 해결 가능한 경우를 금지된 부분방향그래프 조건을 통해 특성화하는 것.
• 로지스틱 및 스케줄링과 같은 실용적 응용 분야에서 가중치 동형사상 문제의 최적화를 위한 이론적 기반을 마련하는 것.

제안 방법

• 저자는 순환을 가진 반완전 방향 그래프에서 MinHOM(H)의 해결 가능성에 영향을 주는 금지된 유도 부분방향그래프를 분석하기 위해 구조적 그래프 이론을 사용한다.
• 핵심 방향그래프인 $\vec{C}^*_3$(가능한 순환을 가진 방향 3순환), $R$, $W$, $R'$, 및 순환을 가진 $\vec{C}_3$를 도입하고 분석하여 다항 시간 내 해결 가능한 경우와 NP-난이도인 경우의 경계를 정의한다.
• 핵심 기법은, 반완전 방향 그래프 H가 특정 부분그래프(예: $\vec{C}^*_3$ 및 $R$)를 포함하지 않으며, 대칭 부분이 적절한 간격 그래프일 경우 MinHOM(H)가 다항 시간 내에 해결 가능하다는 것을 증명하는 것이다.
• 증명은 H의 대칭 부분에서 최단 경로에 대한 귀납법과 최소성 논증을 사용하여 금지된 구성 요소의 존재를 배제한다.
• 저자는 특히 클로우, 넷, 텐트, 길이 ≥4인 사이클을 포함한 금지된 부분그래프를 통한 특성화를 활용하여 적절한 간격 그래프에 대한 기존 결과를 활용하여 H의 구조를 제약한다.
• 그들은 문제를 H의 대칭 부분과 그 연결성 및 간격 성질로 축소하여, MinHOM 복잡도를 무방향 그래프 성질과 연결한다.

실험 결과

연구 질문

• RQ1 순환을 가질 수 있는 반완전 방향 그래프 H에 대해 최소 비용 동형사상 문제(MinHOM(H))가 다항 시간 내에 해결 가능한가?
• RQ2 순환의 존재와 H의 대칭 부분의 구조는 MinHOM(H)의 복잡도에 어떤 영향을 미치는가?
• RQ3 순환을 가진 반완전 방향 그래프에서 MinHOM(H)의 NP-난이도를 특성화하는 최소 금지 부분방향그래프는 무엇인가?
• RQ4 순환 없는 반완전 방향 그래프에 대한 이분류 결과를 순환을 허용하는 경우로 확장할 수 있는가? 만약 가능하면 어떤 새로운 구조적 제약 조건이 발생하는가?
• RQ5 반사적 반완전 방향 그래프 케이스에서 MinHOM(H)의 다항 시간 해결 가능성과 동치인 구조적 특성—예를 들어 Min-Max 순서 또는 금지된 부분그래프 조건—은 무엇인가?

주요 결과

• 순환을 가질 수 있는 반완전 방향 그래프 H에 대해 MinHOM(H)는 다항 시간 내에 해결 가능할 조건은 H가 $̅{C}^*_3$ 또는 $R$을 유도 부분방향그래프로 포함하지 않으며, 그 대칭 부분 $U(H^{sym})$가 적절한 간격 그래프일 때에만 성립한다.
• $\vec{C}^*_3$(가능한 순환을 가진 방향 3순환) 및 $R$(특정 3정점 방향그래프)의 부재는 순환을 가진 반완전 방향 그래프 케이스에서 해결 가능성에 대해 필수적이고 충분한 조건이다.
• H가 반사적 반완전 방향 그래프이고 $U(H^{sym})$가 연결된 적절한 간격 그래프일 경우, MinHOM(H)는 다항 시간 내에 해결 가능하다.
• H가 $W$, $R'$, 또는 최소한 하나의 순환이 있는 $\vec{C}_3$를 유도 부분방향그래프로 포함하면 문제는 NP-난이도가 된다.
• 순환을 가진 반완전 방향 그래프의 복잡도 분류는 순환 없는 경우보다 상당히 더 복잡하며, 이는 순환과 순환 구조 간의 상호작용 때문이다.
• 결과적으로, 순환을 가질 수 있는 반완전 방향 그래프에 대한 MinHOM(H) 문제는 완전히 분류되었으며, [8]에서 제기된 열린 문제를 해결함을 확인한다.