История изменений

Идемпотентный - это значит, что при одинаковых действиях получится одинаковый результат.

Это не совсем так. Данная фраза скорее говорит о детерминированности алгоритма. Идемпотентность означает, что при многократном применении операции результат будет таким же, как после первого ее применения.

Пусть P - некоторый оператор. Можно представить себе все что угодно, принимающее данные на вход и выдающее данные на выход. Выберем произвольный элемент x и подействуем на него оператором P, получив, вообще говоря, другой элемент y:

P: x -> y    или    Px = y

Идемпотентность означает следующее свойство:

PP...Px = Px = y

Т.е. получив объект y после первого применения к объекту x оператора P, при дальнейшем применении оператара P уже к объекту y, объект y не трансформируется ни в какой другой.

Простейший пример из школьной геометрии - оператор проекции. Зафиксируем некоторую прямую и выберем произвольный отрезок (не обязательно на выбранной прямой). После проектирования выбранного отрезка на данную прямую, мы получим отрезок, принадлежащий данной прямой. Дальнейшее применение того же оператора проекции к полученному отрезку не передвинет его.

Идемпотентный - это значит, что при одинаковых действиях получится одинаковый результат.

Это не совсем так. Идемпотентность означает, что при многократном применении операции результат будет таким же, как после первого ее применения.

Пусть P - некоторый оператор. Можно представить себе все что угодно, принимающее данные на вход и выдающее данные на выход. Выберем произвольный элемент x и подействуем на него оператором P, получив, вообще говоря, другой элемент y:

P: x -> y    или    Px = y

Идемпотентность означает следующее свойство:

PP...Px = Px = y

Т.е. получив объект y после первого применения к объекту x оператора P, при дальнейшем применении оператара P уже к объекту y, объект y не трансформируется ни в какой другой.

Простейший пример из школьной геометрии - оператор проекции. Зафиксируем некоторую прямую и выберем произвольный отрезок (не обязательно на выбранной прямой). После проектирования выбранного отрезка на данную прямую, мы получим отрезок, принадлежащий данной прямой. Дальнейшее применение того же оператора проекции к полученному отрезку не передвинет его.