[논문 리뷰] List H-Coloring a Graph by Removing Few Vertices

Rajesh Chitnis, László Egri외 1명|arXiv (Cornell University)|2013. 08. 05.

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

한 줄 요약

이 논문은 그래프에서 최대 k개의 정점을 제거함으로써 리스트 H-색칠 문제의 매개변수 복잡도를 도입하고 연구하며, (P₆, C₆)-자유 이분 그래프 H에 대해 고정된 매개변수 복잡도(FPT)임을 증명한다. 주요 기여는 Vertex Cover, 홀 사이클 제거, 정점 다중경로 컷을 일반화하는 통합 FPT 알고리즘을 제안하며, 새로운 축약 기법을 통해 Clause Deletion Chain-SAT라는 만족 가능성 문제로 변환한다.

ABSTRACT

In the deletion version of the list homomorphism problem, we are given graphs G and H, a list L(v) that is a subset of V(H) for each vertex v of G, and an integer k. The task is to decide whether there exists a subset W of V(G) of size at most k such that there is a homomorphism from G \ W to H respecting the lists. We show that DL-Hom(H), parameterized by k and |H|, is fixed-parameter tractable for any (P6, C6)-free bipartite graph H; already for this restricted class of graphs, the problem generalizes Vertex Cover, Odd Cycle Transversal, and Vertex Multiway Cut parameterized by the size of the cutset and the number of terminals. We conjecture that DL-Hom(H) is fixed-parameter tractable for the class of graphs H for which the list homomorphism problem (without deletions) is polynomial-time solvable; by a result of Feder, Hell and Huang (1999), a graph H belongs to this class precisely if it is a bipartite graph whose complement is a circular arc graph. We show that this conjecture is equivalent to the fixed-parameter tractability of a single fairly natural satisfiability problem, Clause Deletion Chain-SAT.

연구 동기 및 목표

• 입력 그래프 G에서 최대 k개의 정점을 제거할 수 있을 때 리스트 H-색칠 문제의 매개변수 복잡도를 연구하기 위해.
• 목표 그래프 H가 어떤 경우에 대해, k와 |H|로 매개변수화될 때 삭제형 문제인 DL-Hom(H)가 고정된 매개변수 복잡도(FPT)가 되는지 결정하기 위해.
• Vertex Cover, 홀 사이클 제거, 정점 다중경로 컷과 같은 기존의 FPT 문제들을 단일 프레임워크인 DL-Hom(H) 아래 통합하기 위해.
• H의 여집합이 원형 호 그래프인 모든 이분 그래프 H에 대해 DL-Hom(H)가 FPT가 되리라 추측하며, 자연적인 만족 가능성 문제로의 축약을 바탕으로 한다.

제안 방법

• DL-Hom(H) 문제를 변수들이 체인 구조로 배열되고 함의 문장이 일致성을 보장하는, Clause Deletion Chain-SAT(ℓ′-VDCS)라는 만족 가능성 문제의 변종으로 축약한다.
• G∖W에서 H로의 호모모르피즘을 구성하기 위해, H의 원형 호 표현에서 정점들을 호에 할당하며, VDCS 공식 내의 변수 할당을 통해 유효한 매핑을 인코딩한다.
• (P₆, C₆)-자유 이분 그래프의 구조를 활용하여, H의 여집합의 원형 호 표현이 정점 이미지의 일致성과 효율적 할당을 보장함을 확보한다.
• G에서의 정점 제거를 VDCS 공식 내의 변수 제거로 매핑하는 새로운 축약 기법을 활용하여, 유효한 호모모르피즘의 존재를 유지한다.
• 크기가 최대 k인 제거 집합 W가 존재할 때와, W에 해당하는 변수를 제거한 후 결과 VDCS 공식이 만족 가능할 때가 정확히 일치함을 증명한다.
• 원형 호 그래프의 구조적 결과와 호모모르피즘 성질을 활용하여 축약의 정확성과 완전성을 보장한다.

실험 결과

연구 질문

• RQ1 H의 여집합이 원형 호 그래프인 모든 이분 그래프 H에 대해, k와 |H|로 매개변수화될 때 DL-Hom(H)가 고정된 매개변수 복잡도(FPT)가 되는가?
• RQ2 DL-Hom(H) 문제는 삭제 기반 호모모르피즘 문제의 복잡도를 포괄하는 단일 자연 만족 가능성 문제로 축약될 수 있는가?
• RQ3 기존의 축약 기법으로 아직 해결되지 않은 경우인 H가 7개 정점을 가진 경로일 때, DL-Hom(H) 문제는 FPT가 되는가?
• RQ4 고정된 측면 리스트가 적용되지 않는 경우, 루프를 가진 타겟 그래프 H, 특히 이중호 그래프에 대해 DL-Hom(H) 문제의 FPT 성질이 유지되는가?
• RQ5 d개 간선을 가진 매칭 그래프 H에 대해, 삭제 집합 크기만 매개변수로 사용할 때 DL-Hom(H) 문제는 FPT 시간 내에 해결될 수 있는가?

주요 결과

• H가 (P₆, C₆)-자유 이분 그래프일 경우, k와 |H|로 매개변수화될 때 DL-Hom(H)는 고정된 매개변수 복잡도(FPT)이며, Vertex Cover, 홀 사이클 제거, 정점 다중경로 컷 문제를 통합한다.
• 문제는 Clause Deletion Chain-SAT(ℓ′-VDCS) 공식의 만족 가능성과 동치임을 입증하여, 그래프 호모모르피즘과 만족 가능성 간의 새로운 연결 고리를 확립한다.
• DL-Hom(H)에서 ℓ′-VDCS로의 축약은 이분사적이다: 크기가 k인 제거 집합 W가 존재할 때와, W에 해당하는 변수를 제거한 후 VDCS 공식이 만족 가능할 때가 정확히 일치한다.
• 증명 과정에서 G의 간선 제약 조건이 VDCS 공식 내의 함의 문장으로 표현되며, 원형 호 모델 내에서 일致한 호 교차를 보장함으로써 호모모르피즘 조건이 유지됨을 보였다.
• 특수 케이스로 H가 단일 정점일 경우 문제는 Vertex Cover로 축약되며, H가 단일 간선일 경우는 홀 사이클 제거로 축약되며, 이는 모두 특수 케이스로 복원된다.
• 저자들은 H의 여집합이 원형 호 그래프인 모든 이분 그래프 H에 대해 DL-Hom(H)가 FPT가 되리라 추측하며, 이는 ℓ′-VDCS의 FPT 성질과 동치임을 보였다.