اختبار أ.ك.أس لأولية عدد ما

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

خوارزمية أ.ك.أس نسبة لواضعيها مانيندرا أغراوال وتلميذيه Kayal و Saxena. هي أول خوارزمية تحدد ما إذا كان عدد ما أولي أم لا. وقد ظهرت سنة 2002 لأول مرة وعرفت بعد ذلك بعض التحسينات خاصة سنة 2003.

أهمية الخوارزمية[عدل]

قبل اكتشاف الخوارزمية، كانت هناك عدة خوارزميات تميز العدد المركب من العدد الأولي، لكن معظمها كان إما احتماليا أو يعتمد على حدسيات لم تثبت صحتها بعد كفرضية ريمان. لكن خوارزمية أ.ك.أس لا تعتمد على أي حدسية وليست احتمالية.

وصف الخوارزمية[عدل]

ترتكز فكرة الخوارزمية على المتساوية الصالحة لكل عدد أولي، والتي هي تعميم لمبرهنة فيرما.

ليكن a عددا نسبيا و n عددا طبيعيا أكبر من 1 قطعا، حيث a و n أوليان فيما بينهما. العدد n أولي إذا وفقط إذا كان (x+a)^N\equiv x^N+a \mod N.

تتيح هذه المتساوية معيارا بسيطا لاختبار الإوالية : ليكن n عدد، يكفي اختيار a أولي مع n ثم التحقق من أن الصيغة صحيحة. إلا أن هذا يأخد وقتا O(n) \, حيث يجب دراسة n معامل في الحالة الأسوء.

لتقليص العدد، يكفي التحقق من صحة المتساوية داخل الحلقة \frac{\mathbb{Z}_{/n\mathbb{Z}\left[ X \right]}}{(X^r-1) \mathbb{Z}_{/n\mathbb{Z}\left[ X \right]}}.

مراحل الخوارزمية[عدل]

ليكن n عدد طبيعي أكبر من 2.

  1. إذا كان n=a^b \, لكل a\in\mathbb{N} وb>1 \, فالعدد مركب.
  2. تحديد أصغر عدد صحيح طبيعي r بحيث رتبة n في \mathbb{Z}_{/r\mathbb{Z}} \, أكبر من 4 \log (n)^2 \,.
  3. إذا كان 1 < a \wedge n < n لعدد صحيح a \le r، فالعدد مركب.
Midori Extension.svg هذه بذرة مقالة بحاجة للتوسيع. شارك في تحريرها.