INFORMATICS 41 • DAVID G. KAY • UC IRVINE • FALL 2011

Lab Assignment 8

This assignment is due at the end of lab on Wednesday, November 23, which is the day before Thanksgiving.

Choose a partner for this twelve-day assignment, someone you haven't worked with already. Choose someone whose Thanksgiving schedule is compatible with yours; if you won't be here for lab on the day before Thanksgiving (when the lab is due), pick someone who's able to work with you for a few extra out-of-lab hours before then.

(a) We have posted some code to implement parts of a music-playing application like iTunes. This is similar to the code we developed in class. You should download, install, and run this code now. And then you should read it. Reading code is an important skill, one that beginning programmers ignore all too often. Sure, code isn't as easy to read as a novel; you need to go over it carefully and ask yourself what it does and how it works. Don't let this intimidate you! Just take it one function at a time.

We used the following data definitions to define a music collection in the form of "albums of songs":

A music collection is a list of albums.
An album is a number (a unique ID number), a string (the artist's name), a string (the title), a number (the year), and a list of songs.
A song is a number (the track number), a string (the title), a number (the length in seconds), and a number (the play count, indicating how many times the song has been played).

These data definitions led us to write these structure definitions:

(define-struct album (id artist title year songs))
(define-struct song (track-num title length play-count))

(a.1) We wrote a function called top-10-songs, which finds the songs in a music collection that have the ten highest play counts. Generalize this function as top-n-songs, which takes a number n and a list of albums and returns a list of the n songs with the highest play count. This is simple given the existing code.

(a.2) Write a function unplayed-songs, which takes a list of albums and returns a list of the songs that have never been played.

(a.3) Write a function favorite-album, which takes a list of albums and returns the album that is the "favorite." We'll define the "favorite" album to be the one that the user has spent the most time listening to. (Hint: The total time the user has spent listening to an album is a function of the play counts and song lengths.)

Try to work out this function out together; that's how you learn. Use the following hints only if you're totally stuck (and then take them just one at a time): (i) Write a function song-listening-time, which takes a single song and returns the total number of seconds the user has spent listening to it (see the hint above). (ii) Write a function album-listening-time, which returns the total listening time for all the songs in an album together. (iii) Write a function album-listening-time>?, which takes two albums and returns true if the total listening time of the first album is greater than the total listening time of the second. (iv) Use quicksort and first-n and the functions you defined to implement favorite-album.

(a.4) Time spent listening to an album isn't the only metric for defining a "favorite" album. Generalize your favorite-album function so that it takes another argument, a "favorite measurement function"; that way, favorite-album can be called with any metric for determining the favorite. (Before you get too far, consider what the appropriate contract for the favorite function might be, if the goal is to find the one and only favorite, rather than a list of many albums that the user likes.) Add a comment after your generalized function that suggests, in English, at least two other ways to define a favorite album; show, for each of your suggestions, how you would call your generalized function to find the favorite album according to your suggestion.

(a.5) One useful option that iTunes provides is a "Search" box, into which you can type a keyword, and iTunes will automatically search your collection for songs containing that keyword in their title, their artist, or their album's title. Implement a function music-search that does the same, returning a list of matching songs given a string containing the search keyword. (You'll likely find the string processing code from Lab 6 helpful; in fact, this entire task is quite similar to a task you did for Lab 6.)

Submit your definitions via Checkmate.

(b) Three of the five functions you wrote in part (a) return a list of songs. Unfortunately, our "album of songs" model for a music collection has a drawback: An individual song by itself doesn't contain enough information to display it usefully (on an iPod screen or on a web page, for example) because the album information is not included. In the code, we solved this problem by introducing a new structure definition that combines information about a song and the album that contains it. That definition looks like this:

    (define-struct song-display (artist a-title year track-num s-title length play-count))

