Tematy prac magisterskich
Opiekun
Propozycja tematów
1. Znalezienie dowodu wspomaganego komputerowo
Potencjalne tematy to
- Komputerowy dowód na oszacowanie wartości lokalnej gry dla szerokości 4.
- Problem komputerowego znajdywania strategii wygrywającej dla gier o
skończonej liczbie stanów.
2. Rozwoj projektu Arachne
Projekt ten to zbior bibliotek napisanych w jezyku C++ na zasadzie
wolnego oprogramowania pozwalający w łatwy sposób przetwarzać obiekty
kombinatoryczne i algebraiczne. Potencjalne propozycje wkładu pracy to
- Algorytm znajdowania minimalnego kolorowaniu w grafie.
- Problem generowania nieizomorficznych grafów przedziałowych.
- Problem generowania nieizomorficznych grafów o ograniczonej szerokości
drzewowej.