Na konferenci, která proběhne na plzeňské radnici na náměstí Republiky, se setkají přední odborníci v oblasti algebraické teorie grafů z Evropy, Asie a Ameriky. Akce je zaměřena na studium jistých symetrických struktur – koherentních konfigurací. Původní motivace pro studium těchto struktur pochází z problémů ze statistiky a teorie grup. Později rozvoj teorie koherentních konfigurací ovlivnily zejména otázky související s problémem složitosti isomorfizmu grafů. Tento problém, spolu s problémem složitosti rozkladu přirozeného čísla na prvočinitele, je klíčovým problémem současné teorie složitosti algoritmů. Jeho vyřešení by znamenalo průlom jak v teorii, tak i v aplikacích.
Pozvání přednášet mimo jiné přijal i László Babai, který v posledních dvou letech dosáhl významného pokroku v řešení problému isomorfizmu grafů. Součástí programu je i historická sekce k 50. výročí objevu stabilizačního algoritmu Lemana a Weisfeilera. Jeden z objevitelů, Boris Weisfeiler, zmizel za nevyjasněných okolností v roce 1985 v horách Jižní Ameriky. Na konferenci vystoupí jeho syn.
Podrobnější informace zájemci naleznou na webu konference.
Akci podporují ITI - Centrum excelence teoretické informatiky a Magistrát města Plzně.Fakulta aplikovaných věd |
Roman Nedela |
27. 06. 2018 |