This is an old revision of the document!
P, NP, NPC, NPH
1. Reluați reducerile polinomiale neabordate din laboratorul anterior.
2. Arătați că dacă $ P = NP$, atunci $ P = NPC \cup \{f_{TRUE}, f_{FALSE}\}$, unde $ f_{TRUE}$ și $ f_{FALSE}$ sunt funcțiile constante: $ f_{TRUE}(n) = TRUE$ și $ f_{FALSE}(n) = FALSE$.
3. Discutați următoarele propoziții:
- dacă $ f \in NP$ și $ g \le_p f$, atunci $ g \in NP$
- dacă $ f \in P$ și $ g \le_p f$, atunci $ g \in NP$
- dacă $ f \in NPC$ și $ g \le_p f$, atunci $ g \in NPC$
- dacă $ f \in NPH$ și $ g \le_p f$, atunci $ g \in NPC$
- dacă $ f \in NPC$ și $ f \le_p g$, atunci $ g \in NPC$
- dacă $ f \in NPC$ și $ f \le_p g$, atunci $ g \in NPH$
- dacă $ f \in NP$ și $ f \le_p g$, atunci $ g \in NPC$
- dacă $ f \in NP$ și $ f \le_p g$, atunci $ g \in NPH$
- dacă $ f \le_p SAT$, atunci $ f \in NPC$
- dacă $ SAT \le_p f$, atunci $ f \in NPC$
- dacă $ f \le_p g$ și $ g \le_p h$, atunci $ f \le_p h$