Яка з перелічених властивостей характерна для правильного алгоритму?