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

Pozor, sprememba predavalnice! Seminar bo tokrat v predavalnici 2.03 na Jadranski 21.

Seminar bo potekal skupaj  Seminarjem za osnove matematike in teoretičnega računalništva. Na seminarju bosta Aleš Bizjak in Gašper Ažman predstavila projekta, ki sta ju opravila pri predmetu Matematika z računalnikom.

• 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!