La définition de NP via les certificats:

NP P ExpT ime P space
P6=NP
NP
N P
L
NP
L NP Q
L={u/∃c, A(c, u) = V rai, |c| ≤ Q(|u|)}
A c |c|c
A L
c A
NP
•
n
n
NP
•G
NP
•G
NP
•n(p, q), p ≥
2, q ≥2p≤n, q ≤n np =q
n=pq
P6=N P
N P =P

NP P
NP
[1..n]n= 2
A
P r u P r A u
A
Q u A u
Q(|u|)
P r N P
P r
P
P NP P NP
NP P SP ACE EXP T IME
P6=NP NP
P NP
NP
NP
NP
P space
N P N P
NP
NP
Q non Q NP
Q non Q NP NP NP P
NP 6=co −NP
NP =P NP NP NP =co −NP NP
P