</tex>
{{- --}} Для каждого нечетного простого <tex>N</tex> и <tex>A \in [N - 1], QR_N(A) = A^{(N - 1)/2} (mod N)</tex> {{--- }} Для каждого нечетного <tex>N, A</tex> определим симол Якоби <tex>(\frac{N}{A})</tex> как <tex>\prod\limits_{i=1}^k QR_{P(i)}(A)</tex>, где <tex>P_1, ... , P_k</tex> это простые делители (не обязательно различные) числа <tex>N (N = \prod\limits_{i=1}^k P_i)</tex>. Заметим что сивол Якоби вычислим за <tex>O(logA * logN)</tex>
===Проверка двудольного графа на существование в нем полного паросочетания===
