Assignment 5 – Property-Based Testing for Reductions of NP Problems 🔗 ℹ

Due Friday Fri 12/8 11:59pm

1. Vertex-Cover

Formulate the problem definition of Vertex-Cover in Karp, as discussed in class.

2. 3SAT to Vertex-Cover

Write a reduction from 3SAT to Vertex-Cover in Karp and property test the reduction to ensure its correctness.

Hint: You only need to make small modifications to the reduction from 3SAT to INDEPENDENT-SET.

Submit your Karp code for all of the above in Canvas.