### 4.4.1. Functional dependency invariants involving two constraints

Proposition 167 Given the constraints

$\mathrm{\pi ½\pi  \pi °\pi »}=1\beta \mathrm{\pi ½\pi Έ\pi ½\pi ΅}=0$

Proof 165 Since a single value leads to a plateau.

Proposition 168 Given the constraints

$2Β·\mathrm{\pi Ώ}\beta €|\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }|-\mathrm{\pi »\pi ΄\pi ½}$

Proof 166 Beside a first sequence with a small value, we alternate between large and small values in order to maximise the number of peaks.

Proposition 169 Given the constraints

$2Β·\mathrm{\pi  }\beta €|\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }|-\mathrm{\pi »\pi ΄\pi ½}$

Proof 167 Beside a first sequence with a large value, we alternate between small and large values in order to maximise the number of valleys.

Proposition 170 Given the constraints

$2Β·\mathrm{\pi Ώ}\beta €|\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }|-\mathrm{\pi »\pi ΄\pi ½}$

Proof 168 Beside a last sequence with a small value, we alternate between large and small values in order to maximise the number of peaks.

Proposition 171 Given the constraints

$2Β·\mathrm{\pi  }\beta €|\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }|-\mathrm{\pi »\pi ΄\pi ½}$

Proof 169 Beside a last sequence with a large value, we alternate between small and large values in order to maximise the number of valleys.

Proposition 172 Given the constraints

$\mathrm{\pi »}\beta ₯\mathrm{\pi Ό\pi °\pi }$

Proposition 173 Given the constraints

$\mathrm{\pi »}\beta ₯\mathrm{\pi Ό\pi °\pi }$

Proposition 174 Given the constraints

$\mathrm{\pi Ό\pi °\pi }\beta ₯\mathrm{\pi Ό\pi Έ\pi ½}$

Proposition 175 Given the constraints

$\mathrm{\pi Ό\pi °\pi }\beta ₯\mathrm{\pi Ό\pi Έ\pi ½}$

Proposition 176 Given the constraints

$\mathrm{\pi Ό\pi °\pi }\beta ₯\mathrm{\pi Ό\pi Έ\pi ½}$

Proof 174

Proposition 177 Given the constraints

$\mathrm{\pi \pi \pi Ό}\beta €|\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }|Β·\mathrm{\pi Ό\pi °\pi }$

Proposition 178 Given the constraints

$\mathrm{\pi \pi \pi Ό}\beta ₯|\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }|Β·\mathrm{\pi Ό\pi Έ\pi ½}$

Proposition 179 Given the constraints

• $\left(\mathrm{\pi Ό\pi Έ\pi ½}_\mathrm{\pi \pi Έ\pi ³\pi \pi ·},\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }\right)$,

• $\mathrm{\pi \pi \pi \pi }$$\left(\mathrm{\pi Ώ},\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }\right)$:

$\mathrm{\pi Ώ}Β·\mathrm{\pi Ό\pi Έ\pi ½}_\mathrm{\pi \pi Έ\pi ³\pi \pi ·}\beta €|\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }|$

Proof 177 Cumulated minimum width of the different peaks cannot exceed size of sequence.

Proposition 180 Given the constraints

• $\left(\mathrm{\pi Ό\pi Έ\pi ½}_\mathrm{\pi \pi Έ\pi ³\pi \pi ·},\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }\right)$,

• $\mathrm{\pi \pi \pi \pi }$$\left(\mathrm{\pi Ώ},\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }\right)$:

The automaton depicted by FigureΒ 4.4.1 provides a necessary condition.

Proof 178 The condition associated with each transition of the automaton checks that there is enough space between the current position and the end of the sequence to place the remaining minimum number of required peaks.

Proposition 181 Given the constraints

$\mathrm{\pi  }Β·\mathrm{\pi Ό\pi Έ\pi ½}_\mathrm{\pi \pi Έ\pi ³\pi \pi ·}\beta €|\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }|$

Proof 179 Cumulated minimum width of the different valleys cannot exceed size of sequence.

Proposition 182 Given the constraints

The automaton depicted by FigureΒ 4.4.2 provides a necessary condition.

Proof 180 The condition associated with each transition of the automaton checks that there is enough space between the current position and the end of the sequence to place the remaining minimum number of required valleys.

Proposition 183 Given the constraints

$\mathrm{\pi ½\pi  \pi °\pi »}\beta ₯\mathrm{\pi ½}$

Proof 181 Since stairs visible from the end are located at different altitudes.

Proposition 184 Given the constraints

$\mathrm{\pi ½\pi  \pi °\pi »}\beta ₯\mathrm{\pi ½}$

Proof 182 Since stairs visible from the start are located at different altitudes.

Proposition 185 Given the constraints

$|\mathrm{\pi Ώ}-\mathrm{\pi  }|\beta €1$

Proof 183 Since peaks and valleys can only alternate.

Proposition 186 Given the constraints

with $\mathrm{\pi Ώ}>\mathrm{\pi  }$, the automaton depicted by FigureΒ 4.4.3 provides a necessary condition.

Proof 184 Since peaks and valleys can only alternate and since having more peaks than valleys enforces to start and end on a peak.

Proposition 187 Given the constraints

with $\mathrm{\pi  }>\mathrm{\pi Ώ}$ the automaton depicted by FigureΒ 4.4.4 provides a necessary condition.

Proof 185 Since valleys and peaks can only alternate and since having more valleys than peaks enforces to start and end on a valley.