P问题、NP问题和NPC问题

本文深入探讨了P、NP、NP-hard及NP-complete问题的概念,解释了它们在计算复杂度理论中的角色。P问题指能在多项式时间内解决的问题,NP问题则指解可在多项式时间内验证。NP-hard问题涵盖所有NP问题的难度,而NP-complete问题同时属于NP和NP-hard。文章还讨论了问题间的多项式归约,以及P=NP的可能性。

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

P就是能在多项式时间内解决的问题;

NP就是能在多项式时间验证答案正确与否的问题。

P是否等于NP实质上就是在问,如果对于一个问题我能在多项式时间内验证其答案的正确性,那么我是否能在多项式时间内解决它?

再说说NP-hardness和NP-completenes. 这里涉及一个概念,不妨称为问题之间的归约。可以认为各个问题的难度是不同的,表现形式为,如果我可以把问题A中的一个实例转化为问题B中的一个实例,然后通过解决问题B间接解决问题A,那么就认为B比A更难。通过对归约过程做出限制可以得到不同类型的归约。

这里的“问题”一般形式化为判定问题,如:三班是否有同学刷知乎。
P: 我能在多项式时间内判定三班是否有同学刷知乎。
NP: 我能在多项式时间内判定你给定的某个人(如:王二)是否证明了这个问题(王二在三班且王二刷知乎)。
也就是说,对于一个判定性问题,如果其能在多项式时间内得到判定,则是P的;如果能在多项式时间内验证一个证据(上文中的王二)是否证明出此问题,则其是NP的。

这里又要说道归约上了。如果A能用多项式次的B解决,称A能多项式归约到B。
比如说现在问题A为判定二年级是否有人刷知乎, 那我可以把这个问题规约到问题B:判定每个班级是否有人刷知乎。 只要对二年级所有的班级做一边问题B,就能得到A的结果,如果这个次数是输入规模的多项式级别,我们认为A可以多项式规约到B。

NP问题有很多种,但若所有的NP问题都能多项式归约到问题X,X为NP hard,进一步如果X是NP的,称X是NP complete的。而事实上,的确所有的NP问题都可以规约到某一些NP问题,这类问题也就是经常出现的NP complete问题,比如TSP(旅行商)问题。

一般情况下非判定问题都可以转化为多项式时间次数的判定问题,所以P和NP的计算复杂度概念可以适用于几乎所有算法问题。现在可以知道,由于所有的NP问题都可以多项式规约到某一个NP Complete问题,所以只要一个NP Complete问题能在多项式时间内得到解决,那么所有的NP问题都可以在多项式时间内得到结局了。目前常见的计算机问题几乎都是NP的(多项式时间内能验证结果,大部分算法问题都满足),也就是说,如果能多项式解决某一个NP Complete问题,几乎所有的算法问题都能在多项式解决了,excited!

作者:李大雷
链接:https://www.zhihu.com/question/27039635/answer/83771163
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
 

首先这些p和np都是用来描述解决一个问题需要的时间和它输入规模之间的关系...

P问题:
一个问题可以在多项式(O(n^k))的时间复杂度内解决

例如:n个数的排序(不超过O(n^2))

NP问题:
一个问题的解可以在多项式的时间内被证实或证伪

例如:典型的子集求和问题,给定一个整数集合求是否存在一个非空子集它的和为零。如给定集合s={-1,3,2,-5,6},很明显子集{3,2,-5}能满足问题,并且验证该解只需要线性时间复杂度就能被证实。

NP-hard问题:
任意np问题都可以在多项式时间内归约为该问题。归约的意思是为了解决问题A,先将问题A归约为另一个问题B,解决问题B同时也间接解决了问题A。

例如,停机问题。

NPC问题:
既是NP问题,也是NP-hard问题。

例如,SAT问题(第一个NPC问题)。该问题的基本意思是,给定一系列布尔变量以及它的约束集,是否存在一个解使得它的输出为真。

相互关系:
显然,所有P问题都是NP问题,反之则不一定。npc问题是np问题的子集,也是p问题和np问题的差异所在。如果找到一个多项式内能被解决的npc问题的解决方法,那么P=NP。

 

 

 

### 解决 IntelliJ IDEA 中 `@Autowired` 注解导致的红色波浪线错误 在使用 Spring 框架时,如果遇到 `@Autowired` 注解下的依赖注入对象显示为红色波浪线错误或者黄色警告的情况,通常是由以下几个原因引起的: #### 1. **Spring 插件未启用** 如果 Spring 支持插件未被激活,则可能导致 IDE 无法识别 `@Autowired` 或其他 Spring 特定的功能。可以通过以下方式解决问题: - 打开设置菜单:`File -> Settings -> Plugins`。 - 确认已安装并启用了名为 “Spring Framework Support” 的官方插件[^1]。 #### 2. **项目配置文件缺失或不正确** Spring 需要通过 XML 文件、Java Config 类或其他形式来定义 Bean 定义。如果没有正确加载这些配置文件,可能会导致 `@Autowired` 报错。 - 确保项目的 `applicationContext.xml` 或者基于 Java 的配置类(带有 `@Configuration` `@Bean` 注解)已被正确定义引入。 - 对于 Spring Boot 项目,确认是否存在 `spring.factories` 文件以及是否包含了必要的组件扫描路径[^3]。 #### 3. **模块依赖关系问题** 当前模块可能缺少对 Spring Core 或 Context 组件库的有效引用。这可能是由于 Maven/Gradle 构建工具中的依赖项声明不足造成的。 - 检查 `pom.xml` (Maven) 或 `build.gradle` (Gradle),确保包含如下核心依赖之一: ```xml <!-- For Maven --> <dependency> <groupId>org.springframework</groupId> <artifactId>spring-context</artifactId> <version>${spring.version}</version> </dependency> ``` ```gradle // For Gradle implementation 'org.springframework:spring-context:${springVersion}' ``` - 更新项目依赖树以应用更改:右键点击项目根目录 -> `Maven -> Reload Project` 或运行命令 `./gradlew build --refresh-dependencies`。 #### 4. **IDE 缓存损坏** Intellij IDEA 的缓存机制有时会因各种因素而失效,从而引发误报错误。清除缓存可以有效缓解此类情况。 - 使用快捷组合键 `Ctrl + Alt + Shift + S` 进入项目结构对话框;也可以尝试执行操作序列:`File -> Invalidate Caches / Restart... -> Invalidate and Restart`. #### 5. **启动异常影响正常解析** 若之前存在类似 `com.intellij.diagnostic.PluginException` 的严重初始化失败日志记录,则表明某些关键服务未能成功加载,进而干扰到后续功能表现[^2]。建议重新下载最新稳定版本的 IDEA 并按照标准流程完成初次部署工作。 ```java // 示例代码片段展示如何正确运用 @Autowired 注解实现自动装配 @Service public class StudentService { private final Repository repository; public StudentService(@Qualifier("specificRepository") Repository repo){ this.repository = repo; } } @Component class SpecificComponent{ @Autowired private transient StudentService studentService; // 此处应无任何编译期告警现象发生 } ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值