Twierdzenie Halla wraz z praktycznymi zastosowaniami

Teoria grafów jest jednym z fundamentów informatyki, ale umożliwia ona rozwiązywanie różnego rodzaju problemów zarówno matematycznych, jak i pochodzących z życia codziennego. Jednym z jej ważniejszych koncepcji jest tzw Twierdzenie Halla, znane również jako twierdzenie o kojarzeniu małżeństw. Referat zawiera twierdzenie wraz z dowodem indukcyjnym. W pracy pokazana jest część jego rozlicznych zastosowań, w tym takie jak rozwiązywanie przeróżnych zadań matematycznych i tłumaczenie na pierwszy rzut oka niemożliwych sztuczek karcianych. W tekście opisany jest również jeden z algorytmów wykorzystujących to twierdzenie.

Rafał Spyra
Termin: 
09/22/2018 - Od 12:40 do 13:05
Sala: 
D-227