First page Back Continue Last page Overview Graphics

Theorem (necessary condition)

Notes:

FINALLY the theorem: Necessary conditions for a set of pixels to be a digital straight line:

1. [M] – condition ”main” says that the main of the level with the digitization parameters less than one half is SHORT
and the main of the level with the digitization parameter greater than one half is LONG.

2. [S] – condition ”single” says that the numbers of the single runs are numbers like this (**)

3. [F] – condition ”first” shows that the first of the level is short iff the value of the Sum-function on the number of this level is even and long if the value is odd.