Winda

Defines P and NP through polynomial-time solving and witness verification, and introduces reductions and the relations used to define NP-completeness.

Save to open this file