Reductions and NP-completeness
แนะนำใหม่
คำศัพท์
| English | ความหมาย |
|---|---|
| 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}
ฝึกฝน
A reduction A to B gives —
ความยาก 1/5 · 100 เหรียญ + บอนัสน้อยๆ เมื่อทำสำเร็จครั้งแรกในวันนี้
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}
ฝึกฝน
To prove B NP-hard, reduce —
ความยาก 1/5 · 100 เหรียญ + บอนัสน้อยๆ เมื่อทำสำเร็จครั้งแรกในวันนี้
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}
ฝึกฝน
Encoding your problem as SAT proves —
ความยาก 1/5 · 100 เหรียญ + บอนัสน้อยๆ เมื่อทำสำเร็จครั้งแรกในวันนี้
The arrow points the easy way: your problem reduces TO SAT.