SAT هي المشكلة الأولى التي ثبت أنها كاملة NP؛ هذا يعني أن جميع المشكلات في فئة التعقيد NP، والتي تتضمن مجموعة واسعة من مشكلات القرار والتحسين الطبيعي، يصعب حلها على الأكثر مثل SAT.
التصنيف: رياضيات
تتكون آلة تورينج من برنامج محدود، يسمى التحكم المحدود، قادر على معالجة قائمة خطية من الخلايا، تسمى الشريط، باستخدام مؤشر وصول واحد يسمى الرأس. نشير إلى الاتجاهين الموجودين على الشريط على أنهما “يمين” و “يسار”.
إحدى النتائج المهمة لنظرية كوك ليفين هي أنه في حالة وجود خوارزمية زمنية متعددة الحدود حتمية لحل مسألة قابلية الإرضاء المنطقية (Boolean satisfiability problem )، فيمكن حل كل مشكلة NP بواسطة خوارزمية وقت حتمية متعددة الحدود.
نظرية الحد المركزي لها عدة متغيرات. في شكلها المشترك، يجب توزيع المتغيرات العشوائية بشكل مماثل. في المتغيرات، يحدث تقارب المتوسط مع التوزيع الطبيعي أيضًا للتوزيعات غير المتطابقة أو للملاحظات غير المستقلة، إذا كانت تتوافق مع شروط معينة.
نظرًا لأن النظرية الأساسية في الجبر يمكن اعتبارها بيانًا مفاده أن مجال الأعداد المركبة مغلق جبريًا، فإنه يترتب على ذلك أن أي نظرية تتعلق بالحقول المغلقة جبريًا تنطبق على مجال الأعداد المركبة.
في لغة الرسم البياني النظرية، تدعي نظرية الألوان الأربعة أن رؤوس كل رسم بياني مستو يمكن تلوينها بأربعة ألوان على الأكثر دون تلقي رأسين متجاورين نفس اللون، أو بعبارة أخرى: كل رسم بياني مستوٍ أربعة ألوان قابلة للتلوين.
يستخدم نظام الإحداثيات الجغرافي السمت والارتفاع لنظام الإحداثيات الكروية للتعبير عن المواقع على الأرض، و استدعاءها على التوالي خطوط الطول و العرض. مثلما يكون نظام الإحداثيات الديكارتية ثنائي الأبعاد مفيدًا على المستوى، فإن نظام الإحداثيات الكروية ثنائي الأبعاد مفيد على سطح الكرة.
تُستخدم نظرية الباقي الصينية على نطاق واسع للحوسبة ذات الأعداد الصحيحة الكبيرة، لأنها تسمح باستبدال الحساب الذي يعرف المرء حدودًا لحجم النتيجة بعدة حسابات مماثلة على أعداد صحيحة صغيرة.
عناصر إقليدس أكثر الكتب المدرسية نجاحًا و تأثيرًا على الإطلاق. كانت واحدة من أقدم الأعمال الرياضية التي طُبعت بعد اختراع المطبعة، و قدرت بأنها الثانية بعد الكتاب المقدس في عدد الطبعات المنشورة منذ الطبعة الأولى عام 1482، و وصل العدد إلى أكثر من ألف.
في الرياضيات الحديثة، يتم تضمين أسس التفاضل والتكامل في مجال التحليل الحقيقي، والذي يحتوي على تعريفات كاملة و براهين لنظريات التفاضل والتكامل. كما تم توسيع نطاق حساب التفاضل والتكامل بشكل كبير.
السلة