Chapter 7: The Unstructured Search Problem

This section is already in the book plan, but it has not been written fully yet. The book owner can press Generate section to write this part with the language model connected to TheoryTrace.

Section plan:

Defines Grover search formally: a set of N items, one or more marked solutions, a Boolean predicate, and the goal of finding a marked item using as few oracle calls as possible.