Winda

Defines P and NP through polynomial-time solving and verification, with examples including graph 3-coloring and integer factorization.

Save to open this file