Due: Monday, November 16th by 11pm
In this, our second assignment using the quantum simulator, you will write a program to solve satisfiability problems (amongst others) using Grover's search algorithm. While this only makes a polynomial (not exponential) improvement in the running time compared to classical algorithms, that is a consequential difference for many examples of real world interest, so this gives us our first hands-on experience writing quantum programs that, when quantum computers exist, would advance our ability to solve important problems.
Solve the problems described in this document.
For each problem, submit your code (Answers-N.qs) and a screenshot (ScreenShot-N.png/jpg) of the printed output of the program in Gradescope.