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