Соответствие между свойствами алгоритмов