Teoria obliczeń online a teoria gier
Badaczki i badacze otrzymają niemal 520 mln zł na realizację swoich projektów z Narodowego Centrum Nauki. W rozstrzygniętych w maju konkursach OPUS 24 i SONATA 18 złożono 3015 wniosków, spośród których 363 zostały zakwalifikowane do finansowania.
Naukowcy i naukowczynie z Uniwersytetu Wrocławskiego zdobyli w obu konkursach kilkanaście grantów o łącznej wartości 24 675 537 zł.
Jednym z naukowców jest dr Martin Böhm, który uzyskał finansowanie w ramach konkursu SONATA. Temat jego projektu brzmi: „Moc rozgałęzień i uczenia problemów szeregowania zadań oraz pakowania kubełków online”, a przyznana kwota dofinansowania to ponad 264 tysiące złotych.
Jednym z celów projektu jest wykorzystanie programów wyszukujących, które dają weryfikowalne wyniki teoretyczne dla obliczeń online. Takie podejście jest uzasadnione – zdaniem badacza – ponieważ istnieją głębokie powiązania między teorią obliczeń online a teorią gier dwuosobowych (np. szachy czy go). Wszystko dlatego, że dziś komputery coraz lepiej potrafią ocenić, kto w danej pozycji ma przewagę oraz w jaki sposób grać, aby tę przewagę zrealizować.
Dr Martin Böhm uzyskał tytuł doktora we wrześniu 2018 r. na Uniwersytecie Karola w Pradze. Od lipca 2020 roku pracuje w Zakładzie Optymalizacji Kombinatorycznej w Instytucie Informatyki we Wrocławiu po pobycie podoktorskim w Bremie, w Niemczech.
Więcej szczegółów na temat projektu można znaleźć na stronie Instytutu Informatyki UWr.
