Какое из следующих свойств **не** является необходимым для корректности жадного алгоритма?