Key points are not available for this paper at this time.
من المعروف على نطاق واسع أن المجمّع الحاسوبي يمكن فحصه بواسطة دائرة مستقلة تمامًا باستخدام رموز تحقق تمثل بقايا الأعداد وفقًا لبعض الأسس. تصف هذه الورقة نظام فحص بقايا مماثل وتظهر، علاوة على ذلك، أن دوائر الجمع والفحص المستقلة ممكنة فقط مع أنظمة من هذا النوع. يتضمن النقاش طريقة للتعامل مع رموز تحقق بقايا الفئة عند حدوث تجاوز.
قام و. و. بيترسون (الثلاثاء) بدراسة هذا السؤال.
Synapse has enriched one closely related paper. Consider it for comparative context: