Search
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.5
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
/etc/apt/sources.list
sudo vi
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 install
You can generate a tree and visualize it in Gambit:
python game_tree.py < maze1.txt > maze1.efg gambit maze1.efg