Matija Pretnar: Simetrično programiranje

Povzetek: V računalništvu se simetrija v podatkovnih strukturah, na primer pri operacijah na dvojiških iskalnih drevesih, občasno obravnava z zvitimi triki, ki združujejo simetrične primere, še pogosteje pa s podvajanjem kode. Na seminarju si bomo ogledali pristop, osnovan na delovanjih grup, ki simetrične konstrukcije zajame neposredno in enotno. Pristop posplošuje tudi dokaze, ki temeljijo na načelu »brez škode za splošnost«, uveljavljenem prijemu, katerega natančen računski pomen postaja vse pomembnejši z naraščajočo uporabo dokazovalnikov.