Rewrite top-n-songs, unplayed-songs, and music-search so that they each return a list of song-displays, rather than a list of songs. (Note that if you solved top-n-songs and unplayed-songs using a similar technique to the one we used for top-10-songs, you'll find that you don't have to change very much of your existing code to make this work. On the other hand, it's likely that music-search can be significantly simplified.)

Submit your definitions via Checkmate.

(c) We have talked often in class about how the model (the data structure) that you choose to represent your data can have a profound impact on how hard it is to operate on that data—how difficult it will be to write the code and also how much time it will take for the computer to execute it. Sometimes, the data model you choose may even make some tasks impossible or too inefficient (e.g., you can't search an unordered list in logarithmic time).

Let's consider three ways that we might model a music collection. (This is hardly an exhaustive list, but it includes three alternatives that are available to us based on what we've learned so far this quarter.)

  1. The "album of songs" model we used in parts (a) and (b), where a music collection is a list of albums, each of which contains a list of songs.
  2. The "list of songs" model, where a music collection is represented as a list of song-displays, using the definition of song-display from part (b).
  3. The "BST of albums of songs" model, where a music collection is a binary search tree of albums, each of which contains a list of songs, implemented using the following structure definitions:
        (define-struct node (value left right))
        (define-struct album-info (id artist title year songs))
        (define-struct song-info (track-num title length play-count))
    Each node in the binary search tree contains one album as its value. The albums are sorted in order by the albums' names. An empty binary search tree is represented by empty.

(c.1) Using the "albums of songs" model, write the function album-names, which takes a music collection and returns a list of the names of all albums in the collection.

(c.2) Write the album-names function again, this time so it takes a music collection in the "list of songs" model. A particular album name should only appear once in the output list.

(c.3) Write the album-names function one more time, this time so it takes a "BST of albums of songs."

(c.4) All three of these functions have the same basic contract—take a music collection as input and return a list of the names of all the albums in the collection—but they differ in terms of how they expect the collection to be organized. Will all three functions give the same output if given the same input collection? If not, what will be different about the output of one as opposed to the others? What does your answer to these questions suggest about which of the models are appropriate to use in an actual music application like iTunes?

(c.5) Which of the models would you expect to enable the best implementation of a find-album function, if we measure "best" based on which one will run the fastest if given a music collection with tens of thousands of albums in it? Why?

Collect your definitions and your answers to (c.4) and (c.5), expressed as comments, and submit them to Checkmate.

(d) (optional, but there's a required section after this) A favorite feature of iTunes is the "smart playlist" feature. Rather than selecting songs manually to include into a playlist, a "smart playlist" allows you to specify a set of qualities that a song can have—year of release, play count, artist, and so on—and then allow iTunes to select them for you, and even keep the list updated as your collection changes over time. We can implement this easily in Scheme like this:

    (define smart-playlist
      (lambda (quality-func collection)
        (filter quality-func (all-song-displays collection))))

Recall that all-song-displays is a function that takes a music collection and turns it into a list of song-display structures. (While our version takes an "albums of songs" collection and returned a list of song-displays, you could replace all-song-displays with a function that takes a collection implemented using some other model and transforms it into a list of song displays.) The quality-func parameter is a Scheme function that selects songs that have whatever quality defines our smart playlist.

The challenge in implementing a "smart playlist" feature in Scheme is handling the quality function. While you could easily implement a single quality function, the trick is that you'd like users to be able to specify multiple qualities—say, short songs about love written before 1970. We need a way to combine into one function a series of predicates (here, the length less than, say, 3 minutes; the title containing "love"; and the year less than 1970). One way would be to code up a Scheme function using and. We could do that by hand, but we'd like to design a more automated way.

Suppose we already have a user interface that prompts the user for smart playlist qualities. You've seen this kind of thing: There's a pull-down menu for which field, a pull-down for the comparison operator, and a text field for the value to compare it with, for example. How might that user interface (part of the "view" portion of the program) represent each quality for the "model" part of our program to process? (The "model" part would then have to turn a list of these qualities into Scheme predicates and filter the songs by each item on the list in turn.) One way to represent the qualities (following a common programming idiom) is as "quality-func-options": Each quality-func-option describs one kind of predicate, one kind of question we can ask about a song. Let's say that each quality-func-option will be one of these structures:

;; Songs played by a particular artist.
(define-struct quality-func-artist-option (val))

;; Songs with a particular title.
(define-struct quality-func-title-option (val))

;; Songs released between "from-val" and "to-val".
(define-struct quality-func-year-option (from-val to-val))

;; Songs played at least a specified number of times.
(define-struct quality-func-min-play-count-option (val))

Write a function called make-quality-func that takes a list of quality-func-options and returns a function that takes a song-display and returns true if it is a "quality" song (according to the options given) or false if it's not. When the list of qualities is empty, the quality function should always return true. (Hint: The quality function ends up being a chain of functions, each one checking one quality and then calling the next function in the chain; there's one link in the chain for each quality option in the list.)

Submit your definitions to Checkmate.

(e) In DrRacket, vectors are available in the Advanced Student language. Change to that language in DrRacket and use it for the rest of the quarter.

As we discussed in class, a vector in Scheme is a linear data structure containing a collection of homogeneous items. Vectors are like lists, except that we can access any element of the vector (the first, the last, any one in between) in O(1) (constant) time. That's not true of lists, where to get to the end of the list we have to work our way down the list element by element, (rest L) after (rest L); that's O(n) (linear) time. Vectors achieve constant-time access because they're stored in contiguous memory locations, so we can get the address of any element with one calculation (using the starting address of the vector, the element number, and the size of each element). In Scheme and related languages, lists are the most common structure for collections of data. In many other languages, including Java and C++, vectors (also called arrays) are the most commonly used structure for collections. Both language families offer both lists and vectors/arrays; it's just a question of which idiom is most common in which language.

Figures 81 and 82 in the online version of Chapter 29 of the How to Design Programs text show code for traversing a vector, processing each of its elements. The code in the figures adds up the elements of a vector of numbers, but we can use it as a framework for all kinds of vector processing.

Remember that in most modern programming languages, the elements of a vector are numbered starting at zero; we call this zero-based indexing. That means that (vector-ref V 3), for example, returns the fourth element of V.

(e.1) Figures 81 and 82 show code that sums all the elements in a vector of numbers; Exercise 29.3.6 shows code that sums all the elements in a list of numbers. What's the O-notation for the execution time of the vector-based code? What is it for the list-based code (noting, as the exercise states, that a call to list-ref is O(n))?

(e.2) Define this function:

;; vector-contains-turkey?: vector-of-string -> boolean
;; Return true if the string "turkey" appears anywhere in the vector, and false otherwise

Next, generalize the function to vector-contains? (which might also be called vector-member?):

;; vector-contains?: vector-of-string string -> boolean
;; Return true if the string appears anywhere in the vector, and false otherwise

Next, write a function that says where an item occurs in a vector. It will be easiest if you start at the right end and count downwards.

;; vector-position: vector-of-string string -> number
;; If the string appears in the vector, return its position number (zero-based).
;; If not, return -1.

Finally, write a function that counts the number of times an item occurs in a vector:

;; vector-occurrences: vector-of-string string -> number
;; Return the number of times the string occurs in the vector

(e.3) Define the function vector+ as described below. The easiest way will be to use build-vector. Think of this function using this scenario: You have a class of 47 students, each student takes a two-problem quiz, and all the students' scores for a given problem are stored in a 47-element vector (with the score for Student 1 in the first element, Student 2 in the second, and so on). Then vector+ produces a 47-element vector with the total score on the quiz for each student.

;; vector+: vector-of-number vector-of-number -> vector-of-number
;; Return a vector containing the sum of the corresponding elements in the input vectors

Next, define the function total-quiz-scores that takes as input a list of score vectors as described above (representing the scores on problems 1 through n of some quiz) and returns a vector containing the total scores for each student on the quiz. [Hint: What pattern/template do you use to process a list of anything? Second hint: Draw a picture of this data structure to help you see how it's organized.]

Submit your definitions via Checkmate.

(f) Remember that each partner must complete a partner evaluation form via the Survey tool on eee.uci.edu. Please do this as soon as you complete and submit the lab.

Based in part on ICS H21assignments by David G. Kay; modified by David G. Kay for the Informatics Core Course, Fall 2004, Fall 2005, Fall 2008, Fall 2009, Fall 2010. InfxTunes example by Alex Thornton.


David G. Kay, kay@uci.edu
Thursday, November 10, 2011 10:15 AM