Your goal will be to formalize a problem as an extensive-form game and solve it using an LP solver. Start by reading the assignment instructions, then use the prepared templates and examples. Upload your solutions to BRUTE .
votroto1@fel.cvut.cz
).
python game_tree.py < maze.txt > tree.efg
.
Example for the first part:
7 9 ######### #G-----E# #-#####-# #S--E--D# #-#####-# #G-----E# ######### 2 0.5the value of the game is
7.096774193548387
.
I will show the installation procedure for Ubuntu 20.04.3 LTS. Spin it up in a VM if you want to follow along. If this does not work for you, try last year's instructions.
Go to the gambit project website, download the Gambit 16 tarball, decompress it, and open a terminal inside the folder.
Gambit is an aging software now and needs an older compiler. Open /etc/apt/sources.list
as root (e.g. with sudo vi
) and add
deb http://dk.archive.ubuntu.com/ubuntu/ bionic main universe
Run update, then download gambit's dependencies
sudo apt-get update sudo apt-get install -y make g++-6 libwxgtk3.0-gtk3-dev
Now simply configure, make, make install
export CC=gcc-6 CXX=g++-6 && ./configure make -j 4 CC=gcc-6 CXX=g++-6 sudo make installNow you are done.
You can generate a tree and visualize it in Gambit:
python game_tree.py < maze1.txt > maze1.efg gambit maze1.efg