当前位置: X-MOL 学术Theor. Comput. Sci. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Parameterized complexity of happy coloring problems
Theoretical Computer Science ( IF 0.9 ) Pub Date : 2020-06-25 , DOI: 10.1016/j.tcs.2020.06.002
Akanksha Agrawal , N.R. Aravind , Subrahmanyam Kalyanasundaram , Anjeneya Swami Kare , Juho Lauri , Neeldhara Misra , I. Vinod Reddy

In a vertex-colored graph, an edge is happy if its endpoints have the same color. Similarly, a vertex is happy if all its incident edges are happy. Motivated by the computation of homophily in social networks, we consider the algorithmic aspects of the following Maximum Happy Edges ( k-MHE ) problem: given a partially k-colored graph G and an integer , find an extended full k-coloring of G making at least edges happy. When we want to make vertices happy on the same input, the problem is known as Maximum Happy Vertices ( k-MHV ). We perform an extensive study into the complexity of the problems, particularly from a parameterized viewpoint. For every k3, we prove both problems can be solved in time 2nnO(1). Moreover, by combining this result with a linear vertex kernel of size (k+) for k-MHE, we show that the edge-variant can be solved in time 2nO(1). In contrast, we prove that the vertex-variant remains W[1]-hard for the natural parameter . However, the problem does admit a kernel with O(k22) vertices for the combined parameter k+. From a structural perspective, we show both problems are fixed-parameter tractable for treewidth and neighborhood diversity, which can both be seen as sparsity and density measures of a graph. Finally, we extend the known

Image 1
-completeness results of the problems by showing they remain hard on bipartite graphs and split graphs. On the positive side, we show the vertex-variant can be solved optimally in polynomial-time for cographs.



中文翻译:

快乐着色问题的参数化复杂度

在顶点彩色图形中,如果边缘的端点具有相同的颜色,则该边缘是快乐的。同样,一个顶点是幸福的,如果它的所有关联边是幸福的。基于社交网络中同构性的计算,我们考虑了以下最大快乐边缘k -MHE)问题的算法方面:给定部分k色图G和整数,找到G的扩展全k色使至少ℓ个边缘开心。当我们想在同一输入上使个顶点快乐时,该问题称为最大快乐顶点k -MHV)。我们对问题的复杂性进行了广泛的研究,尤其是从参数化的角度来看。对于每个ķ3,我们证明两个问题都可以及时解决 2ññØ1个。此外,通过将此结果与大小为1的线性顶点核相结合ķ+对于k -MHE,我们表明可以及时解决边缘变化2ñØ1个。相反,我们证明对于自然参数,顶点变量保持W [1] -hard 。但是,该问题确实允许使用Øķ22 组合参数的顶点 ķ+。从结构的角度来看,我们显示这两个问题对于树宽和邻域分集都是固定参数可处理的,这两个问题都可以视为图的稀疏性和密度度量。最后,我们扩展已知的

图片1
通过显示问题在二部图和分裂图上仍然很困难,得出问题的完全性结果。从积极方面来看,我们表明顶点变化可以在多项式时间内最优地解决。

更新日期:2020-06-25
down
wechat
bug