Observation 2: If a clock i (0 < i

Observation 2: If a clock i (0 < i < n − 1) has only a ← but no → pointing toward it, then after one step, the ← will shift to clock i − 1. In the case of i = 0, this arrow will disappear after one step. There can be no arrow pointing towards clock n − 1. Observation 3: If a clock i (0 < i < n − 1) has both a ← and a → pointing toward it, then after one step, both arrows will disappear. This possibility is ruled out for
both clock 0 and clock n − 1.

To prove that the clocks will eventually synchronize, define a function D that maps the set of global states of the system to a set of nonnegative integers:

Результаты (русский) 2:

Наблюдение 2: Если часы я (0 <г <п - 1) имеет только ← → но не указывая на него, то после того, как один шаг, ← сместится на часы я - 1. В случае г = 0, эта стрелка исчезнет после того, как один шаг. Там не может быть стрелка , указывающая в сторону часов п - 1. Наблюдение 3: Если часы я (0 <г <п - 1) имеет как ← и → указывая к нему, то после того, как один шаг, обе стрелки исчезнут. Эта возможность исключена для
обоих часов 0 и часы N - 1.

Для того, чтобы доказать , что часы будут в конечном итоге синхронизировать, определить функцию D , которая отображает набор глобальных состояний системы на множество неотрицательных целых чисел:

Результаты (русский) 3:

замечание 2: если часы я (0 < я < N - 1) не только ←, но нет, - указывает на его, а затем после одного шага, ← перейдет к часам, я - 1.в случае i = 0, эта стрела исчезнут после одного шага.не может быть стрелка, указывающая на часы - N - 1.замечание 3: если часы я (0 < я < N - 1), как ← и → указывает на его, а затем после одного шага, как стрелы исчезнет.эта возможность была исключена изкак часы и часы N 0 - 1.доказать, что часы в конечном итоге синхронизации, определить функцию, D, что карты набор глобальных государства системы набора неотрицательное целые: