4.17.4 NPC Problem

Definition

Polynomial Certifier

Reduction

Claim 4.17.4.1. p )

Proof. __

Proof. __