Я действительно не понимаю, как использовать доказательство по индукции на psuedocode. Кажется, что это работает не так, как с использованием математических уравнений.
Я пытаюсь подсчитать количество целых чисел, которые делятся на k в массиве.
Algorithm: divisibleByK (a, k)
Input: array a of n size, number to be divisible by k
Output: number of numbers divisible by k
int count = 0;
for i <- 0 to n do
if (check(a[i],k) = true)
count = count + 1
return count;
Algorithm: Check (a[i], k)
Input: specific number in array a, number to be divisible by k
Output: boolean of true or false
if(a[i] % k == 0) then
return true;
else
return false;
Как можно доказать, что это правильно? Благодаря