[论文解读] An Algorithmic Framework for Locally Constrained Homomorphisms

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

Advanced Graph Theory Research被引用 1

一句话总结

本文提出了一种基于整数线性规划（ILP）的新算法框架，用于解决局部约束同态——局部双射（LBHom）、局部单射（LIHom）和局部满射（LSHom）同态——的参数化复杂度问题。该框架通过利用删除小连通分量的集合以及度数约束，实现了固定参数可满足性（FPT）结果，并建立了新的FPT、W[1]-难和para-NP完全结果。此外，该框架被应用于证明角色分配问题（Role Assignment）的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 在何种条件下，局部满射同态可推出局部双射同态？该性质在算法上如何被利用？

主要发现

• 本文证明了LBHom和LSHom即使在客人图的反馈顶点集数至多为3且宿主图至多为1时，仍为NP完全问题。
• 该框架通过将删除小连通分量的集合作为参数，成功建立了LBHom、LSHom和LIHom的FPT结果，显示出广泛的适用性。
• 作者证明：当且仅当图G和H的度数精炼矩阵相等时，存在从G到H的局部双射同态。
• 该框架通过将角色分配问题建模为局部满射同态问题，成功证明了其FPT结果。
• 本文为三种局部约束同态问题提供了全面的复杂度图景，明确了FPT、W[1]-难和para-NP完全的区域。
• 本研究解决了关于LBHom和LSHom在以树宽加最大度数为参数时FPT状态的一个开放问题，表明其仍为开放问题。