Invitation to Algorithms with Scheme (Rough draft e46fa67)

<style type="text/css">

</style>
<h1><a name="Invitation to Algorithms with Scheme-TOC">Invitation to Algorithms with Scheme</a></h1>

<p><a href="mailto:r@rmloveland.com">R. M. Loveland</a></p>
<p><em>Gardiner, New York, USA</em>.</p>
<p><em>April 2020</em>.</p>
<div id="toc"><ul><li class="h2"><a href="#Preface-TOC">Preface</a></li>
<li class="h2"><a href="#Introduction-TOC">Introduction</a></li>
<li class="h2"><a href="#Prerequisites-TOC">Prerequisites</a></li>
<li class="h2"><a href="#Sorting-TOC">Sorting</a></li>
<li class="h2"><a href="#For the definition of the with-timing-output macro, see here.-TOC">For the definition of the with-timing-output macro, see here.</a></li>
<li class="h2"><a href="#Searching-TOC">Searching</a></li>
<li class="h2"><a href="#Trees-TOC">Trees</a></li>
<li class="h2"><a href="#Graphs-TOC">Graphs</a></li>
<li class="h2"><a href="#Strings-TOC">Strings</a></li>
<li class="h2"><a href="#A hash table library-TOC">A hash table library</a></li>
<li class="h2"><a href="#A regular expression library-TOC">A regular expression library</a></li>
<li class="h2"><a href="#Glossary-TOC">Glossary</a></li>
<li class="h2"><a href="#Loading the book code into a Scheme-TOC">Loading the book code into a Scheme</a></li>
<li class="h2"><a href="#Bibliography-TOC">Bibliography</a></li>
</ul></div>
<h2><a name="Preface-TOC">Preface</a></h2>

<p>Why another book about algorithms?</p>
<p>There are already many books about algorithms.  Most provide detailed analyses of topics such as "Big O notation" and are aimed at an academic audience.  As a result, they strive to be comprehensive in their treatment of the topic, and may run to many hundreds of pages in length.</p>
<p>Most books use "industry-standard" programming languages like Java, C++, or even Python.  Some use pseudocode, which is arguably better, or at least not as ephemeral (the world will not always program computers in Java).  It's all very well, but we are interested in implementing algorithms in Scheme, which is not an ALGOL-derived language which distinguishes between statements and expressions and "fundamental" data types and "objects"?</p>
<p>Why Scheme?  Because Java, C++, and Python do not have anything FUNDAMENTAL to say about computing.  They are languages of the moment. By contrast, Scheme is a small, well-designed language that is not tied to particular programming paradigms or hardware architectures. There have even been Scheme CPUs.  It is based on fundamental ideas about an ideal language for computing, that is, expressing the idea of a computational process.  In their paper "Lisp: A language for stratified design", Abelson and Sussman write:</p>
<p><blockquote></p><p>Programming languages should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.  The Scheme dialect of Lisp demonstrates that a very small number of rules for forming expressions, with no restrictions on how they are composed, suffice to form a practical and efficient programming language that is flexible enough to support most of the major programming paradigms in use today.</p><p></blockquote></p>
<p>When we say Scheme is not tied to any particular programming paradigm, we mean that it can be extended by the programmer to use any paradigm: imperative; functional; object-oriented; declarative; and more.</p>
<p>There is something different about S-expressions, the fundamental data structure of Scheme programs, than about the data structures that are used to represent other programming languages.  For one thing, S-expressions possess a conceptual unity, since every expression takes the form of symbols inside nested parentheses, e.g., this procedure to compute the greatest common denominator of two numbers:</p>
<pre>
(define (gcd a b)
  (if (= b 0)
      a
    (gcd b (remainder a b))))
</pre>

<p>As a result of this unity, Lisp programs can express metalinguistic abstractions.  In other words, unlike in say, Java, Python, or Go, the programmer is able to add locally-defined syntax to the language that will allow her to better express her intent when describing a computational process.</p>
<p>Finally, there is very little written material out there for the novice-to-intermediate Scheme programmer (though there are many excellent programs, some of which we will link to in the references). Most of the Scheme content that is available on the internet is either for experts, or misleads beginners with naive, tree-recursive solutions that perform badly (I am certainly guilty of this on my own blog).</p>
<p>Naturally, there are a number of excellent books on Scheme programming, which we will link to from the bibliography.  However, to our knowledge there are no algorithms books that use Scheme.  That is the niche this book is attempting to fill.</p>
<h2><a name="Introduction-TOC">Introduction</a></h2>

<p>What is an <em>algorithm</em>?</p>
<p>An algorithm is a recipe for getting a job done.  Many algorithms are very simple, since many of the jobs we need a computer to do are (or appear to be) quite simple.  For example, we may need to sort a list of numbers, or calculate the distance between two towns on a map.</p>
<p>"Sort a list of numbers" sounds simple, but there is some complexity there that needs to be addressed.  How long is the list?  Is it longer than the available memory on our machine?  Are the numbers in the list in totally random order?  Or are they almost sorted already?</p>
<p>Depending on the answers to these questions, you'll need to choose one sorting algorithm over another.  Some take more memory (space).  Some require more CPU cycles (time).</p>
<p>Unless you are doing very specialized optimization work, you can probably get along quite nicely knowing one or two of the most common algorithms in the area you're currently working in.  If you really need something more advanced, you can always look it up and implement it.</p>
<p>And that brings us to the point of this book.  We will study one or two common algorithms of each type (sorting, searching, etc.).  Then, we will implement these algorithms in the Scheme programming language. As our mastery increases in later chapters, we will take on several "real world" implementation projects, such as writing our own hash tables and a regular expression matcher, all using the basic algorithms we've learned.</p>
<p>Along the way, we will observe several (related) themes that repeat:</p>
<ul>
<li> <em>Divide and conquer</em>: break a problem into smaller sub-problems, solve the sub-problems, and combine the intermediate results to get a final answer.</li>
</ul>
<ul>
<li> <em>Recursion</em>: Do it again, and again, and again, until you're done.</li>
</ul>
<h2><a name="Prerequisites-TOC">Prerequisites</a></h2>

<h3><a name="Familiarity with Scheme-TOC">Familiarity with Scheme</a></h3>

<p>This book does not try to teach the Scheme language.  We assume you have already encountered an introduction to Scheme elsewhere. In particular, you should be pretty comfortable with recursion, since we'll be using it a lot (Scheme uses recursion for iteration by default).  By "comfortable with recursion", we mean that you understand code that looks like this:</p>
<pre>
(define (+ a b)
  (if (= a 0)
      b
    (+ (decr a)
       (incr b))))
</pre>

<p>A good book for learning the basics of Scheme is <em>The Little Schemer</em> by Dan Friedman &amp; Matthias Felleisen.  For more reading recommendations, see the Bibliography.</p>
<h3><a name="Access to a computer with a Scheme Interpreter-TOC">Access to a computer with a Scheme Interpreter</a></h3>

<p>This book's code has been tested with the following combinations of Scheme implementation and operating system:</p>
<p><font color="red">TODO</font>: Fill in tested version numbers in the table below.</p>
<table>
<tr><td> Implementation </td><td> Version </td><td> Platforms         </td></tr><tr><td> Larceny       </td><td> X       </td><td> Windows 10, Linux </td></tr><tr><td> Chez (Petite) </td><td> X       </td><td> Windows 10        </td></tr><tr><td> Gambit        </td><td> X       </td><td> Windows 10, Linux </td></tr><tr><td> Scheme 48     </td><td> 1.9.2   </td><td> Windows 10, Linux </td></tr><tr><td> Kawa          </td><td> 3.0     </td><td> Windows 10, Linux </td></tr><tr><td> JScheme       </td><td> 7.2     </td><td> Windows 10        </td></tr>
</table>

<h3><a name="Required libraries-TOC">Required libraries</a></h3>

<p>The portable module system (which has been tested in all of the implementation/OS combinations in the previous section) can be downloaded from <a href="https://github.com/rmloveland/load-module">https://github.com/rmloveland/load-module</a>.</p>
<p>The code for working with this book can be found at <a href="https://github.com/rmloveland/intro-algos-with-scheme/tree/master/code">https://github.com/rmloveland/intro-algos-with-scheme/tree/master/code</a>.</p>
<p>To load the book's code (<font color="red">TODO</font>: Update these instructions):</p>
<ul>
<li> Copy <code>load-module/load-module.scm</code> into the book's <code>intro-algos-with-scheme/code</code> directory.</li>
<li> Change into the <code>intro-algos-with-scheme/code</code> directory.</li>
<li> Start your Scheme.</li>
<li> Load the module system as follows: <code>(load "load-module.scm")</code></li>
<li> Load the required modules as described at the beginning of each chapter. E.g., <code>(load-module 'mergesort)</code>.</li>
</ul>
<h3><a name="Typographical Conventions-TOC">Typographical Conventions</a></h3>

<p>Procedure names are written in capital letters like this:</p>
<p><code>CHAR-READY?</code></p>
<p>Code samples are usually set off from the surrounding text like this:</p>
<pre>
(define (double n)
  (+ n n))
</pre>

<p>Most procedures are annotated with comments about the input and output types we expect.  These comments serve as a form of documentation. They makes it a little easier to remember (at least part of) what a procedure does without having to read the entire text of the procedure.</p>
<p>For example, given the following procedure we can see that it takes a two Numbers and returns a Number.</p>
<pre>
(define (plus a b)
  ;; Num Num -&gt; Num
  (+ a b))
</pre>

<p>Procedures that are meant to be "internal" A.K.A. not part of a user-visible API are prefixed with a <code>^</code> character, e.g.,</p>
<pre>
  (define (^merge pred a b)
    ;; Pred List List -&gt; List
    ;; Note: this implementation is a no-op.
    '())
</pre>

<p><font color="red">TODO</font>: Finish filling this in -- look at an ORA book for ideas.</p>
<h2><a name="Sorting-TOC">Sorting</a></h2>

<p>The list data structure is ubiquitous in Scheme programming.  One of the most common patterns is to gather up a list of elements, and then process them in turn.  (When we say that something is a "list" in Scheme, we mean that it's actually a linked list.)</p>
<p>For example, we might like to walk down through a directory of files, checking each file for some interesting property.</p>
<pre>
(define (dir-walk* interesting? queue)
  (let ((file #f))
    (lambda ()
      (if (not (null? queue))
          (begin (set! file (car queue))
                 (set! queue (cdr queue))
                 (cond
                  ((file-directory? file)
                   (let ((new-files (directory-files file)))
                     (set! queue
                           (append queue
                                   (filter interesting? (map (lambda (filename)
                                                               (string-append file "/" filename))
                                                             new-files))))
                     (if (interesting? file) file)))
                  ((interesting? file) file)
                  (else #f)))
        #f))))
</pre>

<p><font color="red">TODO</font>: Intro needs to be completely (re)written.</p>
<p>We'll begin our discussion of sorting by implementing the merge sort algorithm.  This is useful for a few reasons:</p>
<ul>
<li> It's a pretty good sorting algorithm.</li>
<li> It's a good example of the generally useful "divide and conquer" strategy for algorithm design.</li>
<li> It suits Scheme because of the way Scheme lists are actually "linked lists".</li>
</ul>
<p>It's also useful because we need to be able to sort before we can search.  As a general rule in this book, we will not use a technique until we have implemented the prerequisite algorithms.  As we just said, a list has to be sorted before it can be searched (efficiently).</p>
<p>If you can understand the merge sort implementation described in this chapter, you should have no problem learning more about (and implementing your own versions of) other sorting algorithms that you encounter.</p>
We'll look at several implementations of merge sort, starting with the naive version you can easily find on the internet that generates a recursive process, and which performs quite badly.  We will then improve on that by implementing an iterative\footnote{An iterative
<p>  process is one that does not consume growing amounts of stack space</p><p>  while it runs.} implementation that is necessarily a bit more complex (but not terribly so), and which performs better.</p>
<p>   <font color="red">TODO</font>: Write the naive version and some tests that exercise it.  We can run those same tests later on against the better implementation.</p>
<p>Merge sort is most easily implemented in two parts that work together:</p>
<ul>
<li> An internal merging procedure that merges two partially sorted lists.  This procedure handles splicing two sublists together in an ordering determined by a predicate such as <code><</code>. It walks both lists, putting things in pairwise order based on which of them is (in the case of <code><</code>) less than the other.  However, it doesn't fully sort the lists; it only works on one item from each list at a time.  That's why we need the driver procedure (described next).</li>
</ul>
<ul>
<li> A user-accessible driver procedure that calls the internal merging procedure repeatedly until all of the sub-lists are sorted, at which point the entire list is sorted.  This feels a bit magical, but in fact there is no magic to it at all.</li>
</ul>
<p>Sometimes it's easier to understand something by looking at its inputs and outputs.  Here are a few examples showing expected inputs and outputs of <code>MERGE</code>, which is our name for the internal merging procedure.</p>
<p>Note: to use the code below</p>
<pre>
  &gt; (load-module 'merge-sort)
  &gt; (merge &lt; '(2 191) '(18 45))
  (2 18 45 191)

  &gt; (merge string&lt;? '("scheme" "hacking") '("is" "fun"))
  ("is" "fun" "scheme" "hacking")
</pre>

<p>You will now have the following additional procedures in your</p><p>environment:</p>
<ul>
<li> MERGE</li>
<li> MERGE-SORT</li>
<li> MERGE-SORT-TRACED works just as MERGE-SORT, but prints some some additional output to make it easier to visualize what is happening.  Specifically, it prints the intermediate results of recursive calls to MERGE to make it easier to see how MERGE-SORT works by building up bigger and bigger sorted sub-lists and merging them together.</li>
</ul>
<p>The user-facing driver procedure will handle calling <code>MERGE</code> repeatedly and splicing the partially sorted lists returned by successive calls to <code>MERGE</code> together into a final list that is fully sorted.</p>
<p>Here are examples showing some expected inputs and outputs of MERGE-SORT:</p>
<pre>
  &gt; (merge-sort '(17 51 55 13 12 75 98 48 98 89 68 86 89 51) &lt;)
  (12 13 17 48 51 51 55 68 75 86 89 89 98 98)
</pre>

<p>As we said above, <code>MERGE</code> splices two lists together in a pairwise ordering determined by a predicate.  In other words, it walks two lists, let's call them <em>A</em> and <em>B</em>, and compares the elements of each list in turn.  It keeps another list, <em>C</em>, where it stores the output.  If the current element from <em>A</em> is less than the current element from <em>B</em>, <code>MERGE</code> pushes it onto the output list <em>C</em>. Otherwise, it pushes the current element from <em>B</em> onto the output list.</p>
<p>Once <code>MERGE</code> has traversed both of its input lists <em>A</em> and <em>B</em>, and processed all the elements of each, it returns its result.</p>
<p>For example, in order for <code>(let ((a '(12 75)) (b '(1024 55))) (merge a b <))</code> to return the output <code>(12 75 1024 55)</code>, <code>MERGE</code> follows these steps:</p>
<ul>
<li> Grab the first item of <code>a</code> (12) and the first item of <code>b</code> (1024).</li>
</ul>
<ul>
<li> Compare 12 and 1024 and pairwise order them using the predicate <code><</code>, yielding an intermediate list <code>'(12 1024)</code>.</li>
</ul>
<ul>
<li> Grab the next element of <code>a</code> (75) and <code>b</code> (55).</li>
</ul>
<ul>
<li> Compare 75 and 55 using <code><</code>, and push the now-ordered pair onto another intermediate list to make <code>'(55 75)</code>.  We now have two intermediate lists, (55 75) and (12 1024).</li>
</ul>
<ul>
<li> MERGE recurs on the intermediate lists '(12 1024) and '(55 75) Since these intermediate lists are each themselves sorted from the previous pass, it (again) walks them in pairwise order, grabbing 12 and 55 and sorting them to make '(12 55), and grabbing 1024 and 75 and sorting them to make '(75 1024).  It then puts the two together to make (12 55 75 1024).</li>
</ul>
<p>For another way of looking at how the above process works, use the MERGE-SORT-TRACED procedure from the 'mergesort module.</p>
<pre>
&gt; (merge-sort-traced '(12 1024 75 55) &lt;)

12
1024

75
55

(55 75)
(12 1024)

(12 55 75 1024)
</pre>

<p>As noted above, the output of <code>MERGE</code> is not a sorted list.  It has been put into "pairwise order".  This is a fancy way of saying that we only compared two elements at a time, one each from <em>A</em> and <em>B</em>, as we were building it.</p>
<p>Based on our description of the merge algorithm above, let's try to generate some inputs to MERGE and guess their expected outputs.</p>
<p>Let's look at the outputs of a few more calls to MERGE with 1, 2, 3, and 4-element lists, respectively, to build our intuition for its behavior.</p>
<pre>
(merge '(769) '(485) &lt;)
; =&gt; (485 769)

(merge '(769 1023) '(485 99) &lt;)
; =&gt; (485 99 769 1023)

(merge '(769 1023 3) '(485 99 293) &lt;)
; =&gt; (485 99 293 769 1023 3)

(merge '(769 1023 3 12) '(485 99 293 13) &lt;)
; =&gt; (485 99 293 13 769 1023 3 12)
</pre>

<p>We can see that:</p>
<ul>
<li> Given 1-element lists, it sorts the 2 elements using the predicate and returns a sorted list.</li>
<li> Given 2-element lists <em>A</em> and <em>B</em>, it returns <code>'(B1 B2 A1 A2)</code>.</li>
<li> Given 3-element lists, it returns '(B1 b2 b3 a1 a2 a3).</li>
<li> Given 4-element lists, it returns</li>
</ul>
<p>Are you seeing the pattern?  Oddly, it appears that MERGE is only merging lists according to a check on the first elements of each list using the supplied predicate, and then leaving the rest of the lists in their original order.</p>
<p>Clearly this is useful but not sufficient to get a list sorted! Intuitively we can see that MERGE is useful as it gets down to shorter lists, since it is able to put everything in sorted order in the "1-element lists" case.</p>
<p>Next let's look at how MERGE behaves with some deliberately "odd" inputs.</p>
<pre>
  ; Case 1
  (merge '() '() &lt;)
  ; =&gt; ()

  ; Case 2
  (merge 19 23 &lt;)
  ; =&gt; (19 23)

  ; Case 3
  (merge 19 '(1 2 3) &lt;)
  ; =&gt; (1 2 3 19)

  ; Case 4
  (merge '() '(485) &lt;)
  ; =&gt; (485)

  ; Case 5
  (merge '19 () &lt;)
  ; =&gt; (19)

  ; Case 6
  (merge '(12) '(485 99 293 13) &lt;)
  ; =&gt; (12 485 99 293 13)

  ; Case 7
  (merge '(12023) '(485 99 293 13) &lt;)
  ; =&gt; (485 99 293 13 12023)
</pre>

<p>We can codify the above behavior in the following specification of cases:</p>
<ul>
<li> The "base case" of <code>(merge '() '() <)</code> should return (). (Case 1)</li>
</ul>
<ul>
<li> MERGE needs to work on numbers as well as lists. (Case 2, 3)</li>
</ul>
<ul>
<li> MERGE should accept an empty list as one of its inputs.</li>
</ul>
<ul>
<li> MERGE should accept as input 2 lists which do not have the same</li>
<p>  number of elements.</p></ul>

<p>We can see from the test cases we generated above that we will have to handle a number of cases to handle, namely:</p>
<ul>
<li> MERGE takes two lists.  If the lists contain strings or numbers as elements, we will need to XXX</li>
</ul>
<ul>
<li> If LEFT and RIGHT are both numbers, "listify" them so MERGE-AUX can work with them.</li>
</ul>
<ul>
<li> If LEFT is just a number, "listify" it so MERGE-AUX can work with it.</li>
</ul>
<ul>
<li> Likewise, if RIGHT is just a number, "listify" it for MERGE-AUX.</li>
</ul>
<ul>
<li> If LEFT and RIGHT are empty, we're done merging. Return the result.</li>
</ul>
<ul>
<li> If LEFT and RIGHT still have elements to be processed, call PRED and run them through MERGE-AUX again.</li>
</ul>
<ul>
<li> If the cases above haven't matched, and LEFT is not NULL?, call MERGE-AUX again.</li>
</ul>
<ul>
<li> If the cases above haven't matched, and RIGHT is not NULL?, call MERGE-AUX again.</li>
</ul>
<pre>
(define (^merge pred l r)
  ;; Procedure List List -&gt; List
  (define (merge-aux pred left right result)
    (cond
     ((and (number? left)     ; Case 1.
           (number? right))
      (merge-aux pred (list left) (list right) result))
     ((number? left)          ; Case 2.
      (merge-aux pred (list left) right result))
     ((number? right)         ; Case 3.
      (merge-aux pred left (list right) result))
     ((and (null? left)       ; Case 4.
           (null? right))
      (reverse result))
     ((and (not (null? left)) ; Case 5.
           (not (null? right)))
      (if (pred (car left)
                (car right))
          (merge-aux pred
                     (cdr left)
                     right
                     (cons (car left) result))
        (merge-aux pred
                   left
                   (cdr right)
                   (cons (car right) result))))
     ((not (null? left))      ; Case 6.
      (merge-aux pred (cdr left) right (cons (car left) result)))
     ((not (null? right))     ; Case 7.
      (merge-aux pred left (cdr right) (cons (car right) result)))
     (else #f)))              ; We should never get here.
  (merge-aux pred l r '()))
</pre>

<h4><a name="Merge Sort-TOC">Merge Sort</a></h4>

<p>Recently I've begun a project to implement a number of basic algorithms in Scheme, which I'd like to eventually grow into a free (as in freedom) ebook. Having just done a Binary Search in Scheme, I thought it would be fun to give merge sort a try.</p>
<p>According to the mighty interwebs, merge sort is a good choice for sorting linked lists (a.k.a., Lisp lists). Unfortunately the only Lisp merge sort implementation examples I've been able to find on the web have been recursive, not iterative.</p>
<p>The implementation described here is an iterative, bottom-up merge sort, written in a functional style. (I daren't say the functional style, lest any real Scheme wizards show up and burn me to a crisp.)</p>
<h5><a name="First, generate a list of random numbers-TOC">First, generate a list of random numbers</a></h5>

<p>In order to have something to sort, we need a procedure that generates a list of random numbers --- note that the docstring is allowed by MIT/GNU Scheme; YMMV with other Schemes.</p>
<pre>
(define (make-list-of-random-numbers list-length max)
  ;; Int Int -&gt; List
  "Make a list of random integers less than MAX that's LIST-LENGTH long."
  (letrec ((maker
            (lambda (list-length max result)
              (let loop ((n list-length) (result '()))
                (if (= n 0)
                    result
                    (loop (- n 1) (cons (random max) result)))))))
    (maker list-length max '())))
</pre>

<h5><a name="Then, write a merge procedure-TOC">Then, write a merge procedure</a></h5>

<p>This implementation of the merge procedure is a straight port of the one described on the Wikipedia Merge Sort page, with one minor difference to make the sort faster 1.</p>
<p>An English description of the merge operation is as follows:</p>
<p>If both items passed in are numbers (or strings), wrap them up in lists and recur. (In this example we only care about sorting numbers)</p>
<p>If both lists are empty, return the result.</p>
<p>If neither list is empty:</p>
<p>If the first item in the first list is "less than" the first item in the second list, cons it onto the result and recur.</p>
<p>Otherwise, cons the first item in the second list on the result and recur.</p>
<p>If the first list still has items in it, cons the first item onto the result and recur.</p>
<p>If the second list still has items in it, cons the first item onto the result and recur.</p>
If none of the above conditions are true, return <code>\#f</code>. I put this here for debugging purposes while writing this code; now that the procedure is debugged, it is never reached. (Note: "debugged" just means I haven't found another bug yet.)

<pre>
(define (rml/merge pred l r)
  (letrec ((merge-aux
            (lambda (pred left right result)
              (cond
               ((and (number? left)
                     (number? right))
                (merge-aux pred
                           (list left)
                           (list right)
                           result))
               ((and (string? left)
                     (string? right))
                (merge-aux pred
                           (list left)
                           (list right)
                           result))
               ((and (null? left)
                     (null? right))
                (reverse result))
               ((and (not (null? left))
                     (not (null? right)))
                (if (pred (car left)
                          (car right))
                    (merge-aux pred
                               (cdr left)
                               right
                               (cons (car left) result))
                  (merge-aux pred
                             left
                             (cdr right)
                             (cons (car right) result))))
               ((not (null? left))
                (merge-aux pred (cdr left) right (cons (car left) result)))
               ((not (null? right))
                (merge-aux pred left (cdr right) (cons (car right) result)))
               (else #f)))))
    (merge-aux pred l r '())))
</pre>

<p>We can run a few merges to get a feel for how it works. The comparison predicate we pass as the first argument will let us sort all kinds of things, but for the purposes of this example we'll stick to numbers:</p>
<pre>
&gt; (rml/merge &lt; '(360 388 577) '(10 811 875 995))
(10 360 388 577 811 875 995)

&gt; (rml/merge &lt; '(8 173 227 463 528 817) '(10 360 388 577 811 875 995))
(8 10 173 227 360 388 463 528 577 811 817 875 995)

&gt; (rml/merge &lt;
           '(218 348 486 520 639 662 764 766 886 957 961 964)
           '(8 10 173 227 360 388 463 528 577 811 817 875 995))
(8 10 173 218 227 348 360 388 463 486 520 528 577 639 662 764 766 811 817 875 886 957 961 964 995)
</pre>

<h5><a name="Finally, do a bottom up iterative merge sort-TOC">Finally, do a bottom up iterative merge sort</a></h5>

<p>It took me a while to figure out how to do the iterative merge sort in a Schemely fashion. As usual, it wasn't until I took the time to model the procedure on paper that I got somewhere. Here's what I wrote in my notebook:</p>
<pre>
;;  XS                   |      RESULT
;;---------------------------------------------

'(5 1 2 9 7 8 4 3 6)            '()
    '(2 9 7 8 4 3 6)            '((1 5))
        '(7 8 4 3 6)            '((2 9) (1 5))
            '(4 3 6)            '((7 8) (2 9) (1 5))
                '(6)            '((3 4) (7 8) (2 9) (1 5))
                 '()            '((6) (3 4) (7 8) (2 9) (1 5))

;; XS is null, and RESULT is not of length 1 (meaning it isn't sorted
;; yet), so we recur, swapping the two:

'((6) (3 4) (7 8) (2 9) (1 5))  '()
          '((7 8) (2 9) (1 5))  '((3 4 6))
                      '((1 5))  '((2 7 8 9) (3 4 6))
                           '()  '((1 5) (2 7 8 9) (3 4 6))

;; Once more XS is null, but RESULT is still not sorted, so we swap
;; and recur again

'((1 5) (2 7 8 9) (3 4 6))      '()
                  '(3 4 6)      '((1 2 5 7 8 9))
                       '()      '((3 4 6) (1 2 5 7 8 9))

;; Same story: swap and recur!

'((3 4 6) (1 2 5 7 8 9))        '()
                     '()        '((1 2 3 4 5 6 7 8 9))

;; Finally, we reach our base case: XS is null, and RESULT is of
;; length 1, meaning that it contains a sorted list

'(1 2 3 4 5 6 7 8 9)
</pre>

<p>This was a really fun little problem to think about and visualize. It just so happens that it fell out in a functional style; usually I don't mind doing a bit of state-bashing, especially if it's procedure-local. Here's the code that does the sort shown above:</p>
<pre>
  (define (rml/merge-sort xs pred)
    (let loop ((xs xs)
               (result '()))
         (cond ((and (null? xs)
                     (null? (cdr result)))
                (car result))
               ((null? xs)
                (loop result
                      xs))
               ((null? (cdr xs))
                (loop (cdr xs)
                      (cons (car xs) result)))
               (else
                (loop (cddr xs)
                      (cons (rml/merge &lt;
                                       (first xs)
                                       (second xs))
                            result))))))
</pre>

<p>That's nice, but how does it perform?</p>
<p>A good test of our merge sort is to compare it to the system's built-in sort procedure. In the case of MIT/GNU Scheme, we'll need to compile our code if we hope to get anywhere close to the system's speed. If your Scheme is interpreted, you don't have to bother of course.</p>
<p>To make the test realistic, we'll create three lists of random numbers: one with 20,000 items, another with 200,000, and finally a giant list of 2,000,000 random numbers. This should give us a good idea of our sort's performance. Here's the output of timing first two sorts, 20,000 and 200,000 2:</p>
<pre>
;;; Load compiled code

(load "mergesort")
;Loading "mergesort.so"... done
;Value: rml/insertion-sort2

;;; Define our lists

(define unsorted-20000 (make-list-of-random-numbers 20000 200000))
;Value: unsorted-20000

(define unsorted-200000 (make-list-of-random-numbers 200000 2000000))
;Value: unsorted-200000

;;; Sort the list with 20,000 items

(with-timing-output (rml/merge-sort unsorted-20000 &lt;))
;Run time:      .03
;GC time:       0.
;Actual time:   .03

(with-timing-output (sort unsorted-20000 &lt;))
;Run time:      .02
;GC time:       0.
;Actual time:   .021

;;; Sort the list with 200,000 items

(with-timing-output (rml/merge-sort unsorted-200000 &lt;))
;Run time:      .23
;GC time:       0.
;Actual time:   .252

(with-timing-output (sort unsorted-200000 &lt;))
;Run time:      .3
;GC time:       0.
;Actual time:   .3
</pre>

<p>As you can see, our sort procedure is on par with the system's for these inputs. Now let's turn up the heat. How about a list with 2,000,000 random numbers?</p>
<pre>
;;; Sort the list with 2,000,000 items

(define unsorted-2000000 (make-list-of-random-numbers 2000000 20000000))
;Value: unsorted-2000000

(with-timing-output (rml/merge-sort4 unsorted-2000000 &lt;))
;Aborting!: out of memory
;GC #34: took:   0.80 (100%) CPU time,   0.10 (100%) real time; free: 11271137
;GC #35: took:   0.70 (100%) CPU time,   0.90  (81%) real time; free: 11271917
;GC #36: took:   0.60 (100%) CPU time,   0.90  (99%) real time; free: 11271917

(with-timing-output (sort unsorted-2000000 &lt;))
;Run time:      2.48
;GC time:       0.
;Actual time:   2.474

</pre>

<p>No go. On a MacBook with 4GB of RAM, our merge sort runs out of memory, while the system sort procedure works just fine. It seems the wizards who implemented this Scheme system knew what they were doing after all!</p>
<p>It should be pretty clear at this point why we're running out of memory. In MIT/GNU Scheme, the system sort procedure uses vectors and mutation (and is no doubt highly tuned for the compiler), whereas we take a relatively brain-dead approach that uses lists and lots of consing. I leave it as an exercise for the reader (or perhaps my future self) to rewrite this code so that it doesn't run out of memory.</p>
<p>Footnotes:</p>
<h1><a name="An earlier implementation started off the sort by "exploding" the list to be sorted so that <code>'(1 2 3)</code> became <code>'((1) (2) (3))</code>. This is convenient for testing purposes, but very expensive. It's also unnecessary after the first round of merging. We avoid the need to explode the list altogether by teaching merge to accept numbers and listify them when they appear. We could also do the same for strings and other types as necessary.-TOC">An earlier implementation started off the sort by "exploding" the list to be sorted so that <code>'(1 2 3)</code> became <code>'((1) (2) (3))</code>. This is convenient for testing purposes, but very expensive. It's also unnecessary after the first round of merging. We avoid the need to explode the list altogether by teaching merge to accept numbers and listify them when they appear. We could also do the same for strings and other types as necessary.</a></h1>

<h2><a name="For the definition of the with-timing-output macro, see here.-TOC">For the definition of the with-timing-output macro, see here.</a></h2>

<h2><a name="Searching-TOC">Searching</a></h2>

<p>Now that we've sorted a list of elements, we can search it.  It turns out that searching through a list of things is much faster if you can sort that list first.</p>
<p>In this section we'll look at a particular type of search algorithm called binary search.  Binary search is so named because it cuts the search space in half with every iteration.</p>
<p>Unlike some other searches, binary search only works on ordered lists of things.  That is why we had to go through the trouble of sorting our list earlier: so that we could search through it now.</p>
<p>Load the binary search library:</p>
<pre>
(load-module 'binary-search)
</pre>

<h3><a name="Binary Search-TOC">Binary Search</a></h3>

<p>Binary search is a method for finding a specific item in a sorted list. Here's how it works:</p>
<p>Binary search works like this:</p>
<ol>
<li class="ordered"> Pick the element in the middle of the list.</li>
<li class="ordered"> Is it the word you're looking for?</li>
</ol>
<p>If yes, you're done.</p>
<p>If no, check it against the element you're looking for:</p>
<p>If it's less than the element you're looking for:</p>
<p>Split the list in half at the current element</p>
<p>Search again, this time using only the high half of the list as input</p>
<p>If it's greater than the element you're looking for:</p>
<ol>
<li class="ordered"> Split the list in half at the current element</li>
<li class="ordered"> Search again, this time using only the low half of the list as</li>
<p>input</p></ol>

<p><font color="red">TODO</font>: Merge the above and below descriptions.</p>
<p>Take a guess that the item you want is in the middle of the current search "window" (when you start, the search window is the entire list).</p>
<p>If the item is where you guessed it would be, return the index (the location of your guess).</p>
<p>If your guess is "less than" the item you want (based on a comparison function you choose), recur, this time raising the "bottom" of the search window to the midway point.</p>
<p>If your guess is "greater than" the item you want (based on your comparison function), recur, this time lowering the "top" of the search window to the midway point.</p>
<p>In other words, you cut the size of the search window in half every time through the loop. This gives you a worst-case running time of about (/ (log n) (log 2)) steps. This means you can find an item in a sorted list of 20,000,000,000 (twenty billion) items in about 34 steps.</p>
<h4><a name="Reading lines from a file-TOC">Reading lines from a file</a></h4>

<p>Before I could start writing a binary search, I needed a sorted list of items. I decided to work with a sorted list of words from /usr/share/dict/words, so I wrote a couple of little procedures to make a list of words from a subset of that file. (I didn't want to read the entire large file into a list in memory.)</p>
Note: Both <code>format</code> and the Lisp-inspired <code>\#!optional</code> keyword are available in MIT Scheme; they made writing the re-matches? procedure more convenient.

<p>re-matches? checks if a regular expression matches a string (in this case, a line from a file).</p>
<p>make-list-of-words-matching is used to loop over the lines of the words file and return a list of lines matching the provided regular expression.  Now I have the tools I need to make my word list.</p>
<pre>
(load-option 'format)

(define (re-matches? re line #!optional display-matches)
  ;; Regex String . Boolean -&gt; Boolean
  "Attempt to match RE against LINE. Print the match if DISPLAY-MATCHES is set."
  (let ((match (re-string-match re line)))
    (if match
        (if (not (default-object? display-matches))
            (begin (format #t "|~A|~%" (re-match-extract line match 0))
                   #t)
            #t)
        #f)))

(define (make-list-of-words-matching re file)
  ;; Regex String -&gt; List
  "Given a regular expression RE, loop over FILE, gathering matches."
  (call-with-input-file file
    (lambda (port)
      (let loop ((source (read-line port)) (sink '()))
        (if (eof-object? source)
            sink
            (loop (read-line port) (if (re-matches? re source)
                             (cons source sink)
                             sink)))))))
</pre>

Since I am not one of the 10\% of programmers who can implement a correct binary search on paper, I started out by writing a test procedure. The test procedure grew over time as I found bugs and read an interesting discussion about the various edge cases a binary search procedure should handle. These include:

<ul>
<li> Empty list</li>
<li> List has one word</li>
<li> List has two word</li>
<li> Word is not there and "less than" anything in the list</li>
<li> Word is not there and "greater than" anything in the list</li>
<li> Word is first item</li>
<li> Word is last item</li>
<li> List is all one word</li>
</ul>
<p>If multiple copies of word are in list, return the first word found (this could be implemented to return the first or last duplicated word)</p>
<p>Furthermore, I added a few "sanity checks" that check the return values against known outputs. Here are the relevant procedures:</p>
<p>assert= checks two numbers for equality and prints a result</p>
<p>assert-equal checks two Scheme objects against each other with equal? and prints a result</p>
<p>run-binary-search-tests reads in words from a file and runs all of our tests</p>
<pre>
(define (assert= expected got #!optional noise)
  ;; Int Int -&gt; IO
  (if (= expected got)
      (format #t "~A is ~A\t...ok~%" expected got)
      (format #t "~A is not ~A\t...FAIL~%" expected got)))

(define (assert-equal? expected got #!optional noise)
  ;; Thing Thing -&gt; IO
  (if (equal? expected got)
      (format #t "~A is ~A\t...ok~%" expected got)
      (format #t "~A is not ~A\t...FAIL~%" expected got)))

(define (run-binary-search-tests)
  ;; -&gt; IO
  "Run our binary search tests using known words from the 'words' file.
This file should be in the current working directory."
  (with-working-directory-pathname (pwd)
    (lambda ()
      (if (file-exists? "words")
          (begin
            (format #t "file 'words' exists, making a list...~%")
            (let* ((unsorted (make-list-of-words-matching "acc" "words"))
                   (sorted (sort unsorted string&lt;?)))
              (format #t "doing binary searches...~%")
              (assert-equal? #f (binary-search "test" '())) ; empty list
              (assert-equal? #f (binary-search "aardvark" sorted)) ; element absent and too small
              (assert-equal? #f (binary-search "zebra" sorted)) ; element absent and too large
              (assert= 0 (binary-search "accusive" '("accusive"))) ; list of length one
              (assert= 0 (binary-search "acca" sorted)) ; first element of list
              (assert= 1 (binary-search "aardvark" '("aardvark" "aardvark" "babylon"))) ; multiple copies of word in list
              (assert= 1 (binary-search "barbaric" '("accusive" "barbaric"))) ; list of length two
              (assert= 98 (binary-search "acclamator" sorted))
              (assert= 127 (binary-search "aardvark" (map (lambda (x) "aardvark") test-list))) ; list is all one value
              (assert= 143 (binary-search "accomplice" sorted))
              (assert= 254 (binary-search "accustomedly" sorted))
              (assert= 255 (binary-search "accustomedness" sorted)))))))) ; last element of list
</pre>

<h4><a name="The binary search procedure-TOC">The binary search procedure</a></h4>

<p>Finally, here's the binary search procedure; it uses a couple of helper procedures for clarity.</p>
<p>->int is a helper procedure that does a quick and dirty integer conversion on its argument</p>
<p>split-difference takes a low and high number and returns the floor of the halfway point between the two</p>
<p>binary-search takes an optional debug-print argument that I used a lot while debugging. The format statements and the optional argument tests add a lot of bulk --- now that the procedure is debugged, they can probably be removed. (Aside: I wonder how much "elegant" code started out like this and was revised after sufficient initial testing and debugging?)</p>
<pre>
(define (-&gt;int n)
  ;; Number -&gt; Int
  "Given a number N, return its integer representation.
N can be an integer or flonum (yes, it's quick and dirty)."
  (flo:floor-&gt;exact (exact-&gt;inexact n)))

(define (split-difference low high)
  ;; Int Int -&gt; Int
  "Given two numbers, return their rough average."
  (if (= (- high low) 1)
      1
    (-&gt;int (/ (- high low) 2))))

(define (binary-search word xs #!optional debug-print)
  ;; String List -&gt; Int
  "Do binary search of list XS for WORD. Return the index found, or #f."
  (if (null? xs)
      #f
    (let loop ((low 0) (high (- (length xs) 1)))
         (let* ((try (+ low (split-difference low high)))
                (word-at-try (list-ref xs try)))
           (cond
            ((string=? word-at-try word) try)
            ((&lt; (- high low) 1) #f)
            ((= (- high try) 1)
             (if (string=? (list-ref xs low) word)
                 low
               #f))
            ((string&lt;? word-at-try word)
             (if (not (default-object? debug-print))
                 (begin (format #f "(string&lt;? ~A ~A) -&gt; #t~%try: ~A high: ~A low: ~A ~2%" %
                                 word-at-try word try high low)
                        (loop (+ 1 try) high)) ; raise the bottom of the window
                        (loop (+ 1 try) high)))
            ((string&gt;? word-at-try word)
             (if (not (default-object? debug-print))
                 (begin (format #f "(string&gt;? ~A ~A) -&gt; #t~%try: ~A high: ~A low: ~A ~2%" %
                                 word-at-try word try high low)
                        (loop low (+ 1 try))) ; lower the top of the window
                        (loop low (+ 1 try))))
            (else #f))))))
</pre>

<h4><a name="Takeaways-TOC">Takeaways</a></h4>

<p>This exercise has taught me a lot.</p>
<p>Writing correct code is hard. (I'm confident that this code is not correct.) You need to figure out your invariants and edge cases first. I didn't, and it made things a lot harder.</p>
<p>It's been said a million times, but tests are code. The tests required some debugging of their own.</p>
<p>Once they worked, the tests were extremely helpful. Especially now that I'm at the point where (if this were "for real") additional features would need to be added, the format calls removed, the procedure speeded up, and so on.</p>
<p>I hope this has been useful to some other aspiring Scheme wizards out there. Happy Hacking!</p>
<h2><a name="Trees-TOC">Trees</a></h2>

<h3><a name="Binary trees-TOC">Binary trees</a></h3>

<p>CSRMs: constructors, selectors, recognizers, and mutators.</p>
<p>Load the library:</p>
<pre>
&gt; (load-module 'binary-tree)
</pre>

<p>Basic operations:</p>
<ul>
<li> creation</li>
<li> insertion</li>
<li> updating (destructive/in-place)</li>
<li> deletion</li>
</ul>
<p>Walking the tree using higher order functions (see notes from ADuni lectures).</p>
<p><font color="red">TODO</font>: Mention tree-sort here, and note that this is only fast if the tree is already balanced, so give the "slow version" first, since balanced trees are not introduced yet. Explain why it can be slow.</p>
<h3><a name="Balanced binary trees-TOC">Balanced binary trees</a></h3>

<p><font color="red">TODO</font>: Red-black tree or AVL tree? AVL is supposedly simpler to implement but red-black is said to have superior tree rotation runtime -- once we have a self-balancing tree of either type we can write the "fast" treesort!</p>
<p><font color="red">TODO</font>: Mention that when trees are balanced, then TREE-SORT can now be fast.  Add a link back to the TREE-SORT section from here.</p>
<p><font color="red">TODO</font>: Write sections for the following operations:</p>
<ul>
<li> balancing (on insert?)</li>
<li> searching</li>
</ul>
<h2><a name="Graphs-TOC">Graphs</a></h2>

<p><font color="red">TODO</font>: How to represent graphs with another data structure: matrix, hash table, or association list. We might want to implement our own hash tables first using balanced binary trees -- that would be way cool!</p>
<p>In other words, it might be cool to build everything from the</p><p>bottom up, e.g.:</p>
<ol>
<li class="ordered"> Balanced binary tree</li>
<li class="ordered"> Hash Table</li>
<li class="ordered"> Graph (using hash table representation)</li>
</ol>
<p>Write an implement the following:</p>
<ul>
<li> Traversal</li>
<li> Search: DFS, BFS, Dijkstra's Algorithm, A*</li>
</ul>
<h3><a name="Searching Graphs-TOC">Searching Graphs</a></h3>

<h4><a name="Depth-first search-TOC">Depth-first search</a></h4>

<p><font color="red">TODO</font>: Add winston-horn-network.png here.</p>
<p>I've been having fun translating some of the code in Winston and Horn's <em>Lisp</em> into Scheme.  This book is amazing --- clearly written, with lots of motivating examples and applications.  As SICP is to language implementation, <em>Lisp</em> is to application development, with chapters covering constraint propagation, forward and backward chaining, simulation, object-oriented programming, and so on.  And it does include the obligatory Lisp interpreter in one chapter, if you're into that sort of thing.</p>
<p>In this installment, based on Chapter 19, we will look at some simple strategies for searching for a path between two nodes on a network (a graph).  The network we'll be using is shown in the diagram above.</p>
<p>Here's the same network, represented as an alist where each <code>CAR:CDR</code> pair represents a <code>NODE:NEIGHBORS</code> relationship:</p>
<pre>
'((f e)
  (e b d f)
  (d s a e)
  (c b)
  (b a c e)
  (a s b d)
  (s a d))
</pre>

<p>The high-level strategy the authors use is to traverse the network, building up a list of partial paths.  If a partial path ever reaches the point where it describes a full path between the two network nodes we're after, we've been successful.</p>
<p>As with trees, we can do either a breadth-first or depth-first traversal.  Here's what the intermediate partial paths will look like for a breadth-first traversal that builds a path between nodes <code>S</code> and <code>F</code>:</p>
<pre>
(s)
(s a)
(s d)
(s a b)
(s a d)
(s d a)
(s d e)
(s a b c)
(s a b e)
(s a d e)
(s d a b)
(s d e b)
'(s d e f)
</pre>

<p>Based on that output, we can deduce that every time we visit a node, we want to extend our partial paths list with that node.  Here's one option --- its only problem is that it will happily build circular paths that keep us from ever finding the node we want:</p>
<pre>
(define (%buggy-extend path) ;; Builds circular paths
     (map (lambda (new-node)
            (cons new-node path))
          (%get-neighbor (first path))))
</pre>

(Incidentally, I've become fond of the convention whereby internal procedures that aren't part of a public-facing API are prefixed with the <code>\%</code> character.  This can be found in some parts of the MIT Scheme sources, and I believe it's used in Racket as well.  I've started writing lots of my procedures using this notation to remind me that the code I'm writing is not the real `API', that the design will need more work, and that the current code is just a first draft.  I'm using that convention here.)

<p>Here's a better version that checks if we've already visited the node before adding it to the partial paths list --- as a debugging aid it prints out the current path before extending it:</p>
<pre>
(define (%extend path)
    (display (reverse path))
    (newline)
    (map (lambda (new-node)
           (cons new-node path))
         (filter (lambda (neighbor)
                   (not (member neighbor path)))
                 (%get-neighbor (first path)))))

</pre>

You may have noticed the <code>\%GET-NEIGHBOR</code> procedure; it's just part of some silly data structure bookkeeping code.  Please feel free to deride me in the comments for my use of a global variable.  What can I say?  I'm Scheming like it's 1988 over here!  Here's the boilerplate:

<pre>
(define *neighbors* '())

(define (%add-neighbor! k v)
  (let ((new-neighbor (cons k v)))
    (set! *neighbors*
          (cons new-neighbor *neighbors*))))

(define (%get-neighbor k)
  (let ((val (assoc k *neighbors*)))
    (if val
        (cdr val)
      '())))

(%add-neighbor! 's '(a d))
(%add-neighbor! 'a '(s b d))
(%add-neighbor! 'b '(a c e))
(%add-neighbor! 'c '(b))
(%add-neighbor! 'd '(s a e))
(%add-neighbor! 'e '(b d f))
(%add-neighbor! 'f '(e))
</pre>

Now that we have our data structure and a way to extend our partial path list (non-circularly), we can write the main search procedure, <code>\%BREADTH-FIRST</code>.  The authors have a lovely way of explaining its operation:

<p><blockquote></p><p><code>BREADTH-FIRST</code> is said to do a breadth-first search because it extends all partial paths out to uniform length before extending any to a greater length.</p><p></blockquote></p>
<p>Here's the code, translated to use a more Schemely, iterative named <code>LET</code> instead of the linear-recursive definition from the book:</p>
<pre>
(define (%breadth-first start finish network)
  (let ((queue (list (list start))))
    (let loop ((start start)
               (finish finish)
               (network network)
               (queue queue))
      (cond ((null? queue) '())         ;Queue empty?
            ((equal? finish (first (first queue))) ;Finish found?
             (reverse (first queue)))              ;Return path.
            (else
             (loop start
                   finish               ;Try again.
                   network
                   (append
                    (rest queue)
                    (extend (first queue))))))))) ;New paths in front.

</pre>

<p>(A better way to write this procedure would be to implement a generic internal search procedure that takes its `breadthiness' or `depthiness' as a parameter.  We could then wrap it with nicer public-facing search procedures specific names.)</p>
<p>Meanwhile, back at the REPL, we remind ourselves of what <code><strong>NEIGHBORS</strong></code> actually looks like, and then we search for a path between the nodes <code>S</code> and <code>F</code>.</p>
<pre>
     &gt; *neighbors*
     '((f e) (e b d f) (d s a e) (c b) (b a c e) (a s b d) (s a d))
     &gt; (%breadth-first 's 'f *neighbors*)
     (s)
     (s a)
     (s d)
     (s a b)
     (s a d)
     (s d a)
     (s d e)
     (s a b c)
     (s a b e)
     (s a d e)
     (s d a b)
     (s d e b)
     '(s d e f)
</pre>

<p>What fun!  I can almost imagine using a three-dimensional variant of these searches for a space wargame with wormhole travel.  Except, you know, they'd need to be much faster and more skillfully implemented. There's also the tiny requirement to write the surrounding game.</p>
<p>It shouldn't need to be said, but: Of course the authors knew better; they were trying to hide that unnecessary complexity from you until later.</p>
<h4><a name="Shortest path between nodes (aka Breadth-first search)-TOC">Shortest path between nodes (aka Breadth-first search)</a></h4>

<h3><a name="Graph coloring-TOC">Graph coloring</a></h3>

<h2><a name="Strings-TOC">Strings</a></h2>

<p><font color="red">TODO</font>: Figure out what the (say) 2-3 most basic algorithms are that we need to cover.</p>
<h2><a name="A hash table library-TOC">A hash table library</a></h2>

<p>In this chapter, we're going to implement our own hash tables.</p>
<p>In day-to-day programming, the hash table is probably the most important real-world data structure.</p>
<p>The hash table also gives us a nice real-world proving ground for our algorithms skills, since implementing hash tables requires putting together several different data structures into one --- in other words, it is a <em>compound data structure</em>.</p>
<h2><a name="A regular expression library-TOC">A regular expression library</a></h2>

<p>In this chapter, we're going to implement our own regular expression matching library.</p>
<h2><a name="Glossary-TOC">Glossary</a></h2>

<h3><a name="Iterative process-TOC">Iterative process</a></h3>

<p>In terms of Scheme code, code that describes an iterative process usually looks like this:</p>
<pre>
    (define (+ a b)
      (if (= a 0)
          b
          (+ (decr a)
             (incr b))))
</pre>

<p>You can visualize the operation of an iterative process like this:</p>
<pre>
    (+ 4 3)
    (+ 3 4)
    (+ 2 5)
    (+ 1 6)
    (+ 0 7)
    7
</pre>

<p>Notice how the "shape" of the successive calls to <em>+</em> stays the same "size"?  In other words, it doesn't grow out to the right.</p>
<p>Using Big O notation <a href="./3.html">3</a>, you can say that <em>+</em> uses <em>O(1)</em> space (memory), and <em>O(n)</em> time (CPU).</p>
<h3><a name="Recursive Process-TOC">Recursive Process</a></h3>

<p>A recursive process is one that consumes growing amounts of stack space while it runs.  It terms of Scheme code, code that describes a recursive process usually looks like this:</p>
<pre>
(define (incr n) (+ n 1))
(define (decr n) (- n 1))

(define (+ a b)
  (if (= a 0)
      b
      (incr (+ (decr a) b))))

</pre>

<p>You can visualize the operation of a recursive process like this:</p>
<pre>
(+ 3 4)
(incr (+ (decr 3) 4))
(incr (incr (+ (decr 2) 4)))
(incr (incr (incr (+ (decr 1) 4))))
(incr (incr (incr 4)))
7

</pre>

<p>Notice how the "shape" of the successive calls to <em>+</em> get "larger"?</p>
<p>Using Big O notation, you can say that <em>+</em> uses <em>O(n)</em> time in its first argument and <em>O(n)</em> space in its second.</p>
<h3><a name="Big O Notation-TOC">Big O Notation</a></h3>

<p>"Big O" notation is a way to talk about the resource usage of an algorithm.  This usage can be along several axes:</p>
<ul>
<li> Time (CPU --- how many instructions will it take to compute?)</li>
<li> Space (Memory --- how much storage will it use?)</li>
</ul>
<p>Instead of "resource usage" you can also say the "complexity" of the algorithm.  This is the term you are likely to find in more academic writings.</p>
<p>To be more precise, this notation describes the upper bound of the resource usage.  This means that, even in the worst case scenario, the algorithm will not use more than a given amount of resources.</p>
<p>For more details, check out the following references:</p>
<ul>
<li><a href="https://rob-bell.net/2009/06/a-beginners-guide-to-big-o-notation">https://rob-bell.net/2009/06/a-beginners-guide-to-big-o-notation</a></li>
</ul>
<ul>
<li><a href="http://stackoverflow.com/questions/487258/what-is-a-plain-english-explanation-of-big-o-notation">http://stackoverflow.com/questions/487258/what-is-a-plain-english-explanation-of-big-o-notation</a></li>
</ul>
<ul>
<li><a href="http://bigocheatsheet.com/">http://bigocheatsheet.com/</a></li>
</ul>
<p>The last page has a nice big graph that makes it easy to visualize the different complexities.  Further down the page there are tables that list algorithm complexities for various operations (insert, delete, search) on data structures such as stacks, lists, hash tables, etc. Add this to your bookmarks so you can refer back to it as needed.</p>
<h2><a name="Loading the book code into a Scheme-TOC">Loading the book code into a Scheme</a></h2>

<p><font color="red">TODO</font>: Write instructions for loading the book code into each of the supported Schemes.</p>
<h2><a name="Bibliography-TOC">Bibliography</a></h2>

<ul>
<li> Abelson &amp; Sussman, <em>Structure and Interpretation of Computer Programs</em>, 1st ed., 1986.</li>
<li> Winston &amp; Horn, <em>Lisp</em>, 198?.</li>
<li> Gabriel, <em>Performance and Evaluation of Lisp Systems</em>, 1985.</li>
<li> Rawlins, <em>Compared to What?</em>, ???.</li>
</ul>