8. gyakorlat
1. példa
Adott mátrix olyan sora, ahol az átló és az átló feletti számok összege a legnagyobb.
összeg
Be:
- n: \(Egész\)
- m: \((1..n, 1..n: Egész)\)
- i: \(Egész\)
Ki: S: \(egész\)
Ef: \(i=i'\) és \(n=n'\) és \(m=m'\)
Uf: \(Ef\) és \(S=\sum_{j=1}^i m_{j,i}\)
maxoszlop
Be:
- n: \(Egész\)
- m: \((1..n, 1..n: Egész)\)
Ki: \(maxoszlop: Egész\)
Ef: \(n > 0\) és \(n = n'\) és \(m = m'\)
Uf:
-
\((\cancel{maxért}, maxoszlop) = Max_{i=1}^n összeg(i)\) és
-
\(összeg: Egész \rightarrow Egész\) és \(összeg(i)=\sum_{j=1}^i m_{j,i}\)