NP完全理论

P,NP,NPC,NP-HARD

  • P问题:多项式时间内可解
  • NP问题:多项式时间内可构造并验证解
  • NPC问题:任何NP问题都可以在多项式时间被归约到此问题,并且可以在多项式时间内构造并验证此问题的解(同时属于NP与NP-hrad)
  • NP-hard问题:任何NP问题都可以在多项式时间被归约到此问题

优化与判定问题:

  • 最大团->是否存在大小为k的团
  • 背包问题->是否能够在不超过容量C的前提下,装入物品总价值大于等于k

归约

  • 将P归约到Q,记为 P ≤ p Q P\le_{p}Q PpQ:此时Q更难
  • 注:难度不是具体算法的时间复杂度
  • 在NPC问题的证明中,只有多项式时间的归约才有意义

NPC问题的证明

  • 证明Q是NPC的思路:

    • 证明Q是NP的,即多项式时间内构造一个解并完成验证
    • 证明Q是NP-Hard的,即证明任何NP问题都可以在多项式时间内归约到Q,通常的手段是将一个已知NPC问题P在多项式时间内归约到Q
    • 综上Q即是NP,又是NP-Hard,所以Q是NPC
  • P问题:存不存在一种划分X-Y,使得 ∑ X = ∑ Y \sum X=\sum Y X=Y

    Q问题:背包问题的判

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值