Explain, in your own words, in the proof idea of Theorem 3.16, why the strategy is to use breadth-first, as opposed to depth-first, search.
Give a formal definition of an enumerator.
The views and opinions expressed on individual web pages are strictly those of their authors and are not official statements of Grinnell College.
Copyright Statement.
