Eric I. said it best in a note attached to his solution:
I really enjoyed this quiz. On the surface it seems relatively simple.
But there are some important subtleties.
This is the realization I came to as well. When Brian first suggested the quiz,
we discussed the possible solutions. When I say discussed, I mean that Brian
generated a nearly endless stream of excellent ideas while I watched it all
happen. The more he generated, the more I realized how much I liked the
problem. It's quite rich.
There are many ways to approach this quiz. Brian's own solution generates bit
map patterns representing blanks and non-blanks in a ticket, then uses those
patterns to construct books filling in numbers as it works. Eric I. used a
backtracking search, verifying that a solution is still possible as each ticket
is added. Below I will examine a slightly simpler solution, that still produces
pretty good results.
Andy Restrepo's code is a random generation scheme. It builds random books from
random tickets made out of random rows. If the book doesn't end up being valid,
it just tries again. However, it arranges the random generation such that rows
are correct more often than you might expect.
Let's jump into the code to see how it does that. The process begins with this
trivial call:
TicketGenerator.new.print_book
That's Ruby's default new() and TicketGenerator doesn't define an initialize()
method, so let's skip to print_book():
class TicketGenerator
def print_book
# Keep generating ticket books until a valid
# one is returned. Then, print out the tickets.
book = build_book until book
book.each { |t| t.print_ticket; puts "\n"}
end
end
This is the process I explained earlier. An attempt is made to build a book.
If we get one, we're done. Otherwise we try again. When we have them all, the
tickets in the book are printed.
Let's dig deeper into book creation:
class TicketGenerator
def build_book
# Generate 18 rows and divide them between six tickets
init_bins
all_rows = Array.new(18){ retrieve_row }
tickets = Array.new
0.step(15, 3) do |x|
ticket = Ticket.new(all_rows[x...x+3].sort_by { rand })
tickets.push(ticket)
# If an invalid ticket is found, indicate failure
# by setting the return value to false.
if not ticket.is_valid?
tickets = false; break
end
end
tickets
end
end
The first two lines here make use of other methods in the class to create a set
of 18 rows. We will get to those methods in a moment, but take it on faith for
now.
The rest of the method walks those rows in threes, making Ticket objects out of
them. Each time a Ticket is made, the code ensures it is valid or bails out. We
haven't seen this class yet either, but it shouldn't too hard to guess what the
is_valid?() method does.
Here are the row making methods (with one minor edit by me):
class TicketGenerator
def init_bins
# Create and fill the 9 bins of numbers, corresponding to
# the allowed numbers for each column.
@bins = Array.new
# 1 through 9
@bins << (1..9).sort_by{ rand }
# 10 through 19, 20 through 29, etc.
10.step(70, 10) do |x|
@bins << (x..x+9).sort_by{ rand }
end
# 80 through 90
@bins << (80..90).sort_by{ rand }
end
def retrieve_row
# Create a row by pulling one number from each of five non-empty bins.
row = Array.new(9, nil)
# Randomize which bins to choose from, but favor the most filled
# bins -- so we don't end up with less than 5 non-empty bins with
# still more rows to create.
bin_index_array = (0... / bins.length).sort_by{ |b|
[@bins[b].length, rand]
}
5.times do
bin_index = bin_index_array.pop
row[bin_index] = @bins[bin_index].pop
end
row
end
end
First, init_bins() fills an Array with Arrays of randomized numbers for each
column. These columns span six tickets and are used to build the entire book.
Now, retrieve_row() is used to create the 18 rows the code eventually builds
books out of. It works by creating an empty row, choosing five of the column
bins, and adding a random number to the row from each bin. The selection of
bins is not-quite-random and that turns out to be the best and worst feature of
this solution.
Bins are sorted first by length and then in random order before a pick is made
from the end. This means that a selection will always be made from a bin with
the most members remaining. That bin is selected randomly from those with the
same number of members remaining, but that doesn't mean the choice is random.
Think of it this way, the bins don't even start with the same number of members.
The eighth bin has eleven and will always sort to be chosen first. Likewise,
the zeroth bin always sorts first and thus cannot be selected by this algorithm
during the creation of the first row. Even after the first row is created the
eighth bin will still be tied for most entries and thus it will always come up
again in the second row. That means the first ticket produced by this solution
will always have two or three numbers in the final column. Never just one.
The downside of all of this is that the tickets aren't completely random.
There's a pattern to them and you can find it if you look for it. Given that,
these books would be fine for casual play, but probably not for games where
money is on the line.
The upside is speed. Even though tickets are randomly generated, the sorting
keeps valid combination extremely likely. In a set of ten sample runs I
conducted the code only called build_book() a maximum of two times per run and
it only needed one call eight out of ten times. A truly random pattern would
need a lot more attempts to find a workable solution. You can simulate this
scenario by removing the bin length sort condition from Andy's code. It still
finds answers, but it can take some time.
The last bit of TicketGenerator code sets method visibility:
class TicketGenerator
private :init_bins, :retrieve_row, :build_book
public :print_book
end
The other piece of this puzzle is the Ticket class, so we will look at that now.
Tickets are just three rows that know how to validate and draw themselves. The
initialization process for a Ticket is spread over three methods, so let's begin
with those:
class Ticket
def initialize(rows)
# A ticket consists of an array of three rows,
# with 5 numbers and 4 nil entries per row.
@rows = rows
@empty_column = false
validate_ticket
end
def validate_ticket
# Convert three rows of 9 numbers into 9 columns of three numbers,
# check that each column satisfies the ascending order constraint,
# and then convert back into rows.
columns = Array.new(9) { [] }
columns.each { |c| @rows.each { |r| c << r.shift }; rectify(c) }
@rows.each { |r| columns.each { |c| r << c.shift } }
end
def rectify(column)
# If there are 2 or 3 numbers in a column, they must
# appear in increasing order downward. If they don't, then
# swap the numbers around while maintaining 5 numbers
# in each row.
case column.nitems
when 0 then @empty_column = true
when 1 then column # do nothing
when 2
nil_index = column.index(nil)
non_nils = [0,1,2] - [nil_index]
first_nn, last_nn = non_nils.first, non_nils.last
# Swap the two non-nil elements
if column[first_nn] > column[last_nn]
column[first_nn], column[last_nn] = column[last_nn],
column[first_nn]
end
when 3 then column.sort! # just sort the three numbers
end
end
end
You can see that initialize() just stores the rows and kicks off
validate_ticket(). That method does a bit of a dance to rearrange the rows into
columns, clean and validate those columns, and change them back.
Array#transpose() probably would have simplified this process a bit.
The real work happens in rectify(). This method serves two purposes. Its main
job is to reorder the numbers in a column to ensure they count down. As it
works though, it watches for empty columns that would invalidate the Ticket.
Once we know whether or not a Ticket is valid, we need to provide easy access to
that information:
class Ticket
def is_valid?
not @empty_column
end
end
That's the method we saw TicketGenerator using to determine when a book build
needed to be restarted.
Tickets can also print themselves:
class Ticket
def print_ticket
puts "+----" * 9 + "+"
@rows.each do |row|
line = row.inject("|") do |str, x|
if not x
str + " |"
elsif x < 10
str + " #{x} |"
else
str + " #{x} |"
end
end
puts line
puts "+----" * 9 + "+"
end
end
end
That code just walks the rows, printing fields as it goes. The if chain in the
middle could be simplified a bit to:
str + " %2s |" % x
Finally, the code again sets the visibility for these methods:
class Ticket
private :validate_ticket, :rectify
public :print_ticket, :is_valid?
end
My thanks to all the book builders. I didn't expect to see so many varied
approaches.
Tomorrow, I will put you to work solving a long-standing Ruby Quiz issue...