多项式时间归约+独立集与顶点覆盖之间的归约

最新推荐文章于 2020-12-15 11:42:38 发布
最新推荐文章于 2020-12-15 11:42:38 发布
阅读量2.7k 收藏
点赞数
分类专栏： 计算机算法设计与分析 文章标签： 独立集问题 顶点覆盖问题 独立集与顶点覆盖之间归约
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Valieli/article/details/103962509
版权
浪在冰城
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
3-SAT归约到独立集问题
01-06
3-SAT归约到独立集问题 【3-SAT ≤p\leq_p≤p​ 独立集】 要证明3-SAT问题可以归约到独立集，就需要证明，有一个关于独立集的黑盒子，通过解3-SAT实例，能够解3-SAT问题。 图4为从3-SAT到独立集归约的一个实例。 图4 从3-SAT到独立集的归约 对于一个子句来说，只要有一项的值为真，则整个子句的值为真。 则，根据子句可以这样构造图：对于每一个子句，创建三个点，将三个点连接成三角形（如上图）。若存在两个子句中有x1x_1x1​和x‾1\overline x_1x1​,则在这两个节点之间添加一条边（称为冲突变，即这两边不能同时被选到）。 则，存在一个真值赋值，当且仅
正在检测目标单片机...
Valieli的博客
09-27 2万+
打算学学单片机知识，大概学到了数码管那段的时候，单片机不知道怎么了，然后就一直检测不到。郁闷了好久，问了些学长，学长说单片机烧了。学长借给我一个单片机，然后就能检测到了，于是我果断认为是单片机烧了。 但是不能总是用学长的吧，还是自己买一个吧。于是，我就问问了买开发板的客服，想问问他们卖不卖单片机。 客服说：单片机一般是不会烧坏的。单片机坏的情况很少见啊！ 于是客服姐姐就让我用杜邦线把P...
8.1多项式时间归约.pptx
12-03
8.1多项式时间归约.pptx
多项式时间归约
Valieli的博客
02-16 680
文章目录1 多项式时间归约1.1 归约的概念1.2 多项式时间归约1.3 独立集与顶点覆盖之间的归约1.4 顶点覆盖到集合覆盖的归约1.5 独立集到集合包装的归约 1 多项式时间归约 1.1 归约的概念 在研究不同问题的难度时，希望表达“问题X至少像问题Y一样的难”，这就是归约。 1.2 多项式时间归约 在计算模型中，假设问题X可以在多项式时间内求解。如果有一个解决问题X的“黑盒子”，假设通过多项...
匹配 边覆盖 独立集 顶点覆盖
weixin_30566063的博客
03-17 164
自己的理解：匹配 ：两条边没有公共顶点 的边的集合最小边覆盖：取n条边 这n条边的顶点是图的全部顶点 且n最小最大独立集：两两顶点互相之间不相连 这些定点个数的最大值最小顶点覆盖：n个顶点和 从这些顶点出发能够连的顶点 是图的全部顶点 且 n最小 转载于:https://www.cnblogs.com/LandingGuy/p/928027...
多项式时间算法
热门推荐
yanghangjun的专栏
02-27 3万+
定义：若存在一个常数C，使得对于所有n>=0，都有|f(n)| 例如：时间复杂度为O(nlog(n))、O(n^3)的算法都是多项式时间算法，时间复杂度为O(n^log(n))、O(n!)、O(2^n)的算法是指时间算法。 一个优化问题如果已经找到了多项式时间算法，则称该问题为多项式时间可解问题，并将这类问题的集合记为P，因此多项式时间可解问题就称为P类问题。 一个问题如果没有找到多项式时
计算复杂性理论初步（一）多项式时间归约
ludan_xia的博客
04-27 2538
一、归约的意义 求解一个算法问题的时候，我们往往可以直观地感受到有些问题是比较难的，有些问题是比较简单的，但是我们并不能因为没有设计出一个比较高效的算法，就说它是一个难问题，所以问题的难易是相对的，我们需要一个科学的手段来界定问题的难易 我们可以用问题之间的归约，来界定两个问题之间相对难易程度的基本手段 二、优化问题与判定问题 很多经典的难问题都是优化问题，而一个优化问题往往可以...
CRC8校验，生成多项式：X8 + X2 + X + 1
08-30
CRC8校验程序 /********************************************************************************************************* ** Function name: CountCrc ** Descriptions: CRC校验...生成多项式：X8 + X2 + X + 1
一元多项式的相加+约瑟夫环.zip
12-13
实验一： 多项式相加 1.创建两个一元多项式； 2.输出一元多项式； 3.实现两个一元多项式相加； 4.输出相加后的一元多项式。 实验二： 约瑟夫环问题 1. 创建n个编号结点的循环单链表 2. 利用按序号查找遍历人员 3. ...
sym_poly_符号多项式与多项式系数之间的相互转换_
10-04
可以进行符号多项式与多项式系数之间的相互转换
线性表+应用+多项式+dev c++
03-27
线性表+应用+多项式+dev c++程序运行正常 程序可移植性强
【计算理论】计算复杂性 ( 多项式时间规约 | NP 完全 ★ | 布尔可满足性问题 ) ★
让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )
12-15 2021
一、多项式时间规约 分析、 二、NP 完全 ★ ( 计算理论最重要的概念 )
多项式规约
qq_37657182的博客
12-01 3259
有多项式时间算法的问题和可能没有多项式时间算法的问题 有多项式时间算法 可能没有多项式时间算法 最短路问题 最长路问题 最小割问题 最大割问题 2元可满足性问题 3元可满足性问题 平面图4着色问题 平面图3着色问题 二部图顶点覆盖问题 一般图顶点覆盖问题 匹配问题 3D匹配问题 素性测试问题 质因子分解问题 线性规划问题 整数线性规划问题 多项式规约...
【计算理论】计算复杂性 ( 多项式等价引入 | 多项式时间规约 )
让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )
12-14 2243
一、多项式等价引入、 二、多项式时间规约
【NPC】5、顶点覆盖规约到独立集、团问题
xiazdong
12-04 1万+
一、问题描述         二、证明
二分图的最小顶点覆盖 最大独立集 最大团
weixin_30945039的博客
10-15 152
二分图的最小顶点覆盖 定义：假如选了一个点就相当于覆盖了以它为端点的所有边。最小顶点覆盖就是选择最少的点来覆盖所有的边。 方法：最小顶点覆盖等于二分图的最大匹配。 我们用二分图来构造最小顶点覆盖。 对于上面这个二分图，顶点分为左右两个集合，X集合包含1,2,3,4，Y集合包含5,6,7,8,9.假如现在我们已经找到一个最大匹配M，就是上面的红线所标注的M={(1,7),(2,5),(4...
独立集和顶点覆盖的相互规约
zheyangyebuxingaaa的博客
11-02 2704
一，定义 独立集：给定一个图G=｛V,E｝和数k。判定图中是否存在k个两两没有边相连的顶点集。 顶点覆盖：给定一个图G=｛V,E｝和数k。判定图中是否存在k个顶点，使其与所有边相连。   二，证明相互规约 命题：独立集 ≡p 顶点覆盖 对于一个给定的图G=｛V,E｝ （1）.证明：当S是G的独立集时，V-S 是G的顶点覆盖。                      对于G中的任意...
多项式规约及其常见问题的规约方法
oooooorz的博客
11-28 2108
常见NPC问题的规约方法
从顶点覆盖（Vertex Cover）到碰撞集（Hitting Set）的归约
yaozhili_的博客
12-29 1857
从顶点覆盖（Vertex Cover）到碰撞集（Hitting Set）的归约
多项式时间归约传递性证明
最新发布
05-24
要证明多项式时间归约的传递性，我们需要证明以下命题： 如果问题 A 可以被多项式时间归约到问题 B，问题 B 可以被多项式时间归约到问题 C，那么问题 A 可以被多项式时间归约到问题 C。 假设问题 A 可以被多项式时间归约到问题 B，那么存在一个多项式时间可计算的函数 f，使得对于任何问题 A 的实例 x，都有 f(x) 是问题 B 的一个实例，并且 A 的解等价于 B 的解。即，如果我们可以在多项式时间内解决 B，那么也可以在多项式时间内解决 A。 同理，如果问题 B 可以被多项式时间归约到问题 C，那么存在一个多项式时间可计算的函数 g，使得对于任何问题 B 的实例 y，都有 g(y) 是问题 C 的一个实例，并且 B 的解等价于 C 的解。即，如果我们可以在多项式时间内解决 C，那么也可以在多项式时间内解决 B。 现在我们要证明的是，问题 A 可以被多项式时间归约到问题 C。为此，我们可以构造一个新的函数 h(x) = g(f(x))，它将 A 的实例 x 映射到 C 的实例 z，即 h(x) = z。 首先，我们需要证明 h(x) 是多项式时间可计算的。因为 f 和 g 都是多项式时间可计算的，所以 h(x) 也是多项式时间可计算的。 其次，我们需要证明 A 的解等价于 C 的解。假设 A 的解为 x*，B 的解为 y*，C 的解为 z*。因为 A 可以被多项式时间归约到 B，所以我们可以在多项式时间内求出 y*，使得 f(x*) = y*。同理，因为 B 可以被多项式时间归约到 C，所以我们可以在多项式时间内求出 z*，使得 g(y*) = z*。综合可得，h(x*) = z*，即 A 的解等价于 C 的解。 因此，我们证明了多项式时间归约具有传递性。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值