泰兰教主

Ladner定理 Ladner定理：若P≠NPP eq NPP=NP，那么NPNPNP中必然存在不是NP−CompleteNP-CompleteNP−Complete的语言，即∃A∈NP,SAT̸...