Провизацияланған қарапайым - Provable prime

Жылы сандар теориясы, а дәлелденетін қарапайым болып табылады бүтін деп есептелген қарапайым басымдықты дәлелдеуді қолдану алгоритм. Жүктеуді байлау тәсілдерін қолдану Поклингтонның бастапқы сынағы криптографияның дәлелденетін қарапайым түрін құрудың ең кең тараған әдістері[1][2]. Контраст ықтимал қарапайым, бұл, мүмкін, (бірақ анық емес), а нәтижесіне негізделген ықтималдық бастапқы тест.

Негізінде, кез-келген жай санның жай екенін дәлелдеуге болады көпмүшелік уақыт көмегімен AKS-тің бастапқы сынағы. Олардың нәтижесі қарапайым болатындығына кепілдік беретін, бірақ барлық жай бөлшектерде жұмыс істемейтін басқа әдістер дәлелденетін жай санды кездейсоқ құру үшін пайдалы.[3]

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ C. Couvreur және J. J. Quisquater (1982), Үлкен қарапайым сандардың жылдам генерациясына кіріспе, Philips Journal of Research, 37, 231–264 бб
  2. ^ Крэндолл, Ричард; Померанс, Карл (2005). Жай сандар: есептеу перспективасы. Спрингер. 174–178 бб. ISBN  978-0387-25282-7.
  3. ^ Моллин, Ричард А. (2002), RSA және ашық кілт криптографиясы, Дискретті математика және оның қолданылуы, CRC Press, 124–125 бет, ISBN  9781420035247.