Aleš Bizjak: program za enumeracijo majhnih struktur, Gašper Ažman: risanje zelo velikih grafov

Pozor: dobimo se ob 10h namesto ob 12h v učilnici 2.03 na Jadranski 21, ker bomo skupaj s Seminarjem za diskretno matematiko.

Na seminarju bosta Aleš Bizjak in Gašper Ažman predstavila projekta, ki sta jih opravila pri predmetu Matematika z računalnkom.

 

• Aleš bo predstavil program alg, ki sprejme aksiomatizacijo matematične strukture (npr. grupe, kolobarja, delne ureditve, grafa, ipd.) in enumerira izomorfne razrede dane velikosti.
• Gašper bo predstavil algoritem za risanje zelo velikih grafov, pri katerih metode lokalne optimizacije odpovejo (npr. "spring embedder").

 

Vabljeni!