Способы снижения вычислительной сложности алгоритмов, вытекающие из принципа формирования решений