Save
...
Introduction to Computation and complexity
Computational complexity theory (6-10)
9 - Karp Reductions and NP-completeness
Save
Share
Learn
Content
Leaderboard
Learn
Created by
Merel DJ
Visit profile
Cards (13)
every problem in NP can be expressed/reduced to an instance of 3-SAT
Karp reducibility : generlization of the notion of
reducing
to an instance of
3-SAT.
Karp-reducibility
A)
polynomial-time
B)
every
2
The
polynomial-time
function f maps elements from L to elements of L' and elements from complement L to complement L'.
using an algorithm taking as input
f(x)
which returns 1 iff
f
(
x
)
∈
L
′
f(x) \in L'
f
(
x
)
∈
L
′
which is th case iff
x
∈
L
x \in L
x
∈
L
The main objective behind
reductions
is to express a given language by means of another language which is at least as hard as the original language .
Clique
: given an
undirected
graph G and a
positive
integer C, does G contain a subset of size C consisting of
mutaually adjacent
nodes ?
P
membership
Let
L,
L'
in
{
0
,
1
}
*
be
two languages.
If L
L
≤
p
L
′
L \leq_p L'
L
≤
p
L
′
and
L
′
∈
P
L' \in P
L
′
∈
P
then
L
∈
P
L \in P
L
∈
P
Transitivity of Karp reductions
if
L
≤
p
L
′
L \leq_p L'
L
≤
p
L
′
and
L
′
≤
L
′
′
L' \leq L''
L
′
≤
L
′′
then
L
≤
L
′
′
L \leq L''
L
≤
L
′′
We say that L' is NP-hard if
L
≤
q
L
′
L \leq_q L'
L
≤
q
L
′
for every
L
∈
N
P
L \in NP
L
∈
NP
. We say that L' is NP-complete if
L
′
∈
N
P
L' \in NP
L
′
∈
NP
and
L' is NP-hard
3-SAT
is NP-complete
Clique
is NP-complete
Method for proving
NP
-completenes
Show that
Q
in NP
Choose some problem
P
known to be NP-hard. Provide a function f
transforming
any
instance
of P
into
an
instance
of
Q
such that
x
in P iff f(
x
) in
Q
P = NP iff
3-SAT
in P