k-center问题

最新推荐文章于 2024-08-05 16:55:11 发布

Leallfly

最新推荐文章于 2024-08-05 16:55:11 发布

阅读量2.6k

点赞数 4

分类专栏：笔记文章标签：算法

本文链接：https://blog.csdn.net/skewary/article/details/105859432

版权

k-center问题寻找大小为k的点集，使所有点到集合的costmax最小。在满足三角不等式的Metric k-center问题中，通过二分查找和最小统治集策略求解。近似比分析表明算法结果不超过最优解的两倍。具体解决思路涉及最大独立集、极大独立集和最小统治集概念，以及如何利用图的子结构进行近似求解。

摘要由CSDN通过智能技术生成

k-center问题

问题描述

给定一个无向图G(V,E)，定义c(v,S)为v到S中点的 $c o s t$ 值当中的最小值，并记为v到S的 $c o s t$ 值。
k-center问题就是找出一个大小为k的点集S，要求所有不在S中的点到S的 $cost_{max}$ 最小。

引申：如果 $c o s t$ 值满足三角不等式，那么该问题就转变成Metric k-center问题。
k-center问题和Metric k-center问题都是NP-hard。

解决思路

首先引入三个概念：最小统治集、最大独立集、极大独立集。
最小统治集：给定一个无向图G(V,E)，找出一个最小的点集S，其他所有点都和点集S中的点相邻。NP困难
最大独立集：给定一个无向图G(V,E)，找出一个最大的点集S，S中的每个点都互不相邻。NP困难
极大独立集：给定一个无向图G(V,E)，找出一个点集S，S中的每个点都互不相邻，且不在S中的点都和点集S中的点相邻。
由定义可知：最大独立集一定是极大的，极大独立集一定是统治集。

Metric k-center问题可以这样解决：
因为 $cost_{max}$ 必定是某条边的长度，可以先猜一个 $cost_{max}$ ，即挑选一条边。
剪去代价大于 $cost_{max}$ 的边，剩下的图称为 $G_i$ 。
找出 $G_i$ 的最小统治集 $S_{dom}$ 。
如果 $S_{dom}|>k$ ，说明k个点无法覆盖 $G_i$