Problems Index              Fri Aug 21 06:57:26 EDT 2015


These are some of the more `educational' problems from
various contests.  You can do these problems to broaden
your algorithmic education, or just for fun.


Distributed Computing
----------- ---------

    problems/hypercube
	Simulate a hypercube queued message network.
	Northeastern Preliminary at Harvard 1996.
	Author: Bob Walton

    problems/paxos
	Simulate stable memory without disks.
	Boston Preliminary 2008
	Author: Bob Walton

Encryption
----------

    problems/blowfish
	An example of the common `Feistel ciphers'.
	Boston Preliminary 2006
	Author: Bob Walton


Trees and Graphs
----- --- ------

    problems/serializable
	Conflict detection for database operations.
	Boston Preliminary 2006
	Author: Bob Walton

    problems/unify
	Unifying a labeled graph.
	Northeastern Preliminary at Harvard 1997.
	Author: Bob Walton


Search
------

    problems/gsat
	A greedy local search to satisfy large proposi-
	tional formulae.
	Boston Preliminary 2002.
	Author: Bob Walton


Probability
-----------

    problems/logistic
	A population growth model and its statistical
	stability.
	Boston Preliminary 2009
	Author: Bob Walton


Geometry
--------

    problems/solar
	Changing coordinates and solving monotonic
	equations.
	World Finals 2003


Dynamic Programming
------- -----------


    problems/tour
	Using dynamic programming to solve small
	traveling salesman problems.
	Boston Preliminary 2001.
	Author: Bob Walton



Logic and Language
----- --- --------

    problems/prooflabel
	The Curry-Howard Isomorphism.
	Boston Preliminary 2005.
	Author: Bob Walton