Reductions and NP-completeness
Introduzido
Vocabulário
| English | Significado |
|---|---|
| reduction/rɪˈdʌkʃn/ | reduction |
| NP-completeness | NP-completeness |
English
One problem in another's clothes
- A reduction $A \le_p B$ is a polynomial translator turning $A$-instances into $B$-instances: a $B$-solver then solves $A$. NP-completeness = in NP + every NP problem reduces to it.
{exercise:uni-cs1006-reduction}
Prática
A reduction A to B gives —
Dificuldade 1/5 · Moedas 100 + pequeno bônus na primeira conclusão hoje
The translator maps A-instances to B-instances: solving B solves A.
English
The two-step hardness proof
- To prove $B$ NP-hard: pick a known NP-complete $A$, build a polynomial translator $A \to B$. The difficulty flows INTO your problem — you reduce the known hard problem TO yours.
- The course chain: SAT $\to$ 3-SAT (clause splitting), 3-SAT $\to$ CLIQUE (the triangle gadget), CLIQUE $\to$ VERTEX-COVER (complement the graph).
{exercise:uni-cs1006-hardness}
Prática
To prove B NP-hard, reduce —
Dificuldade 1/5 · Moedas 100 + pequeno bônus na primeira conclusão hoje
The difficulty flows into your problem: known-hard TO yours.
English
The direction is the content
- Clique-to-cover, concretely: $G$ = triangle ABC plus isolated D has a 3-clique; the complement's edges are exactly A–D, B–D, C–D, and {D} — size $n - k = 1$ — covers them all.
- Reducing YOUR problem to SAT proves nothing about hardness — the arrow points the easy way. And NP means verifiable in polynomial time; P sits inside NP.
{exercise:uni-cs1006-direction}
Prática
Encoding your problem as SAT proves —
Dificuldade 1/5 · Moedas 100 + pequeno bônus na primeira conclusão hoje
The arrow points the easy way: your problem reduces TO SAT.