Lab 7: The Two Towers
This week’s lab explores the use of iterators to help solve difficult computational problems.
Be sure that you have read and understood Chapter 8 of Bailey, which introduces the Java Iterator
interface.
Partner Lab
This is a partner lab. You may work with one other person of your choosing, or if you are looking for an extra challenge you may work entirely by yourself. Although you are permitted to jointly develop code with your partner, each of you must independently submit your code. No copying of code is permitted. You must independently retype any code you develop with your partner.
Indicate your partnering arrangement (including those flying solo) by filling out the following form.
You would help finding a partner, please indicate so on the form and we will do our best to find you one.
PRE-LAB: Step 1
To get you started with thinking about the assignment, we would like you to explore iterators with the following warm-up exercise. It is not required that you submit anything for this part of the lab, but we feel that it is well worth the effort to complete this warm-up task.
Warm-up Task
Write an iterator that iterates over the characters of a String
.
Repeated calls to the iterator’s next()
method will return the first character of the string, then the second character, and so on.
More specifically, you should design and implement a class called CharacterIterator
that has the following constructor and method signatures (you may provide additional helper methods and instance variables as you see fit):
public class CharacterIterator extends AbstractIterator<Character> {
public CharacterIterator(String str) { ... }
public Character next() { ... }
public boolean hasNext() { ... }
public void reset() { ... }
public Character get() { ... }
}
The Character
class is a wrapper class for primitive char
values so that we can use char
values with the generic AbstractIterator
class.
You use Character
much like one uses Integer
for int
values.
The Java compiler will automatically convert char
values to Character
objects as necessary via a technique called “autoboxing.”
(Don’t forget to import structure5.*
.)
You may use the following main
method to test your code.
public static void main(String[] args) {
CharacterIterator ci = new CharacterIterator("Hello world!");
for (char c : ci) {
System.out.println(c);
}
}
When running this program, the output should be the characters of the string "Hello world!"
, printed one letter per line:
> javac CharacterIterator.java
> java CharacterIterator
H
e
l
l
o
w
o
r
l
d
!
Note that the syntax in the for
loop uses the “for thing in things” notation that may be familiar to python programmers.
This notation can be used with any iterable structure:
since the CharacterIterator
extends the AbstractIterator
class, and the AbstractIterator
class implements Iterable
, CharacterIterator
implements Iterable
.
To get you started, here is a template for the CharacterIterator
class.
Once you’ve given it a try, here’s a solution.
Lab Assignment
Goal. To solve a computationally complex problem using iterators.
(Note: This lab is a variation of the one given in Chapter 8, modified to use generic classes.)
Discussion. Suppose that we are given \(n\) uniquely-sized cubic blocks and that each block’s face has an area between \(1\) and \(n\). If we build two towers by stacking these blocks, how close can we make their heights? The following two towers, built by stacking 15 blocks, differ in height by only 129 millionths of an inch (each unit is one-tenth of an inch):
Still, this stacking is only the second-best solution! To find the best stacking, we could consider all the possible configurations. We do know one thing: the total height of the two towers is computed by summing the heights of all the blocks. Since each block’s height is the square root the area of one of it’s faces, the height \(h\) is:
\( h = \sum_{i=1}^n \sqrt{i} = \sqrt{1} + \sqrt{2} + … + \sqrt{n} \)
To find the best stacking, we can exhaustively search through every possible combination of the \(n\) blocks.
We can think of a “configuration” as representing the set of blocks that make up, say, the left tower. Think about it: given the full set of blocks and the left tower, we can figure out which blocks comprise the right tower… Our task, then, is to keep track of the configuration that comes closest to \(\frac{h}{2}\) without exceeding it (where \(h\) is the total height of all \(n\) blocks).
In this lab, we will represent a set of \(n\) distinct objects with a Vector<Double>
, and we will construct an Iterator
that returns each of the \(2^n\) subsets (configurations of blocks in the left tower).
Understanding the Algorithm
The trick to understanding how to generate a subset of \(n\) values from a Vector
is to first consider how to generate a subset of indices of elements from \(0\) to \(n-1\).
Once this simpler problem is solved, we can use the indices to help us build a Vector
(or subset) of values identified by the indices.
There are exactly \(2^n\) subsets of the values from \(0\) to \(n−1\).
To see this, imagine that you have a strip of paper with \(n\) blanks on it, labeled \(0\) to \(n−1\).
Let \(m\) be a number \(0 \leq m < n\).
Choose an arbitrary subset of blocks.
If block \(m\) is included in a subset, you write a 1
in blank \(m - 1\) on the paper, otherwise you put a 0
in blank \(m - 1\).
Since there are \(2 \times 2 \times \ldots \times 2 = 2^n\) different ways to fill in this strip of paper, there are \(2^n\) different subsets.
For example, suppose we start with a blank strip of paper.
Also suppose that we have eight blocks, labeled \(1 \ldots 8\), and we arbitrarily choose blocks \(1, 4, 5, 6, \) and \(7\).
So we fill in the appropriate location in the paper for each chosen block (i.e., block \(m\) gets a 1
in \(m - 1\)).
Conveniently, we can think of this strip of paper as determining the digits of an \(n\)-bit binary number.
For example, the binary number 01111001
is the decimal number 121
.
In fact, each number in the range \(0\) through \(2^n−1\), when written in binary, uniquely represents a different subset. Given this observation, we can imagine one solution strategy for exhaustively searching through all possible subsets: just count from \(0\) to \(2^n−1\). For each number, use the values of the binary digits (a binary digit is called a bit) to select which blocks are to be included in a subset:
- If the digit at position \(i\) in the number is \(1\), include the block at position \(i\) in our subset.
- If the digit at position \(i\) in the number is \(0\), omit the block at position \(i\) from our subset.
Working With Binary Numbers in Java
Computer scientists work with binary numbers frequently, so there are a number of useful things to remember:
- A Java
int
type is represented by 32 bits. A Javalong
is represented by 64 bits. For maximum flexibility, it is useful to uselong
integers so we can represent sets of up to 64 elements. - The arithmetic left shift operator
<<
can be used to quickly compute powers of \(2\). The value \(2^i\) can be computed by shifting the binary value1
to the left by \(i\) places. In Java we write this as1L << i
. Note that this trick only works for non-negative, integral powers of \(2\). The constant1L
is the literal value representing the natural number “one” stored as a 64-bitlong
value. Using this constant ensures that Java knows we intend to use a 64-bitlong
value instead of a 32-bitint
value. TheL
is important to ensure that the result has typelong
! - The “bitwise and” of two numbers can be used to determine the value of a single bit in a number’s binary representation.
To retrieve bit \(i\) of a
long
integerm
, we need only compute(m & (1L << i)) == (1L << i)
. If the expression istrue
, then the bit is1
, otherwise it is0
.
Procedure
Armed with this information, the process of generating subsets is fairly straightforward. One approach is the following:
- Construct a new class that extends the
AbstractIterator
class. This new class should have a constructor that takes aVector<E>
as its sole argument. Subsets of thisVector
will be returned as theIterator
progresses. Name this extended classSubsetIterator
, and be sure to importstructure5.*
at the top of your file. YourSubsetIterator
should be completely generic. It should know nothing about the values it is iterating over! When we use yourSubsetIterator
class to solve the particular problem posed in this lab, we will instantiate it to iterate over values of a particular type (Double
). But by makingSubsetIterator
a generic class, we could reuse it to solve other problems that requires us to iterate over subsets of different types of objects. Thus, the class declaration will resemble this:public class SubsetIterator<E> extends AbstractIterator<Vector<E>> { ... }
- Internally, a
long
value should be used to represent the current subset: we will use the representation of thislong
value’s binary digits to decide which elements are included in the set, and which elements are omitted from the set. Thislong
value should begin at \(0\) (all bits are 0, representing the empty set) and increase all the way up to \(2^n−1\) (\(n\) bits are 1, so all \(n\) elements are included in the set) as theIterator
progresses. - Write a
reset
method that resets the subset counter to \(0\). - Write a
hasNext
method that returnstrue
if the currentlong
value is a reasonable representation of a subset (i.e., it does not specify that you should include elements in the subset that aren’t part of the actual set). - Write a
get
method that returns a newVector<E>
of values that are part of the current subset. If bit \(i\) of thelong
counter’s current value is \(1\), element \(i\) of the originalVector
is included in theVector
representing the resulting subset. - Write a
next
method. Remember thatnext
returns the current subset that represented by the state of the counter before incrementing the counter. - For an
Iterator
, you would normally have to write aremove
method. If you extend theAbstractIterator
class, this method is provided and will do nothing (this is reasonable for the subset iterator; you do not need to do anything forremove
).
Once you have completed your SubsetIterator
implementation test it!
You can test your SubsetIterator
by asking it to print all the subsets of a Vector
of values.
For example, write a main
method for your SubsetIterator
class that creates a Vector<Integer>
with the first \(8\) Integers (\(0\) through \(7\)), creates a SubsetIterator<Integer>
with this Vector<Integer>
, and then prints out all subsets returned.
Make sure you end up with all \(256\) different subsets printed.
Two Towers.
To solve the two towers problem, write a main
method in a new class called TwoTowers
that takes an argument n
from the command line.
For example,
$ java TwoTowers 15
should compute the solution of the two towers problem for blocks labeled 1 through 15.
It is easier to proceed by populating your Vector
with height values instead of area values.
In other words, insert \(\sqrt{1}\), \(\sqrt{2}\), …, \(\sqrt{n}\) into a Vector<Double>
object.
To compute the square root of \(n\), you can use the Math.sqrt(n)
method.
A SubsetIterator
is then used to construct \(2^n\) subsets of these values.
The values of each subset are summed, and the sum that comes closest to, but does not exceed, the value \(\dfrac{h}{2}\) is remembered.
After all the subsets have been considered, print the best solution.
Each block’s height is a square root, so you should print out the area instead.
In addition to printing the best solution, your program should also print the second best solution (it may be that this has the same value as the best solution). We are adding this requirement for two reasons:
- It provides an interesting twist that requires some clever problem-solving (some of the most “obvious” ways of doing this are not correct!)
- When you are done, you can now check your solution! Recall, we have provided the second-best stacking for the 15-block problem above.
The following is a sample run of the tool:
$ java TwoTowers 14
Half height (h/2) is: 18.298106626967595
The best subset is: [1, 4, 5, 8, 10, 12, 13] = 18.2964256530161
The second best subset is: [5, 8, 9, 10, 12, 13] = 18.2964256530161
Lab Deliverables
For this lab, please submit the following:
lab07-twotowers/
README.md
SubsetIterator.java
TwoTowers.java
checkstyle
where TwoTowers.java
and SubsetIterator.java
should contain your well-documented source code.
Recall in previous labs that you had a Java file that contained a convenient main
method pre-populated with a variety of helpful tests.
It is always a good practice to create a small set of tests to facilitate development, and you are encouraged to do so here.