Санҷиши ибтидоӣ дар вақти полиномӣ, аз алгоритмҳои тасодуфӣ то "PRIMES дар P аст"

Муолиҷаи мустақили алгоритмҳои самараноки аз ҷиҳати назариявӣ ва амалӣ муҳим барои мушкилоти ибтидоӣ. Матн алгоритмҳои тасодуфии Соловай-Страссен ва Миллер-Рабинро аз охири солҳои 1970-ум ва инчунин алгоритми детерминистии охирини Агравал, Каял ва Саксенаро дар бар мегирад. Маҷмӯа барои донишҷӯёни фанҳои информатика, бахусус онҳое, ки ба криптология таваҷҷуҳи хос доранд ва донишҷӯёни математика навишта шудааст ва он метавонад ҳамчун замима барои курсҳо ё худомӯзӣ истифода шавад.