How Quantum Computers Can Solve The World's Most Useless Problem (Part 3A/3)

This is part 3A of a 3-video series on intro-level quantum computation. I had originally planned for this to be the last video but I decided to split it up into two parts.
Part 1:    • How Quantum Computers Can Solve The World'...  
Part 2:    • How Quantum Computers Can Solve The World'...  
Part 3B:    • How Quantum Computers Can Solve The World'...  

In this video, we formalize quantum programming with concepts from linear algebra, and delve into the inner-workings of "MysteryTogglesDetective," a quantum algorithm that solves the "MysteryToggles" problem.

Some of the names used for things and ways concepts are illustrated are different from canonical methods for the purpose of beginner-friendliness.

Huge thanks to Professor Ryan O'Donnell, whose course I took gave me the inspiration to make this series.

These animations are made using manim, by 3Blue1Brown.