顶点覆盖问题的NP完全证明和顶点覆盖优化问题的近似算法顶点覆盖(VERTEX COVER)给定一个无向图和一个正整数若存在使得对任意的都有或则称为图的一个大小为的顶点覆盖顶点覆盖问题的描述判定问题:VERTEX COVER输 入:无向图正整数问 题:中是否存在一个大小为的顶点覆盖这是一个NP完全问题顶点覆盖的NP完全性证明NP性的证明:对给定的无向图若顶点是图的一个大小为顶点的覆
顶点覆盖问题的NP完全证明和顶点覆盖优化问题的近似算法顶点覆盖(VERTEX COVER)给定一个无向图和一个正整数若存在使得对任意的都有或则称为图的一个大小为的顶点覆盖顶点覆盖问题的描述判定问题:VERTEX COVER输 入:无向图正整数问 题:中是否存在一个大小为的顶点覆盖这是一个NP完全问题顶点覆盖的NP完全性证明NP性的证明:对给定的无向图若顶点是图的一个大小为顶点的覆盖则可
Stanford University
单击此处编辑母版文本样式第二级第三级第四级第五级201115??单击此处编辑母版标题样式几个NP完全问题什么是NP完全问题NP完全问题是世界七大数学难题之一 NP的英文全称是Non-deterministic Polynomial的问题即多项式复杂程度的非确定性问题简单的写法是 NP=P问题就在这个问号上到底是NP等于P还是NP不等于P七大数学难题这七个千年大奖问题是: NP完全问题霍奇猜想庞加莱
#
现在证明如F可满足 则F′也可满足. 设 f: U→{真 假}能使F值为真因U是U′的子集 只须证明f可以扩展为 f′: U′→{真 假}并使公式F′为真从而只要给诸U′j的各逻辑变量赋值保持U的逻辑变量的赋值不变并使F′为真即可14④K>3 Cj= {z1z2 …zk }因f已满足Cj此即Cj的K个因子中至少一个为真设zi为真按i的值分三种情况 讨论如何扩
245将累加器中数存入内存⑹DIV标号停机计算机算法设计与分析计算机算法设计与分析有限控制器由有限个状态构成TM的数学描述13计算机算法设计与分析NDTM(Nonditerministic Turing Machine)P类与NP类语言问题计算机算法设计与分析命题1 (计算时间下界归约) :若TA(n)为A的计算时间下界则B的计算时间TB(n)的下界为:计算机算法设计与分析23若干NP完全问题CI
#
NP完全的问题一个NP-完全的问题具有如下性质:它可以在 t _blank 多项式时间内求解当且仅当所有的其他的NP-完全问题也可以在多项式时间内求解P是所有可在多项式时间内用确定算法求解的判定问题的集合NP问题是所有可用多项式时间算法验证其猜测准确性的问题的集合 令L1和L2是两个问题如果有一确定的多项式时间算法求解L1而这个算法使用了一个在多项 式时间内求解L2的确定算法则称L1约
#
违法有害信息,请在下方选择原因提交举报