[논문 리뷰] Minimum Cost Homomorphisms to Proper Interval Graphs and Bigraphs

Gregory Gutin, Pavol Hell외 2명|ArXiv.org|2006. 02. 10.

Advanced Graph Theory Research참고 문헌 22인용 수 8

한 줄 요약

이 논문은 순환을 허용하는 그래프에서 최소 비용 동형사상 문제(MinHOM)에 대해 이분법을 설정하며, H의 각 연결 성분이 반사적 적절한 간격 그래프이거나 비반사적 적절한 간격 이분그래프인 경우 MinHOM(H)는 다항시간 내에 해결 가능함을 증명한다; 그렇지 않은 경우 문제는 NP-난이도이다. 이 결과는 열린 문제를 해결하며, 비반사적 케이스로의 감소를 통해 적절한 간격 이분그래프의 새로운 특성화를 제공한다.

ABSTRACT

For graphs $G$ and $H$, a mapping $f: V(G)\dom V(H)$ is a homomorphism of $G$ to $H$ if $uv\in E(G)$ implies $f(u)f(v)\in E(H).$ If, moreover, each vertex $u \in V(G)$ is associated with costs $c_i(u), i \in V(H)$, then the cost of the homomorphism $f$ is $\sum_{u\in V(G)}c_{f(u)}(u)$. For each fixed graph $H$, we have the {\em minimum cost homomorphism problem}, written as MinHOM($H)$. The problem is to decide, for an input graph $G$ with costs $c_i(u),$ $u \in V(G), i\in V(H)$, 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. We describe a dichotomy of the minimum cost homomorphism problems for graphs $H$, with loops allowed. When each connected component of $H$ is either a reflexive proper interval graph or an irreflexive proper interval bigraph, the problem MinHOM($H)$ is polynomial time solvable. In all other cases the problem MinHOM($H)$ is NP-hard. This solves an open problem from an earlier paper. Along the way, we prove a new characterization of the class of proper interval bigraphs.

연구 동기 및 목표

• 모든 순환을 허용하는 고정된 그래프 H에 대해 최소 비용 동형사상 문제(MinHOM(H))의 계산 복잡도를 분류하는 것.
• 정점 비용이 있는 그래프 동형사상의 맥락에서 MinHOM(H)의 이분법에 관한 열린 문제를 해결하는 것.
• 구조적 감소를 통해 적절한 간격 이분그래프의 새로운 특성화를 제공하는 것.
• 반사적 사례를 비반사적 사례로 감소시켜, 비반사적 그래프에서의 복잡도 분류를 일반 그래프(반사적 및 혼합 사례 포함)로 확장하는 것.
• 완전한 이분법을 수립하는 것: MinHOM(H)는 H의 구조에 따라 항상 P에 속하거나 NP-완전이다.

제안 방법

• 저자들은 MinHOM(H)를 입력 그래프 G에서 고정된 그래프 H로의 동형사상 f를 찾는 문제로 정의하며, 각 맵핑 f(u) ∈ V(H)에 관련된 정점 비용의 합을 최소화한다.
• 반사적 그래프 H를 비방향 비반사적 이분그래프 H*로 변환하는 감소 기법을 사용하며, H가 적절한 간격 그래프이면 H*는 적절한 간격 이분그래프임을 보장한다.
• 증명은 특히 금지된 유도 부분그래프(예: 클로버, 넷, 텐트, 길이 ≥4인 사이클)를 통한 적절한 간격 이분그래프의 특성화를 포함하는 구조적 그래프 이론에 기반한다.
• NP-난이도를 입증하기 위해 독립집합 문제로 감소시키며, H가 적절한 간격 이분그래프가 아니면 MinHOM(H)가 NP-완전임을 보인다.
• 리스트 동형사상과 제약 만족 문제에 대한 기존 결과를 적용하여 이분법를 지지하며, 특히 디그래프의 리스트 동형사상에 대한 Bulatov의 결과를 활용한다.
• 분류는 H의 각 연결 성분이 반사적 적절한 간격 그래프이거나 비반사적 적절한 간격 이분그래프일 때만 MinHOM(H)가 다항시간 내에 해결 가능하다는 것을 증명함으로써 완성된다.

실험 결과

연구 질문

• RQ1 순환을 허용할 때, 어떤 그래프 H에 대해 최소 비용 동형사상 문제 MinHOM(H)가 다항시간 내에 해결 가능한가?
• RQ2 H의 어떤 구조적 성질이 MinHOM(H)의 다항시간 가능성 또는 난이도를 결정하는가?
• RQ3 비반사적 그래프에서의 MinHOM(H) 복잡도 분류를 반사적 및 혼합 그래프를 포함한 일반 그래프로 확장할 수 있는가?
• RQ4 모든 고정된 H에 대해 MinHOM(H)가 항상 P 또는 NP-완전인 완전한 이분법이 존재하는가?
• RQ5 비반사적 케이스로의 감소를 통해 적절한 간격 이분그래프의 새로운 특성화를 도출할 수 있는가?

주요 결과

• MinHOM(H)는 H의 각 연결 성분이 반사적 적절한 간격 그래프이거나 비반사적 적절한 간격 이분그래프일 때에만 다항시간 내에 해결 가능하다.
• 모든 다른 순환을 허용하는 그래프 H에 대해 문제는 NP-난이도이며, 이는 적절한 간격 그래프나 이분그래프가 아닌 경우를 포함한다.
• 클로버, 넷, 텐트 및 길이 4 이상의 사이클이 유도 부분그래프로 존재하지 않는 조건을 통해 적절한 간격 이분그래프의 새로운 특성화가 확립된다.
• 반사적 그래프 H에서 비방향 이분그래프 H*로의 감소는 MinHOM(H)의 복잡도를 유지하며, 이는 비반사적 케이스를 통해 반사적 사례의 분류를 가능하게 한다.
• 이분법 결과는 최소 비용 동형사상에 관한 문헌에서 열려 있던 문제를 해결한다.
• 분류는 날카로운 경계를 가진다: MinHOM(H)에 대해 다항시간 해결 가능성을 보장하는 다른 그래프 클래스는 존재하지 않는다.