exact algorithm

type of algorithm guaranteed to produce an optimal result