Manuscript En08-A@1 · En08-A.tex · proposition · c688d76d

Proposition: When Minkowski sums apply

Reachability sums and affine cone representations › Iteration · lines 912–926 · proof included or linked

If edges have exactly the form

(t, x) ◃ (t + 1, x + s), s \in S,

for a fixed increment set $S$ , then

R_{n} (t, x) = {(t + n, x + s) : s \in S^{(n)}} .

Proof. A path contributes a sequence of increments from $S$ . Conversely, every such sequence specifies a permitted path.

Displayed formulas in this passage