1: Exact and Approximation Algorithms for DNA Tag Set Design 2: Data-Structure Rewriting 3: How to Simulate Billiards and Similar Systems