Problem
A
is DP-complete if both of the following are true.
A
∈ DP
For every
X
∈ DP,
X
≤
p
A
.