Visste du att du troligtvis konstant använder en dator för att lösa optimeringsproblem? Det gör du till exempel då du kollar upp snabbaste vägen in till stan på din mobil. Men kan du lita på att förslaget är det bästa möjliga? Den här artikeln beskriver en forskningsprocess där en algoritm, som bevisar kvaliteten på sina resultat, utvecklades.
