#54/100 Grover's Algorithm, Part 1 || Quantum Computer Programming in 100 Easy Lessons

In this Lesson we start the description and analysis of Grover's algorithm for (Unique-)SAT(-search). Best watched in conjunction with Lesson 55, upcoming!

Lesson 54 of 100 for the series "Quantum Computer Programming in 100 Easy Lessons".

Taught by Ryan O'Donnell

https://www.cs.cmu.edu/~odonnell
https://twitter.com/BooleanAnalysis

Filmed at Carnegie Mellon University by Buck Caldwell and Dave Ambroso for Panopto.

Exercises tune: Cover of "Exercices" by Saïan Supa Crew.