Computational Game Theory at UC Berkeley #
We are an applied research group under the supervision of Prof. Dan Garcia. We develop systems and techniques to solve games and interfaces to interact with these systems. During the semester, we introduce new members to our team by facilitating a 2-unit course providing a guided overview intersecting the theories of computation and games.
Course Information #
- Schedule:
MWF 11:00AM to 12:00PM - Facilitator:
Prof. Dan Garcia - Location:
606 Soda Hall
- Spring 2023 GamesCrafters
Informal Syllabus #
Here is a rough outline of the activities and topics we will be covering this semester. Assignment deadlines are set to midnight of their due date. Links to resources will be added gradually.
| # | Date | Lecture Topic | Due |
|---|---|---|---|
| 1 | 8/21 | Welcome | - |
| 2 | 8/23 | The results of Computational Game Theory | - |
| 3 | 8/26 | Introduction to Game Theory | - |
| 4 | 8/28 | Representing extensive-form games (EFGs) | - |
| 5 | 8/30 | Subgame perfection via backward induction | - |
| - | 9/2 | Labor Day | - |
| 6 | 9/4 | Intractability of true backward induction | Assignment 1 |
| 7 | 9/6 | Techniques 1: Symmetric reduction | - |
| 8 | 9/9 | Techniques 2: State space partitioning | - |
| 9 | 9/11 | Techniques 3: Parallel Solving | - |
| 10 | 9/13 | Techniques 4: Cache efficiency | Assignment 2 |
| 11 | 9/16 | Techniques 5: Weak solutions and SSS* | - |
| 12 | 9/18 | Dealing with infinite-horizon games (IHGs) | - |
| 13 | 9/20 | Finding finite equilibrium strategies for IHGs | - |
| 14 | 9/23 | Theory of pure draws for IHGs | Assignment 3 |
| 15 | 9/25 | Introduction to combinatorial games | - |
| 16 | 9/27 | The Sprague–Grundy theorem | - |
| 17 | 9/30 | Project specification showcase | - |
| 18 | 10/2 | Team formation for new members | Assignment 4 |
| 19 | 10/4 | Game-theoretic computational systems | - |
| 20 | 10/7 | System installation walkthroughs | - |
| 21 | 10/9 | Software architecture and development | - |
| 22 | 10/11 | Software architecture and development | Assignment 5 |
| 23 | 10/14 | Project specification reviews | - |
| 24 | 10/16 | Work session | - |
| 25 | 10/18 | Work session | - |
| 26 | 10/21 | Project check-ins with veterans | - |
| 27 | 10/23 | Work session | - |
| 28 | 10/25 | Work session | - |
| 29 | 10/28 | Project check-ins with veterans | - |
| 30 | 10/30 | Work session | - |
| 31 | 11/1 | Work session | Assignment 6 |
| 32 | 11/4 | New members’ project presentations | - |
| 33 | 11/6 | New members’ project presentations | - |
| 34 | 11/8 | Project matching for new members | - |
| - | 11/11 | Veterans’ Day | - |
| 35 | 11/13 | Special topic: Collaborative Game Theory | - |
| 36 | 11/15 | Special topic: High-Performance Computing | - |
| 37 | 11/18 | Special topic: Imperfect information & CFR | - |
| 38 | 11/20 | Special topic: Abstractions and decision-making | - |
| 39 | 11/22 | Special topic: Game design | - |
| 40 | 11/25 | Veterans’ project presentations | - |
| - | 11/27 | Thanksgiving | - |
| - | 11/29 | Thanksgiving | - |
| 41 | 12/2 | Veterans’ project presentations | - |
| 42 | 12/4 | Veterans’ project presentations | - |
| 43 | 12/6 | End-of-semester celebration! | - |
| 0x0 | 0x0 | ————————————————————————————————— | EOF |