مشكلة تماثل المجموعة
في الجبر المجرد، إن مشكلة تماثل المجموعة هي هل مشكلة القرار لتحديد ما إذا كان اثنان معطى عروض مجموعة محدودة حاضر متماثل مجموعات.
لقد تم تحديد مشكلة تماثل الشكل من خلال ماكس دهن في سنة 1911 كواحدة من ثلاث مشاكل قرار أساسية في نظرية المجموعة ؛ والاثنان الآخران هما
كلمة مشكلة و ال مشكلة الاقتران.
وجميع المشاكل الثلاثة غير قابل للتقرير:إذ لا توجد خوارزمية كمبيوتر تحل بشكل صحيح كل حالة من مشكلة تماثل الشكل، أو من المشكلتين الأخريين، بغض النظر عن مقدار الوقت المسموح به لتشغيل الخوارزمية.
ولكن في الواقع مشكلة تقرير ما إذا كانت المجموعة تافهة هي مشكلة غير قابلة للتقرير، نتيجة ل نظرية أديان رابين بسبب سيرجي أديان و مايكل و. رابين.
المراجع
wikiarar.top
التصانيف
نظرية المجموعات رياضيات