Bei Verwendung einer monotonen Heuristik, und unter der Voraussetzung, dass genügend Speicher zur Verfügung steht, sind alle diese Algorithmen optimal.
Sei die jeder individuellen Nutzenfunktionen () zugrunde liegende Präferenzordnung lokal nicht gesättigt (oder, im Spezialfall: streng monoton) und darüber hinaus konvex.
Diese befinden sich unter anderem bei monotonen Funktionen am Rand des Definitionsbereichs, im Allgemeinen jedoch an den Stellen, wo die Ableitung Null ist.
