Algorithms and OOD (CSC 207 2013F) : Labs
Primary: [Front Door] [Schedule] - [Academic Honesty] [Disabilities] [Email] [FAQ] [IRC] [Teaching & Learning]
Current: [Assignment] [EBoard] [Lab] [Outline] [Partners] [Reading]
Sections: [Assignments] [EBoards] [Examples] [Handouts] [Labs] [Outlines] [Partners] [Readings]
Reference: [Java 7 API] [Java Code Conventions]
Related Courses: [CSC 152 2006S (Rebelsky)] [CSC 207 2013S (Walker)] [CSC 207 2011S (Weinman)]
Misc: [SamR] [Glimmer Labs] [CS@Grinnell] [Grinnell] [Issue Tracker (Course)] [Issue Tracker (Textbook)]
Summary: In today's laboratory, you will explore issues pertaining to search in Java. Along the way, you will not only consider the binary search algorithm, but explore some program design issues in Java.
a. You are likely to find it useful to have the corresponding reading open in another window.
b. Create a new Eclipse project and Java package for this lab. (I'd recommend that you also create a Git repository, but it's up to you.)
c. Create a new class, Utils
, that will hold much of
code that you will write today.
Although the reading introduced a variety of techniques for designing generalized search algorithms, it's probably easiest to start by focusing on a single type.
Implement the following procedure.
/** * Search for val in values, return the index of an instance of val. * * @param val * An integer we're searching for * @param values * A sorted array of integers * @result * index, an integer * @throws Exception * If there is no i s.t. values[i] == val * @pre * values is sorted in increasing order. That is, values[i] < * values[i+1] for all reasonable i. * @post * values[index] == val */ public static int binarySearch (int i, int[] vals) throws Exception { return 0; // STUB } // binarySearch
Evidence suggests that (a) many programmers have difficulty implementing binary search coorectly and (b) many programmers do only casual testing of their binary search algorithm. But it's really easy to write a relatively comprehensive test suit for binary search.
For each s from 1 to 32
Create an array of size s, containing the values 0, 2, 4, ... 2*(s-1)
For all i from 0 to s-1, inclusive
// Make sure that value 2*i is in position i
assert(binarySearch(2*i, array) == i)
// Make sure that odd values are not in the array
assertException(binarySearch(2*i+1, array))
assertException(-1, array)
Implement this test. Then repair any bugs you find in your implementation of binary search.
Note that I've found this test very useful. A surprising number of pieces of code fail just one or two of the many assertions in this test.
Citation: This test is closely based on one suggested by Jon Bentley in a Programming Pearls column.
As binary search is phrased in the reading, when we note that the
middle element is not equal to the target value, we either set
ub
to mid-1
or lb
to
mid+1
. But programmers often get confused by the
need for the +1
and -1
.
Determine experimentally what happens if you leave out the
+1
and -1
. Explain why that result
happens.
In implementing binary search, you either wrote a loop or a recursive procedure. Write a second version of binary search that uses the other approach.
In theory, binary search should take O(log_{2}n) steps. Does it really? Augment each of your methods so that it counts the number of repetitions (loop) or calls (procedure). It's probably easiest to create global variables that you set to 0, and then increment at the top of the loop body or at the start of the procedure.
Build some moderately large arrays (at least 1000 elements) to verify that you get the expected running times.
a. Implement the following procedure:
/** * Find the "smallest" integer in an array of integers */ public static Integer smallest(Integer[] values, Comparator<Integer> compare) { return null; // STUB } // smallest(Integer[])
b. Run your procedure with a comparator that does the standard integer comparison.
c. Run your procedure with a comparator that does reverse integer
comparison (e.g., if x < y, compareTo(x,y)
should
return a positive number.
d. Run your procedure with a comparator that does closest-to-zero comparisons.
Implement a generic binary search that takes a comparator as a parameter.
public static <T> int binarySearch(T value, T[] values, Comparator<T> compare) throws Exception { } // binarySearch
Primary: [Front Door] [Schedule] - [Academic Honesty] [Disabilities] [Email] [FAQ] [IRC] [Teaching & Learning]
Current: [Assignment] [EBoard] [Lab] [Outline] [Partners] [Reading]
Sections: [Assignments] [EBoards] [Examples] [Handouts] [Labs] [Outlines] [Partners] [Readings]
Reference: [Java 7 API] [Java Code Conventions]
Related Courses: [CSC 152 2006S (Rebelsky)] [CSC 207 2013S (Walker)] [CSC 207 2011S (Weinman)]
Misc: [SamR] [Glimmer Labs] [CS@Grinnell] [Grinnell] [Issue Tracker (Course)] [Issue Tracker (Textbook)]
Copyright (c) 2013 Samuel A. Rebelsky.
This work is licensed under a Creative Commons Attribution 3.0 Unported License. To view a copy of this
license, visit http://creativecommons.org/licenses/by/3.0/
or send a letter to Creative Commons, 543 Howard Street, 5th Floor,
San Francisco, California, 94105, USA.