问题表明我们想要显示独立集多边形时间缩减为相对素数集，更正式地Independent Set <p Relative Prime Sets。
我需要从ind.set到rel提供减少f 。素数集，其中
- f 的输入必须是图G和整数k，其中k表示独立集的大小。
- f 的输出必须是整数集合S和整数t，其中t表示集合S中成对相对素数的数量。
相对素数集的定义（决策版）：
它需要一组n个整数和一个从1到n的整数t。
如果P的子集A具有t-many成对相对，则返回yes 素数。也就是说，对于A中的所有a，b，gcd（a，b）=必须是真的 1。
否则返回
到目前为止，我已经提出了我认为减少的内容，但我不确定它是否有效，我想与知道如何做到这一点的人仔细检查。
减少
设G是图。表示k表示独立集的大小。然后我们 想知道在G中是否存在一个独立的大小为k的集合。 由于这个问题是NP-Complete，如果我们可以解决另一个NP-Complete 聚合时间的问题，我们知道我们也可以解决独立集 在多时间。所以我们选择将独立集减少到Relative Prime 集。
我们取图G并将其顶点从1标记为n作为pr 相对素数集的输入定义。然后我们找到了gcd 每个节点到G中的每个其他节点。我们在之间绘制一条边 有gcd（a，b）= 1的节点。当图完成后，我们看一下 节点并确定哪些节点没有相互连接 通过边缘。我们为这些节点创建集合。我们回来了 包含最多节点以及表示数字的整数t 集合中的整数。这是最相对素数的集合 图G中的数字以及最大的独立G集。
答案 0 :(得分：1)
假设有两个图，每个图有四个节点。在图1中，节点连接成一条线，使得最大独立集合为2.图2是每个节点连接到彼此节点的完整图形，因此最大独立集合为1.
听起来你的缩减会导致每个图形的相同集合，导致独立集合的结果不正确。
答案 1 :(得分：0)
方程式，S = k * lnW离散的logaritm不能被破坏，因为它与信息熵相关