P、NP、NPC、NP-hard、多项式归约的概念和性质，P=NP和P≠NP的涵义。

P、NP、NPC、NP-hard和多项式归约是计算复杂度理论中的重要概念。

P问题指的是可以在多项式时间内解决的问题，也就是说，存在一个多项式时间的算法可以在合理的时间内解决该问题。

NP问题指的是可以在多项式时间内验证解的正确性的问题。也就是说，如果已经给出了一个解，我们可以在多项式时间内验证它是否是正确的。但是，目前并没有已知的多项式时间算法可以解决所有的NP问题。

NPC问题指的是NP问题中最难的一类问题，即NP完全问题。如果一个问题是NP完全问题，那么它是NP问题的一种，并且所有的NP问题都可以归约到该问题。也就是说，如果我们能够在多项式时间内解决一个NPC问题，那么我们也可以在多项式时间内解决所有的NP问题。

NP-hard问题指的是至少和NPC问题一样难的问题，但不一定是NP问题。也就是说，NP-hard问题可能是更加困难的问题，但是它们至少和NPC问题一样难。

多项式归约是指将一个问题转化为另一个问题，使得解决原问题的算法可以用来解决目标问题。如果一个问题可以在多项式时间内归约为另一个问题，那么我们称它是多项式归约的。

P=NP和P≠NP是计算复杂度理论中的两个重要假设。P=NP的意思是，所有的NP问题都可以在多项式时间内解决。P≠NP的意思是，存在一些NP问题是不能在多项式时间内解决的。目前，这两个假设没有被证明或者证伪，它们仍然是计算复杂度理论中的重要问题。