We have to hire several employees for the following roles:

Rocket Scientist
works in the back office
creates new derivatives
(within the classic and secret derivatives) and develops a theory
on how to price them.
Collects rules about the SDG world.

SDG laws:
1) for all d for all r exists J: fsat(r,J) >= break-even(d)
2) for all d for all eps>0 exists r for all J: fsat(r,J) < break-even(d) + eps
3) for all d using relations of arity k
   the maximum number of independent relations MaxIndep(k) is ?
   MaxIndep(2) = 6 (4 choose 2)
   MaxIndep(3) = 70 (8 choose 4)
4) For T Ball: break-even(d) = look-ahead[r](b_max) where r is the relation in d.
5) For Soft Ball: break-even(d) = inf[all r of d] max[all J for r] fsat(r,J)
6) The symmetric raw materials are the worst case. Given a non-symmetric r,
   we can produce a symmetric r' = Sym(r) with a lower or equal 
   satisfaction ratio.
7) order of lowest break-even prices for T Ball (one relation):
   2, 4, 8, 16, 32, 64, 10, 12, 24, 34, 36, 48, 66, 68 ...

(of course we have other rules like the trading rules)

Jana Yamani and Ian Doyle, February 10.

what is the best price for (classic MAXSAT ((2,0) (1,1))?
================================================================

Artificial Market Regulator
Runs additional competitions of submitted robots
and posts the results on the wiki.
Does quality checking of the administrator
to make sure that all players are treated
correctly and that all rules of the SDG world are enforced.

Alex will run his own competitions for grading. 
The additional competitions are for robustness checking.

================================================================

User/Software Developer Negotiator
Negotiates between users and software developers
and puts decisions into requirements document.
Maintains this document by providing appendices to the current document.

Ghadeer Rahhal, Feb. 9, 2009.
Duc Tri Le, Feb. 20, 2009.

Current requirements document:
http://www.ccs.neu.edu/home/lieber/courses/csu670/sp09/project/csu670-sp09-reqs.pdf

===================================

SDG Component Market Manager

Keeps track of components and their interfaces.
Helps to standardize the interfaces of the components.
Hopefully, we get for each component interface
a small number of competing implementations.

David Halperin, Feb. 10

Components:
KnapsackSolver
DerivativeMinimizer

===================================

Testers 

All the shared software we have (Administrator, Relation, Max Bias Computation, etc.)
needs to be tested and the bugs need to be reported.
Use both black box as well as white box 
(a.k.a. clear box testing, glass box testing testing).

===================================

Design Patterns for the SDG Robot

Maintain a collection of design patterns that are useful in implementing
the SDG robot and the administrator.

See the list of design patterns used in DemeterF:
http://www.ccs.neu.edu/home/chadwick/demeterf/patterns.html

Short pattern catalog:
Strategy for resilience
Composite for lists
Data Binding Pattern

http://www.ccs.neu.edu/research/demeter/adaptive-patterns/AOP/

Xueyi Yu (Cindy) and Carol Lee, Feb. 10.