Algoritmul folosit in rezolvarea pentru $100$ de puncte este Miller-Rabin. Este un algoritm probabilistic care verifica primalitatea unui numar in complexitate $O(c*log Nr)$, unde c este numarul de baze folosite pentru verificare.
Dorim sa verificam daca numarul Nr este prim. Primul pas care trebuie efectuat este acela de a-l scrie pe Nr-1 ca numar de forma $2^s^*d$, unde s trebuie sa fie maxim. Pasul urmator este sa verificam 2 relatii:
1. $a^d^ mod n != 1$

2. <tex> a^{2^r*d} </tex> $mod n != -1$

2. <tex> a^{2^r}*d </tex>

h2. 'Kcity':problema/kcity