نظام الأرقام المتبقية
نظام الأعداد المتبقية ( RNS ) هو نظام عددي يُمثل الأعداد الصحيحة بقيمها بترددات معينة تُسمى " المعاملات". هذا التمثيل مسموح به بموجب نظرية الباقي الصينية ، التي تنص على أنه إذا كان M هو حاصل ضرب المعاملات، فإنه يوجد، في فترة طولها M ، عدد صحيح واحد فقط له أي مجموعة معينة من القيم المعيارية. يُطلق على استخدام نظام الأعداد المتبقية في العمليات الحسابية أيضًا اسم الحساب متعدد المعاملات .
يُستخدم الحساب متعدد الأنماط على نطاق واسع في العمليات الحسابية للأعداد الصحيحة الكبيرة، وخاصةً في الجبر الخطي ، لأنه يوفر سرعة حسابية أعلى من أنظمة العد التقليدية، حتى مع الأخذ في الاعتبار وقت التحويل بين هذه الأنظمة. وتشمل التطبيقات الأخرى للحساب متعدد الأنماط حساب القاسم المشترك الأكبر لكثيرات الحدود ، وحساب أساس غروبنر، والتشفير .
تعريف
يُعرَّف نظام الأعداد المتبقية بمجموعة من k عدد صحيح
تُسمى هذه الأعداد بالمعاملات ، والتي يُفترض عمومًا أن تكون أولية فيما بينها (أي أن أي اثنين منها لهما قاسم مشترك أكبر يساوي واحدًا). وقد تم تعريف أنظمة أعداد البواقي للمعاملات غير الأولية فيما بينها، ولكنها غير شائعة الاستخدام بسبب خصائصها الأقل جودة. [ 1 ]
يتم تمثيل العدد الصحيح x في نظام الأرقام الباقية بواسطة عائلة بواقيه (مفهرسة بواسطة معاملات مؤشرات المعاملات).
في ظل القسمة الإقليدية على المعاملات. أي
و
لكل i
ليكن M هو حاصل ضرب جميععددان صحيحان يكون الفرق بينهما من مضاعفات العدد M لهما نفس التمثيل في نظام البواقي العددي المحدد بواسطة m و i و s. بتعبير أدق، تنص نظرية الباقي الصينية على أن كل مجموعة من مجموعات البواقي الممكنة البالغ عددها M تمثل فئة بواقي واحدة فقط بتردد M. أي أن كل مجموعة من البواقي تمثل عددًا صحيحًا واحدًا فقط.في الفترةبالنسبة للأعداد الموقعة، يكون النطاق الديناميكي هو (متى(إذا كان العدد زوجيًا، فإنه يُمثل عادةً بقيمة سالبة إضافية). [ 2 ]
العمليات الحسابية
لجمع وطرح وضرب الأعداد الممثلة في نظام عددي متبقٍ، يكفي إجراء نفس العملية المعيارية على كل زوج من البقايا. بتعبير أدق، إذا
هي قائمة المعاملات، ومجموع الأعداد الصحيحة x و y ، والتي تمثلها البواقي على التوالي.ويمثل العدد الصحيح z بواسطةبحيث
بالنسبة لـ i = 1، ...، k (كما هو معتاد، يرمز mod إلى عملية باقي القسمة التي تتضمن أخذ باقي قسمة العدد الإقليدي على المعامل الأيمن). يتم تعريف الطرح والضرب بشكل مماثل.
في سلسلة العمليات، ليس من الضروري تطبيق عملية باقي القسمة في كل خطوة. يمكن تطبيقها في نهاية الحساب، أو أثناء الحساب، لتجنب تجاوز سعة عمليات الجهاز.
ومع ذلك، فإن عمليات مثل مقارنة المقادير، وحساب الإشارة، واكتشاف تجاوز السعة، والتحجيم، والقسمة يصعب إجراؤها في نظام الأعداد المتبقية. [ 3 ]
مقارنة
إذا تساوى عددان صحيحان، فإن جميع بواقيهما تكون متساوية. والعكس صحيح، إذا كانت جميع البواقي متساوية، فإن العددين الصحيحين إما متساويان أو يختلفان بمضاعفات العدد M. ومن ثم، فإن اختبار التساوي أمر سهل.
على النقيض من ذلك، يُعدّ اختبار المتباينات ( س < ص ) صعبًا، ويتطلب عادةً تحويل الأعداد الصحيحة إلى تمثيلها القياسي. ونتيجةً لذلك، فإن هذا التمثيل للأعداد غير مناسب للخوارزميات التي تستخدم اختبارات المتباينات، مثل القسمة الإقليدية وخوارزمية إقليدس .
قسم
القسمة في أنظمة الأعداد المتبقية تُعدّ إشكالية. من ناحية أخرى، إذاهو عدد أولي مشترك مع(إنه) ثم
يمكن حسابها بسهولة بواسطة
أينهو المعكوس الضربي لـmodulo، وهو المعكوس الضربي لـmodulo.
التطبيقات
تُستخدم أنظمة الأعداد العشوائية في مجال الحساب الرقمي . فمن خلال تقسيم عدد صحيح كبير إلى مجموعة من الأعداد الصحيحة الأصغر، يمكن إجراء عملية حسابية كبيرة كسلسلة من العمليات الحسابية الأصغر التي يمكن تنفيذها بشكل مستقل ومتوازٍ.
انظر أيضاً
مراجع
- ↑ بارامي، بهروز (2010). الحساب الحاسوبي: الخوارزميات وتصميمات الأجهزة ( الطبعة الثانية). نيويورك، الولايات المتحدة الأمريكية: مطبعة جامعة أكسفورد . ISBN 978-0-19-532848-6أُرشف من المصدر الأصلي بتاريخ 4 أغسطس 2020. تم الاطلاع عليه بتاريخ 23 يناير 2021 .(xxv+641 صفحة)
- ↑ هونغ، سي واي؛ بارامي، ب. (1994-02-01). "طريقة تقريبية للكشف عن الإشارة لأعداد البواقي وتطبيقها على قسمة الأعداد المتبقية" (ملف PDF) . الحوسبة والرياضيات مع التطبيقات . 27 (4): 23-35 . doi : 10.1016/0898-1221(94)90052-3 .
- ↑ إيسوبوف، كونستانتين (2020-04-07) [2020-03-20، 2020-03-08، 2020-02-17]. "استخدام فترات الفاصلة العائمة للحسابات غير النمطية في نظام الأعداد المتبقية" . IEEE Access . 8 : 58603–58619 . Bibcode : 2020IEEEA...858603I . doi : 10.1109/ACCESS.2020.2982365 . ISSN 2169-3536 .
للمزيد من القراءة
- سزابو، نيكولاس س.؛ تاناكا، ريتشارد آي. (1967). حساب البواقي وتطبيقاته في تكنولوجيا الحاسوب ( الطبعة الأولى). نيويورك، الولايات المتحدة الأمريكية: ماكجرو هيل .
- سوندرستراند، مايكل أ.؛ جينكينز، دبليو. كينيث؛ جوليان، غراهام أ.؛ تايلور، فريد ج.، محرران. (1986). حساب نظام الأعداد المتبقية: تطبيقات حديثة في معالجة الإشارات الرقمية . سلسلة إعادة طبع منشورات IEEE ( الطبعة الأولى). نيويورك، الولايات المتحدة الأمريكية: جمعية الدوائر والأنظمة التابعة لـ IEEE ، منشورات IEEE . ISBN 0-87942-205-X. LCCN 86-10516 . رمز طلب IEEE PC01982. (viii+418+6 صفحات)
- تشيرفياكوف، ن. إي.؛ مولاهوسيني، أ. س.؛ لياخوف، ب. أ. (2017). تحويل البواقي إلى النظام الثنائي لمجموعات المعاملات العامة بناءً على نظرية الباقي الصينية التقريبية . المجلة الدولية للرياضيات الحاسوبية ، 94:9، 1833-1849، doi: 10.1080/00207160.2016.1247439.
- فينكو [فينكو]، أوليغ أناتوليفيتش [أوليغ أناتوليفيتش] (يونيو 2004). "أنظمة كبيرة من الوظائف المنطقية: تحقيقها عن طريق الطرق الحسابية المعيارية" . الأتمتة والتحكم عن بعد . 65 (6): 871-892 . دوى : 10.1023/B:AURC.0000030901.74901.44 . ISSN 0005-1179 . إل سي سي إن 56038628 . S2CID 123623780 . كودن أوركات . مي at1588 .
- تشيرفياكوف، ن. إي.؛ لياخوف، ب. أ.؛ ديريابين، م. أ. (2020). حل قائم على نظام الأعداد المتبقية لتقليل تكلفة الأجهزة لشبكة عصبية التفافية . الحوسبة العصبية ، 407، 439-453، doi: 10.1016/j.neucom.2020.04.018.
- باجارد، جان كلود؛ ميلوني، نيكولا؛ بلانتارد، توماس (2006-10-06) [يوليو 2005]. "قواعد RNS فعّالة للتشفير" (ملف PDF) . مؤتمر IMACS'05: المؤتمر العالمي: الحوسبة العلمية والرياضيات التطبيقية والمحاكاة . باريس، فرنسا. معرف HAL: lirmm-00106470. مؤرشف (ملف PDF) من الأصل بتاريخ 23 يناير 2021. تم الاطلاع عليه بتاريخ 23 يناير 2021 .(صفحة واحدة + 7 صفحات)
- أوموندي، آموس؛ بريمكومار، بنجامين (2007). أنظمة الأعداد المتبقية: النظرية والتطبيق . لندن، المملكة المتحدة: مطبعة إمبريال كوليدج . ISBN 978-1-86094-866-4.(296 صفحة)
- موهان، بي في أناندا (2016). أنظمة الأعداد المتبقية: النظرية والتطبيقات ( الطبعة الأولى). بيركهاوزر / سبرينغر للنشر الدولي، سويسرا . doi : 10.1007/978-3-319-41385-3 . ISBN 978-3-319-41383-9. إل سي سي إن 2016947081 . (351 صفحة)
- أمير صباغ، مولاهوسيني؛ دي سوزا، ليونيل سيابرا؛ تشيب-هونغ تشانغ، محرران. (21-03-2017). تصميم الأنظمة المدمجة باستخدام أنظمة حسابية وأعداد خاصة ( الطبعة الأولى). دار نشر سبرينغر الدولية . doi : 10.1007/978-3-319-49742-6 . ISBN 978-3-319-49741-9. إل سي سي إن 2017934074 . (389 صفحة)
- "خوارزميات القسمة" . مؤرشف من الأصل بتاريخ 17 فبراير 2005. تم الاطلاع عليه بتاريخ 24 أغسطس 2023 .
- كنوت، دونالد إرفين . فن برمجة الحاسوب . أديسون ويسلي .
- هارفي، ديفيد (2010). "خوارزمية متعددة الوحدات لحساب أعداد برنولي" . رياضيات الحساب . 79 (272): 2361-2370 . arXiv : 0807.1347 . doi : 10.1090/S0025-5718-2010-02367-1 . S2CID 11329343 .
- ليسيرف، غريغوار؛ شوست، إريك (2003). "ضرب متسلسلات القوى متعددة المتغيرات بسرعة في خاصية الصفر". المجلة الإلكترونية SADIO للمعلوماتية وبحوث العمليات . 5 (1): 1-10 .
- أورانج، سيباستيان؛ رينو، غوينيل؛ يوكوياما، كازوهيرو (2012). "الحساب الفعال في حقول التمديد الجبري المتتالي باستخدام التناظرات" . الرياضيات في علوم الحاسوب . 6 (3): 217-233 . doi : 10.1007/s11786-012-0112-y . S2CID 14360845 .
- يوكوياما، كازوهيرو (سبتمبر 2012). "استخدام التقنيات المعيارية للحساب الفعال للعمليات المثالية". ورشة العمل الدولية حول الجبر الحاسوبي في الحوسبة العلمية . برلين / هايدلبرغ، ألمانيا: سبرينغر. ص 361-362 .
- هلاديك، جاكوب؛ شيميتشيك، إيفان (يناير 2012). "الحساب النمطي لحل المعادلات الخطية على وحدة معالجة الرسومات". ندوة حول التحليل العددي . ص 68-70 .
- بيرنيه، كليمنت (يونيو 2015). "الخوارزميات الدقيقة للجبر الخطي: النظرية والتطبيق". وقائع ندوة ACM الدولية لعام 2015 حول الحوسبة الرمزية والجبرية . رابطة آلات الحوسبة . الصفحات 17-18 .
- ليسيرف، غريغوار (2018). "حول تعقيد خوارزمية ليكتيغ-روي للمحصلة الفرعية". مجلة الحوسبة الرمزية .
- يوكوياما، كازوهيرو؛ نورو، ماسايوكي؛ تاكيشيما، تاكو (1994). "نهج متعدد الوحدات لتحليل كثيرات الحدود التكاملية ثنائية المتغيرات في زمن متعدد الحدود" . مجلة الحساب الرمزي . 17 (6): 545-563 . doi : 10.1006/jsco.1994.1034 .
- إيسوبوف، كونستانتين (2021). "الحساب عالي الأداء في نظام الأعداد المتبقية باستخدام الحساب ذي الفاصلة العائمة". الحوسبة . 9 (2): 9. doi:10.3390/computation9020009 . ISSN 2079-3197.
- الحساب النمطي
- الحساب الحاسوبي
