מבחן AKS לראשוניות

מבחן AKS לראשוניות הוא אלגוריתם דטרמיניסטי להוכחת ראשוניות שנוצר ופורסם על ידי מנינדרה אגרוול, ניראג' קיאל, וניטין סקסנה מהמכון ההודי לטכנולוגיה קנפור,  ונקרא על שמם. האלגוריתם התפרסם ב-6 באוגוסט 2002, במאמרם "PRIMES is in P". החוקרים קיבלו שבחים רבים על עבודתם, כולל פרס גדל לשנת 2006 ופרס פולקרסון לשנת 2006. האלגוריתם קובע האם מספר הוא ראשוני או פריק בזמן ריצה פולילוגריתמי.

זמן הריצה של האלגוריתם המקורי הוא  כאשר בהמשך הצליחו לשפרו ל.

רקע מתמטי
אלגוריתם AKS מבוסס על המשפט המתמטי הבא: בהינתן מספר שלם n, גדול מ-2, ומספר שלם a, זר ל-n, המספר n הוא ראשוני אם ורק אם מתקיימת הקונגרואנציה (הפולינומית) הבאה:  . המשפט הוא הכללה לפולינומים של המשפט הקטן של פרמה, וניתן להוכיח אותו בעזרת הבינום של ניוטון עם התכונה של מקדם בינומי:  לכל k הקטן מ-n, אם ורק אם n הוא ראשוני.

האלגוריתם
האלגוריתם הוא כדלקמן:
 קלט: מספר טבעי n > 1.
 אם n = ab למספרים שלמים a,b > 1, המספר פריק.
 מצא r הקטן ביותר כך ש- כאשר  הוא הסדר הכפלי של n מודולו r, כלומר: זהו המספר הטבעי הקטן ביותר k כך ש-.
 אם  עבור איזשהו a ≤ r, המספר פריק.
 בצע מ- a = 1 עד ל- (כאן  היא פונקציית אוילר)
 אם לא קיימים פולינומים f ו-g כך ש- עבור a (כלומר: ), המספר פריק.
 המספר ראשוני.

קישורים חיצוניים

הערות שוליים

מבחני ראשוניות