Manuscript En05-A@1 · En05-A.tex · definition · f076e703

Definition: Integer coordinate retiming

Two retiming statements and a boost-closure limitation › Coordinate retiming is not device realizability · lines 1497–1509

En05-A@1#def:retiming

For $φ : Λ \to Z$ , let

β_{φ} (x, s) = (x, s + φ (x)) .

An edge from $(x, s)$ to $(y, s + 1)$ has retimed duration $1 + φ (y) - φ (x)$ . The retiming is $r$ -compatible if

∣ φ (x) - φ (y)∣ \leq 1 whenever d (x, y) \leq r .

Displayed formulas in this passage