How to Design Programs phần 4 ppt

-170- Hence it is a good idea to introduce a variable definition per node and to use the variable thereafter. To make things easy, we use Carl to stand for the child structure that describes Carl, and so on. The complete transliteration of the family tree into Scheme can be found in figure 36 . ;; Oldest Generation: (define Carl (make-child empty empty 'Carl 1926 'green)) (define Bettina (make-child empty empty 'Bettina 1926 'green)) ;; Middle Generation: (define Adam (make-child Carl Bettina 'Adam 1950 'yellow)) (define Dave (make-child Carl Bettina 'Dave 1955 'black)) (define Eva (make-child Carl Bettina 'Eva 1965 'blue)) (define Fred (make-child empty empty 'Fred 1966 'pink)) ;; Youngest Generation: (define Gustav (make-child Fred Eva 'Gustav 1988 'brown)) Figure 36: A Scheme representation of the sample family tree The structure definitions in figure 36 naturally correspond to an image of deeply nested boxes. Each box has five compartments. The first two contain boxes again, which in turn contain boxes in their first two compartments, and so on. Thus, if we were to draw the structure definitions for the family tree using nested boxes, we would quickly be overwhelmed by the details of the picture. Furthermore, the picture would copy certain portions of the tree just like our attempt to use make-child without variable definitions. For these reasons, it is better to imagine the structures as boxes and arrows, as originally drawn in figure 35. In general, a programmer must flexibly switch back and forth between both of these graphical illustrations. For extracting values from structures, the boxes-in-boxes image works best; for finding our way around large collections of interconnected structures, the boxes-and-arrows image works better. Equipped with a firm understanding of the family tree representation, we can turn to the design of functions that consume family trees. Let us first look at a generic function of this kind: ;; fun-for-ftn : ftn -> ??? (define (fun-for-ftn a-ftree) ) After all, we should be able to construct the template without considering the purpose of a function. Since the data definition for ftn s contains two clauses, the template must consist of a cond- expression with two clauses. The first deals with empty , the second with child structures: ;; fun-for-ftn : ftn -> ??? (define (fun-for-ftn a-ftree) (cond [(empty? a-ftree) ] [else ; (child? a-ftree) ])) Furthermore, for the first clause, the input is atomic so there is nothing further to be done. For the second clause, though, the input contains five pieces of information: two other family tree nodes, the person's name, birth date, and eye color: TEAMFLY TEAM FLY PRESENTS -171- ;; fun-for-ftn : ftn -> ??? (define (fun-for-ftn a-ftree) (cond [(empty? a-ftree) ] [else (fun-for-ftn (child-father a-ftree)) (fun-for-ftn (child-mother a-ftree)) (child-name a-ftree) (child-date a-ftree) (child-eyes a-ftree) ])) We also apply fun-for-ftn to the father and mother fields because of the self-references in the second clause of the data definition. Let us now turn to a concrete example: blue-eyed-ancestor? , the function that determines whether anyone in some given family tree has blue eyes: ;; blue-eyed-ancestor? : ftn -> boolean ;; to determine whether a-ftree contains a child ;; structure with 'blue in the eyes field (define (blue-eyed-ancestor? a-ftree) ) Following our recipe, we first develop some examples. Consider the family tree node for Carl. He does not have blue eyes, and because he doesn't have any (known) ancestors in our family tree, the family tree represented by this node does not contain a person with blue eyes. In short, (blue-eyed-ancestor? Carl) evaluates to false . In contrast, the family tree represented by Gustav contains a node for Eva who does have blue eyes. Hence (blue-eyed-ancestor? Gustav) evaluates to true . The function template is like that of fun-for-ftn , except that we use the name blue-eyed- ancestor? . As always, we use the template to guide the function design. First we assume that (empty? a-ftree) holds. In that case, the family tree is empty, and nobody has blue eyes. Hence the answer must be false . The second clause of the template contains several expressions, which we must interpret: 1. (blue-eyed-ancestor? (child-father a-ftree)) , which determines whether someone in the father's ftn has blue eyes; 2. (blue-eyed-ancestor? (child-mother a-ftree)) , which determines whether someone in the mother's ftn has blue eyes; 3. (child-name a-ftree) , which extracts the child 's name; 4. (child-date a-ftree) , which extracts the child 's date of birth; and 5. (child-eyes a-ftree) , which extracts the child 's eye color. TEAMFLY TEAM FLY PRESENTS -172- It is now up to us to use these values properly. Clearly, if the child structure contains 'blue in the eyes field, the function's answer is true. Otherwise, the function produces true if there is a blue-eyed person in either the father's or the mother's family tree. The rest of the data is useless. Our discussion suggests that we formulate a conditional expression and that the first condition is (symbol=? (child-eyes a-ftree) 'blue) The two recursions are the other two conditions. If either one produces true , the function produces true . The else -clause produces false . In summary, the answer in the second clause is the expression: (cond [(symbol=? (child-eyes a-ftree) 'blue) true] [(blue-eyed-ancestor? (child-father a-ftree)) true] [(blue-eyed-ancestor? (child-mother a-ftree)) true] [else false]) The first definition in figure 37 pulls everything together. The second definition shows how to formulate this cond-expression as an equivalent or-expression, testing one condition after the next, until one of them is true or all of them have evaluated to false . ;; blue-eyed-ancestor? : ftn -> boolean ;; to determine whether a-ftree contains a child ;; structure with 'blue in the eyes field ;; version 1: using a nested cond-expression (define (blue-eyed-ancestor? a-ftree) (cond [(empty? a-ftree) false] [else (cond [(symbol=? (child-eyes a-ftree) 'blue) true] [(blue-eyed-ancestor? (child-father a-ftree)) true] [(blue-eyed-ancestor? (child-mother a-ftree)) true] [else false])])) ;; blue-eyed-ancestor? : ftn -> boolean ;; to determine whether a-ftree contains a child ;; structure with 'blue in the eyes field ;; version 2: using an or-expression (define (blue-eyed-ancestor? a-ftree) (cond [(empty? a-ftree) false] [else (or (symbol=? (child-eyes a-ftree) 'blue) (or (blue-eyed-ancestor? (child-father a-ftree)) (blue-eyed-ancestor? (child-mother a-ftree))))])) Figure 37: Two functions for finding a blue-eyed ancestor The function blue-eyed-ancestor? is unusual in that it uses the recursions as conditions in a cond-expressions. To understand how this works, let us evaluate an application of blue-eyed- ancestor? to Carl by hand: (blue-eyed-ancestor? Carl) TEAMFLY TEAM FLY PRESENTS -173- = (blue-eyed-ancestor? (make-child empty empty 'Carl 1926 'green)) = (cond [(empty? (make-child empty empty 'Carl 1926 'green)) false] [else (cond [(symbol=? (child-eyes (make-child empty empty 'Carl 1926 'green)) 'blue) true] [(blue-eyed-ancestor? (child-father (make-child empty empty 'Carl 1926 'green))) true] [(blue-eyed-ancestor? (child-mother (make-child empty empty 'Carl 1926 'green))) true] [else false])]) = (cond [(symbol=? 'green 'blue) true] [(blue-eyed-ancestor? empty) true] [(blue-eyed-ancestor? empty) true] [else false]) = (cond [false true] [false true] [false true] [else false]) = false The evaluation confirms that blue-eyed-ancestor? works properly for Carl , and it also illustrates how the function works. Exercise 14.1.1. The second definition of blue-eyed-ancestor? in figure 37 uses an or- expression instead of a nested conditional. Use a hand-evaluation to show that this definition produces the same output for the inputs empty and Carl . Exercise 14.1.2. Confirm that (blue-eyed-ancestor? empty) evaluates to false with a hand-evaluation. Evaluate (blue-eyed-ancestor? Gustav) by hand and with DrScheme. For the hand- evaluation, skip those steps in the evaluation that concern extractions, comparisons, and conditions involving empty? . Also reuse established equations where possible, especially the one above. Exercise 14.1.3. Develop count-persons . The function consumes a family tree node and produces the number of people in the corresponding family tree. Exercise 14.1.4. Develop the function average-age . It consumes a family tree node and the current year. It produces the average age of all people in the family tree. Exercise 14.1.5. Develop the function eye-colors , which consumes a family tree node and produces a list of all eye colors in the tree. An eye color may occur more than once in the list. TEAMFLY TEAM FLY PRESENTS -174- Hint: Use the Scheme operation append , which consumes two lists and produces the concatenation of the two lists. For example: (append (list 'a 'b 'c) (list 'd 'e)) = (list 'a 'b 'c 'd 'e) We discuss the development of functions like append in section 17. Exercise 14.1.6. Suppose we need the function proper-blue-eyed-ancestor? . It is like blue-eyed-ancestor? but responds with true only when some proper ancestor, not the given one, has blue eyes. The contract for this new function is the same as for the old one: ;; proper-blue-eyed-ancestor? : ftn -> boolean ;; to determine whether a-ftree has a blue-eyed ancestor (define (proper-blue-eyed-ancestor? a-ftree) ) The results differ slightly. To appreciate the difference, we need to look at Eva, who is blue-eyed, but does not have a blue- eyed ancestor. Hence (blue-eyed-ancestor? Eva) is true but (proper-blue-eyed-ancestor? Eva) is false . After all Eva is not a proper ancestor of herself. Suppose a friend sees the purpose statement and comes up with this solution: (define (proper-blue-eyed-ancestor? a-ftree) (cond [(empty? a-ftree) false] [else (or (proper-blue-eyed-ancestor? (child-father a-ftree)) (proper-blue-eyed-ancestor? (child-mother a-ftree)))])) What would be the result of (proper-blue-eyed-ancestor? A) for any ftn A ? Fix the friend's solution. 14.2 Extended Exercise: Binary Search Trees Programmers often work with trees, though rarely with family trees. A particularly well-known form of tree is the binary search tree. Many applications employ binary search trees to store and to retrieve information. To be concrete, we discuss binary trees that manage information about people. In this context, a binary tree is similar to a family tree but instead of child structures it contains nodes: TEAMFLY TEAM FLY PRESENTS -175- (define-struct node (ssn name left right)) Here we have decided to record the social security number, the name, and two other trees. The latter are like the parent fields of family trees, though the relationship between a node and its left and right trees is not based on family relationships. The corresponding data definition is just like the one for family trees: A binary-tree (short: BT) is either 1. false ; or 2. (make-node soc pn lft rgt) where soc is a number, pn is a symbol, and lft and rgt are BT s. The choice of false to indicate lack of information is arbitrary. We could have chosen empty again, but false is an equally good and equally frequent choice that we should become familiar with. Here are two binary trees: (make-node 15 'd false (make-node 24 'i false false)) (make-node 15 'd (make-node 87 'h false false) false) Figure 38 shows how we should think about such trees. The trees are drawn upside down, that is, with the root at the top and the crown of the tree at the bottom. Each circle corresponds to a node, labeled with the ssn field of a corresponding node structure. The trees omit false . Exercise 14.2.1. Draw the two trees above in the manner of figure 38. Then develop contains-bt . The function consumes a number and a BT and determines whether the number occurs in the tree. Exercise 14.2.2. Develop search-bt . The function consumes a number n and a BT . If the tree contains a node structure whose soc field is n , the function produces the value of the pn field in that node. Otherwise, the function produces false . Hint: Use contains-bt . Or, use boolean? to find out whether search-bt was successfully used on a subtree. We will discuss this second technique, called backtracking, in the intermezzo at the end of this part. Tree A: Tree B: TEAMFLY TEAM FLY PRESENTS -176- Figure 38: A binary search tree and a binary tree Both trees in figure 38 are binary trees but they differ in a significant way. If we read the numbers in the two trees from left to right we obtain two sequences: The sequence for tree A is sorted in ascending order, the one for B is not. A binary tree that has an ordered sequence of information is a BINARY SEARCH TREE. Every binary search tree is a binary tree, but not every binary tree is a binary search tree. We say that the class of binary search trees is a PROPER SUBCLASS of that of binary trees, that is, a class that does not contain all binary trees. More concretely, we formulate a condition or data invariant that distinguishes a binary search tree from a binary tree: The BST Invariant A binary-search-tree (short: BST) is a BT : 1. false is always a BST ; 2. (make-node soc pn lft rgt) is a BST if a. lft and rgt are BST s, b. all ssn numbers in lft are smaller than soc , and c. all ssn numbers in rgt are larger than soc . The second and third conditions are different from what we have seen in previous data definitions. They place an additional and unusual burden on the construction BST s. We must inspect all numbers in these trees and ensure that they are smaller (or larger) than soc . Exercise 14.2.3. Develop the function inorder . It consumes a binary tree and produces a list of all the ssn numbers in the tree. The list contains the numbers in the left-to-right order we have used above. Hint: Use the Scheme operation append, which concatenates lists: (append (list 1 2 3) (list 4) (list 5 6 7)) evaluates to (list 1 2 3 4 5 6 7) TEAMFLY TEAM FLY PRESENTS -177- What does inorder produce for a binary search tree? Looking for a specific node in a BST takes fewer steps than looking for the same node in a BT . To find out whether a BT contains a node with a specific ssn field, a function may have to look at every node of the tree. In contrast, to inspect a binary search tree requires far fewer inspections than that. Suppose we are given the BST: (make-node 66 'a L R) If we are looking for 66 , we have found it. Now suppose we are looking for 63 . Given the above node , we can focus the search on L because all node s with ssn s smaller than 66 are in L . Similarly, if we were to look for 99 , we would ignore L and focus on R because all node s with ssn s larger than 66 are in R . Exercise 14.2.4. Develop search-bst . The function consumes a number n and a BST . If the tree contains a node structure whose soc field is n , the function produces the value of the pn field in that node. Otherwise, the function produces false . The function organization must exploit the BST Invariant so that the function performs as few comparisons as necessary. Compare searching in binary search trees with searching in sorted lists (exercise 12.2.2). Building a binary tree is easy; building a binary search tree is a complicated, error-prone affair. To create a BT we combine two BT s, an ssn number and a name with make-node . The result is, by definition, a BT . To create a BST , this procedure fails because the result would typically not be a BST . For example, if one tree contains 3 and 5 , and the other one contains 2 and 6 , there is no way to join these two BST s into a single binary search tree. We can overcome this problem in (at least) two ways. First, given a list of numbers and symbols, we can determine by hand what the corresponding BST should look like and then use make-node to build it. Second, we can write a function that builds a BST from the list, one node after another. Exercise 14.2.5. Develop the function create-bst . It consumes a BST B , a number N , and a symbol S . It produces a BST that is just like B and that in place of one false subtree contains the node structure (make-node N S false false) Test the function with (create-bst false 66 'a) ; this should create a single node . Then show that the following holds: (create-bst (create-bst false 66 'a) 53 'b) = (make-node 66 'a (make-node 53 'b false false) false) Finally, create tree A from figure 38 using create-bst . Exercise 14.2.6. Develop the function create-bst-from-list. It consumes a list of numbers and names; it produces a BST by repeatedly applying create-bst. TEAMFLY TEAM FLY PRESENTS -178- The data definition for a list of numbers and names is as follows: A list-of-number/name is either 1. empty or 2. (cons (list ssn nom) lonn) where ssn is a number, nom a symbol, and lonn is a list-of-number/name . Consider the following examples: (define sample '((99 o) (77 l) (24 i) (10 h) (95 g) (15 d) (89 c) (29 b) (63 a))) (define sample (list (list 99 'o) (list 77 'l) (list 24 'i) (list 10 'h) (list 95 'g) (list 15 'd) (list 89 'c) (list 29 'b) (list 63 'a))) They are equivalent, although the left one is defined with the quote abbreviation, the right one using list . The left tree in figure 38 is the result of using create-bst-from-list on this list. 14.3 Lists in Lists The World Wide Web, or just ``the Web,'' has become the most interesting part of the Internet, a global network of computers. Roughly speaking, the Web is a collection of Web pages. Each Web page is a sequence of words, pictures, movies, audio messages, and many more things. Most important, Web pages also contain links to other Web pages. A Web browser enables people to view Web pages. It presents a Web page as a sequence of words, images, and so on. Some of the words on a page may be underlined. Clicking on underlined words leads to a new Web page. Most modern browsers also provide a Web page composer. These are tools that help people create collections of Web pages. A composer can, among other things, search for words or replace one word with another. In short, Web pages are things that we should be able to represent on computers, and there are many functions that process Web pages. TEAMFLY TEAM FLY PRESENTS -179- To simplify our problem, we consider only Web pages of words and nested Web pages. One way of understanding such a page is as a sequence of words and Web pages. This informal description suggests a natural representation of Web pages as lists of symbols, which represent words, and Web pages, which represent nested Web pages. After all, we have emphasized before that a list may contain different kinds of things. Still, when we spell out this idea as a data definition, we get something rather unusual: A Web-page (short: WP) is either 1. empty ; 2. (cons s wp) where s is a symbol and wp is a Web page; or 3. (cons ewp wp) where both ewp and wp are Web pages. This data definition differs from that of a list of symbols in that it has three clauses instead of two and that it has three self-references instead of one. Of these self-references, the one at the beginning of a cons tructed list is the most unusual. We refer to such Web pages as immediately embedded Web pages. Because the data definition is unusual, we construct some examples of Web pages before we continue. Here is a plain page: '(The TeachScheme! Project aims to improve the problem-solving and organization skills of high school students. It provides software and lecture notes as well as exercises and solutions for teachers.) It contains nothing but words. Here is a complex page: '(The TeachScheme Web Page Here you can find: (LectureNotes for Teachers) (Guidance for (DrScheme: a Scheme programming environment)) (Exercise Sets) (Solutions for Exercises) For further information: write to scheme@cs) The immediately embedded pages start with parentheses and the symbols 'LectureNotes , 'Guidance , 'Exercises , and 'Solutions . The second embedded Web page contains another embedded page, which starts with the word 'DrScheme . We say this page is embedded with respect to the entire page. Let's develop the function size , which consumes a Web page and produces the number of words that it and all of its embedded pages contain: ;; size : WP -> number ;; to count the number of symbols that occur in a-wp (define (size a-wp) ) The two Web pages above suggest two good examples, but they are too complex. Here are three examples, one per subclass of data: TEAMFLY TEAM FLY PRESENTS [...]... is organized in directories .40 Roughly speaking, a directory contains some files and some more directories The latter are called subdirectories and may contain yet more subdirectories and files, and so on The entire collection is collectively called a file system or a directory tree Y L F M Figure 44 contains a graphical sketch of a small directory tree .41 The tree's root directory is TS It contains... defined to be the directory in figure 44 Which read! file in figure 44 should find discover? Generalize the function to return a list of paths if the file name occurs more than once Each path should lead to a different occurrence, and there should be a path for each occurrence A E T 40 On some computers, a directory is called a folder 41 The picture explains why computer scientists call such directories... directly applies to dirs and LOFDs More concretely, to design a function that processes dirs, we must develop templates for dir-processing functions and LOFD-processing functions in parallel Exercise 16.2.3 Show how to model a directory with two more attributes: a size and a systems attribute The former measures how much space the directory itself (as opposed to its files and subdirectories) consumes;... function consumes a directory and computes the total size of all the files in the entire directory tree This function approximates a true disk-usage meter in that it assumes that directories don't require storage Refine the function to compute approximate sizes for subdirectories Let's assume that storing a file and a directory in a dir structure costs 1 storage unit Exercise 16.3 .4 Develop the function... second one captures how a directory is gradually constructed by adding files and directories A closer look at the second data definition shows that the class of directories is the class of Web pages of section 14. 3 Hence we can reuse the template for Web-page processing functions to process directory trees If we were to write a function that consumes a directory (tree) and counts how many files are... and directories, they give us a good idea how such real-world programs work A E T Exercise 16.3.1 Translate the file system in figure 44 into a Scheme representation Remember to use empty for the content of the files To make the exercise more realistic, DrScheme supports the teachpack dir.ss It introduces the two necessary structure definitions and a function to create representations of directories... directory is recognized by the operating system Exercise 16.2 .4 Translate the file system in figure 44 into a Scheme representation according to model 2 Exercise 16.2.5 Develop the function how- many, which consumes a dir according to model 2 and produces the number of files in the dir tree Y L F M Model 3: The second data definition refined the first one with the introduction of attributes for directories... worked on Otherwise we have to reenter everything when we turn it on again Things that a computer is to remember for a long time are put into files A file is a sequence of small pieces of data For our purposes, a file resembles a list; we ignore why and how a computer stores a file in a permanent manner -192TEAM FLY PRESENTS Figure 44 : A sample directory tree It is more important to us that, on most computer... identical to a function that counts the number of words in a Web tree Exercise 16.2.1 Translate the file system in figure 44 into a Scheme representation according to model 1 Y L F M Exercise 16.2.2 Develop the function how- many, which consumes a dir and produces the number of files in the dir tree Model 2: While the first data definition is familiar to us and easy to use, it obscures the nature of directories... Consider the directory tree in figure 44 and let's imagine how it is created When a user first creates a directory, it is empty As time goes by, the user adds files and directories In general, a user refers to files by names but thinks of directories as containers of other things Model 1: Our thought experiment suggests that our first and most primitive model should focus on files as atomic entities, . new . Exercise 14. 3 .4. People do not like deep Web trees because they require too many page switches to reach useful information. For that reason a Web page designer may also want to measure the. hand-evaluation to show that this definition produces the same output for the inputs empty and Carl . Exercise 14. 1.2. Confirm that (blue-eyed-ancestor? empty) evaluates to false with. proper-blue-eyed-ancestor? : ftn -> boolean ;; to determine whether a-ftree has a blue-eyed ancestor (define (proper-blue-eyed-ancestor? a-ftree) ) The results differ slightly. To appreciate the