I would like to thank Gerald Jay Sussman, my advisor; Ben Vigoda and
the Babbage Group, Norm Margolus, and Radhika Nagpal for useful
discussion and comments. This material is based on work supported
under a National Science Foundation Graduate Fellowship.