1. Specker Derivative Game Karl Lieberherr Spring 2009

2. Mega moves in classic and secret SDG White-black mega move –white: offer derivatives –black: buy derivatives or reoffer –if bought then repeat r times for each bought derivative: –white: deliver raw material with witness quality(S) of secret finished product S –black: deliver finished product FP –white: reveal secret S –black: check secret S against witness quality(S) –win »classic SDG: satisfaction ratio sr(FP) wrt all. win if sr(FP) >= price * 1. »secret SDG: satisfaction ratio sr(FP) wrt secret S (think of secret S as the maximum): win if sr(FP) >= price * quality(S). –pay for performance in raw material finishing: aggregate wins

3. derivative: (CSP predicate)

4. SDG Game Versions T Ball (one relation) Softball –Slow Pitch (recognizing noise) one implication chain of any number of relations. –Fast Pitch any number of relations –Level k Independent (k independent relations with no implication relationship). Note: Level 1 Independent = T Ball –Level k Reduced (any number of relations that can be reduced to Level k Independent.) Note: Slow Pitch is a special case of Level 1 Reduced. Baseball –Classic and Secret CSP Any Combinatorial Maximization Problem T Ball and Softball are based on CSP

5. SDG Game Versions T Ball Slow Pitch Fast Pitch Level k Independent Level k Reduced T Ball = Fast Pitch Level 1 Independent Slow Pitch = Special case of Fast Pitch Level 1 Reduced Softball