Hinsides eksakt optælling: Approksimation og symmetri

Dette projekt inden for teoretisk datalogi studerer hvilke ressourcer, der er nødvendige for at løse beregningsmæssige problemer. Fokus er på problemer, hvor man ønsker tilnærmelsesvist (også kaldet approksimativt) at tælle bestemte matematiske strukturer (fx antal løsninger på en Sudoku), og på problemer med iboende symmetrier (fx en matematisk funktion med flere led x² + y², hvor x og y umiddelbart kan byttes om). Bevillingen giver mulighed for at rekruttere to postdocs til at studere sådanne beregningsmæssige problemer.