Polynomial Decision Problem

Definition