[논문 리뷰] An Algorithmic Framework for Locally Constrained Homomorphisms

Laurent Bulteau, Konrad K. Dabrowski|arXiv (Cornell University)|2022. 01. 01.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 국소적으로 제약된 호모모르피즘—국소적으로 전단사(LBHom), 국소적으로 단사(LIHom), 국소적으로 전성(LSHom) 호모모르피즘—의 매개변수화된 복잡도를 다루기 위해 새로운 정수선형계획법(ILP) 기반의 알고리즘 프레임워크를 제안한다. 이 프레임워크는 삭제 집합을 통해 작은 컴포넌트로 분해하고, 차수 제약 조건을 활용하여 고정매개변수다능(FPT) 결과를 달성하며, 새로운 FPT, W[1]-하드, para-NP-완전 결과를 확립한다. 또한 이 프레임워크를 활용하여 사회망 이론에서 중요한 문제인 역할 할당 문제의 FPT 결과를 증명한다. 이 문제는 LSHom과 밀접하게 연관되어 있다.

ABSTRACT

A homomorphism $f$ from a guest graph $G$ to a host graph $H$ is locally bijective, injective or surjective if for every $u\in V(G)$, the restriction of $f$ to the neighbourhood of $u$ is bijective, injective or surjective, respectively. The corresponding decision problems, LBHOM, LIHOM and LSHOM, are well studied both on general graphs and on special graph classes. Apart from complexity results when the problems are parameterized by the treewidth and maximum degree of the guest graph, the three problems still lack a thorough study of their parameterized complexity. This paper fills this gap: we prove a number of new FPT, W[1]-hard and para-NP-complete results by considering a hierarchy of parameters of the guest graph $G$. For our FPT results, we do this through the development of a new algorithmic framework that involves a general ILP model. To illustrate the applicability of the new framework, we also use it to prove FPT results for the Role Assignment problem, which originates from social network theory and is closely related to locally surjective homomorphisms.

연구 동기 및 목표

• 게스트 그래프의 트리폭과 최대 차수로 매개변수화할 때 국소적으로 제약된 호모모르피즘(LBHom, LIHom, LSHom)의 매개변수화된 복잡도 분석에 대한 격차를 메우기 위해.
• 작은 구조적 매개변수를 가진 다양한 그래프 호모모르피즘 변종을 다룰 수 있는 일반적인 알고리즘 프레임워크를 개발하기 위해.
• 세 가지 국소적으로 제약된 호모모르피즘 문제에 대해 새로운 고정매개변수다능(FPT), W[1]-하드, para-NP-완전 결과를 증명하기 위해.
• 호모모르피즘을 초월한 프레임워크의 적용 가능성을 입증하기 위해, 국소적으로 전성 호모모르피즘과 밀접하게 관련된 역할 할당 문제에 대해 FPT 결과를 증명하기 위해.

제안 방법

• 프레임워크의 핵심은 국소적으로 제약된 호모모르피즘의 제약 조건을 인코딩하는 일반적인 정수선형계획법(ILP) 모델이다.
• 프레임워크는 삭제 집합을 통해 작은 컴포넌트로 분해함으로써 게스트 그래프를 다룰 수 있는 부분들로 나누는 데 핵심적인 매개변수로 사용한다.
• 트리 깊이와 피드백 정점 집합 수와 같은 구조적 성질을 활용하여 ILP 인스턴스의 크기를 제한한다.
• 균형 잡힌 분할과 차수 정밀화 행렬을 조합하여 문제 인스턴스를 분석하고 축소한다.
• 그래프 매개변수와 호모모르피즘 제약 조건 간의 상호작용을 활용하여 LBHom, LSHom, LIHom에 대해 FPT 결과를 증명하기 위해 프레임워크를 적용한다.
• 역할 할당 문제에 대해 국소적으로 전성 호모모르피즘의 변종으로 모델링하여 프레임워크를 확장한다.

실험 결과

연구 질문

• RQ1 다양한 그래프 매개변수에 걸쳐 국소적으로 제약된 호모모르피즘의 매개변수화된 복잡도를 다룰 수 있는 통합 알고리즘 프레임워크를 개발할 수 있는가?
• RQ2 게스트 그래프의 트리폭과 최대 차수로 매개변수화할 때 LBHom, LIHom, LSHom의 매개변수화된 복잡도는 어떠한가?
• RQ3 제안된 ILP 기반 프레임워크를 준-커버 및 페도-커버와 같은 다른 호모모르피즘 변종으로 확장할 수 있는가?
• RQ4 트리폭과 최대 차수와 같은 구조적 그래프 매개변수로 매개변수화할 때 역할 할당 문제는 고정매개변수다능인가?
• RQ5 국소적으로 전성 호모모르피즘이 국소적으로 전단사 호모모르피즘을 유도하는 조건는 무엇이며, 이를 알고리즘적으로 어떻게 활용할 수 있는가?

주요 결과

• 논문은 게스트 그래프의 피드백 정점 집합 수가 3 이하이고 호스트 그래프의 차수가 1 이하일 때조차 LBHom과 LSHom가 NP-완전임을 증명한다.
• 작은 컴포넌트로의 삭제 집합을 매개변수로 사용하여 LBHom, LSHom, LIHom에 대해 FPT 결과를 확립함으로써 프레임워크의 광범위한 적용 가능성을 입증한다.
• G에서 H로의 국소적으로 전단사 호모모르피즘이 존재하는 것은 G와 H의 차수 정밀화 행렬이 동일할 조건 하에 국소적으로 전성 호모모르피즘이 존재하는 것과 동치임을 보여준다.
• 역할 할당 문제를 국소적으로 전성 호모모르피즘 문제의 변형으로 모델링하여 프레임워크가 성공적으로 FPT 결과를 증명한다.
• 세 가지 국소적으로 제약된 호모모르피즘 문제에 대한 종합적인 복잡도 그림을 제공하며, FPT, W[1]-하드, para-NP-완전 영역을 규명한다.
• 트리폭과 최대 차수의 합으로 매개변수화할 때 LBHom과 LSHom의 FPT 상태에 관한 열린 문제를 해결하며, 이 문제가 여전히 미해결임을 시사한다.