Aufgabe:
Es geht weniger um eine Aufgabe und mehr um eine kleine allgemeine Verständnisfrage die für euch Mathematiker bestimmt total einfach zu beantworten, sozusagen trivial ist. Und zwar: was bedeuten die 2x2 bzw 2x4 Matritzen (aus 1 bzw. -1 bestehend). Ich verstehe nicht so recht was die da zu suchen haben....
for (i = 0; i <= n; i++) {
...
}
$$\left\{i \in Z ;\left[\begin{array}{cc}{-1} & {1} \\ {1} & {0}\end{array}\right]\left[\begin{array}{l}{i} \\ {n}\end{array}\right] \geq\left[\begin{array}{l}{0} \\ {0}\end{array}\right]\right\}$$
In general:
\( P=\left\{\vec{x} \in K^{n} ; A \cdot \vec{x} \leq B \cdot \vec{n}+\vec{b}\right\} \)
Iteration space:
$$\begin{array}{l}{P=\left\{\vec{x} \in K^{n} ; A \cdot \vec{x} \leq \vec{b}\right\}} \\ {P=\left\{\vec{x} \in Z^{2} ; A \cdot \vec{x} \leq \vec{b} \right\} }\end{array} = \left\{ (i, j)^{T} \in Z^{2} ;\left[\begin{array}{cc}{1} & {0} \\ {-1} & {0} \\ {0} & {1} \\ {1} & {-1}\end{array}\right]\left[\begin{array}{c}{i} \\ {j}\end{array}\right] \leq\left[\begin{array}{c}{N-1} \\ {0} \\ {N-1} \\ {0}\end{array}\right] \right \}$$
For locality: Sweep vertically
for (i = 0; i <= 5; ++i)
for (j = i; j <= 7; ++j)
Z[j][i] = 0;
Polyhedron:
$$\left[\begin{array}{cc}{1} & {0} \\ {-1} & {0} \\ {-1} & {1} \\ {0} & {-1}\end{array}\right]\left[\begin{array}{l}{i} \\ {j}\end{array}\right]+\left[\begin{array}{l}{0} \\ {5} \\ {0} \\ {7}\end{array}\right] \geq\left[\begin{array}{l}{0} \\ {0} \\ {0} \\ {0}\end{array}\right]$$
