算法第十九周--NP问题证明

本文通过构造特定图论问题实例,证明了两个图论问题属于NP-Complete问题。首先介绍了如何通过验证算法确定问题属于NP类,然后通过归约方法从已知的NP-Complete问题出发,证明了所研究的问题也是NP-Complete。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

问题描述:

8.15.

证明:show that the following problem is NP-Complete.

MAXIMUM COMMON SUBGRAPH

Input:two graph G1 = (V1, E1) and G2= (V2, E2)

output:two set of nodes of G1 and G2, represented by G1' and G2'


Output:two set of nodes V1' E V1 and V2' E V2 whose deletion leaves at least b nodes in each graph , and makes the two graph identical。


1、这个问题可以在O(V1 + E1)时间内验证,所以是一个NP问题。

2、为了证明问题是NP完全, 我们可以将最大独立集问题归约到这个问题。假设这个问题不是一个NP完全问题,我们构造G1 = (V,1 E1), G2=(V1,NULL)。

那么我们可以通过假设在更短时间复杂度内寻找到最大独立集的答案,这与我们的已知构成了矛盾,因此题设是一个NP完全问题。


8.14 prove that the following problem is NP-complete:given an undirected graph G = <V, E> and an integer k, return a clique of size k as well as an independent set of 

size k, provided both existed.


1.这两个问题可以在多项式时间内验证,所以是NP问题。

2.为了证明问题是NP完全, 我们可以将最大独立集问题归约到这个问题。假设在原图中新添k个独立的点v1...vk。那么这个图同时满足存在着大小为k的独立集,且保持原来的最大团不变。这个问题可以由题设解得,因此与最大团问题是NP完全问题矛盾。因此题设是NP完全问题。

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值