‘Ken je de Millennium Prize-problemen?' Buhrman, werkzaam aan het Centrum voor Wiskunde en Informatica en het UvA Institute for Logic and Language, begint het verhaal over zijn vakgebied met een vraag. Bij het ingaan van het jaar 2000, vertelt hij, stelde het Amerikaanse Clay Institute zeven wiskundige of natuurkundige vraagstukken op. Het instituut loofde voor de oplossing van elk probleem een miljoen dollar uit. ‘Uiteraard zijn het niet zomaar vraagstukken. Het eerste probleem is pas onlangs opgelost. De Rus Perlman die de oplossing vond is een beetje zonderling, hij heeft de prijs geweigerd.'
Zelf werkt Buhrman aan het zogeheten P versus NP probleem, ook een van de zeven vraagstukken. ‘Nee, niet voor het prijzengeld. Ik was er al veel langer mee bezig, ik ben er in 1993 op gepromoveerd.' Het probleem vormt de rode draad in zijn onderzoek. ‘Als je rekenproblemen wilt oplossen met een computerprogramma, dan heeft die berekening een bepaalde looptijd, die afhankelijk is van grootte van de data. Dan komt er uiteindelijk een antwoord uit. Of geen antwoord. Dat kan zijn omdat het te lang duurt om het uit te rekenen. Soms kan zo'n berekening zomaar tweehonderd jaar duren, dus aan een twee keer snellere computer heb je dan ook niet veel.' (UvA)