Как называется свойство алгоритма, означающее, что путь решения определен вполне однозначно, на любом шаге не допускаются никакие двусмысленности и недомолвки?

Возможно это линейность

Const n=4; var  a: array[1..n,1..n] of integer; i,j,b: integer; begin randomize; writeln('исходный массив: '); for i: =1 to n do   begin   for j: =1 to n do   begin     a[i,j]: =random(100);     write(a[i,j]: 4);   end;   writeln;   end; for i: =1 to n div 2 do   for j: =i to n-i do   begin     b: =a[i,j];     a[i,j]: =a[n-j+1,i];     a[n-j+1,i]: =a[n-i+1,n-j+1];     a[n-i+1,n-j+1]: =a[j,n-i+1];     a[j,n-i+1]: =b;   end; writeln('полученный массив: '); for i: =1 to n do   begin   for j: =1 to n do write(a[i,j]: 4);   writeln;   end; end. пример: исходный массив:   57   32   69   17   87   33   85   22   89   80   59   13   60   93   96   56 полученный массив:   60   89   87   57   93   80   33   32   96   59   85   69   56   13   22   17

#include < fstream> using namespace std; int main() {     long long w, h;     ifstream fin("input.txt");     ofstream fout("output.txt");     fin > > w > > h;     long long s = 0;     for (long long i = 1; i ! = w + 1; ++i) {         for (long long j = 1; j ! = h + 1; ++j) {             s += i * j;         }       }       fout < < s; }