المعاملات الثنائية والعد الأساسي
تحسب المعاملات الثنائية طرق اختيار مجموعة فرعية ذات حجم ثابت من مجموعة محدودة، وتُعد اللبنة الأساسية للعد التوافقي.
Definition
المعامل الثنائي C(n,k) هو عدد المجموعات الفرعية المكونة من k عنصر من مجموعة مكونة من n عنصر، ويساوي n!/(k!(n-k)!); والعد الأساسي هو التطبيق المنهجي لقواعد الجمع والضرب على التكوينات المحدودة.
Scope
يتناول هذا الموضوع مبادئ العد الأساسية - قواعد الجمع والضرب - والدور المركزي للمعامل الثنائي C(n,k)، ومتطابقاته (قاعدة باسكال، نظرية ذات الحدين، متطابقة فانديرموند)، وظهوره في مثلث باسكال. ويؤسس لمجموعة الأدوات الأولية التي تُبنى عليها جميع فروع التوافقيات التعدادية.
Core questions
- بكم طريقة يمكن اختيار k من n كائنات مميزة؟
- كيف تقوم قواعد الجمع والضرب بتحليل مشكلة العد؟
- ما هي المتطابقات التي تربط المعاملات الثنائية ببعضها البعض وبنظرية ذات الحدين؟
- كيف يقوم مثلث باسكال بترميز هذه المعاملات بشكل تكراري؟
Key concepts
- قاعدة الجمع وقاعدة الضرب
- التباديل مقابل التوافيق
- العوامل
- مثلث باسكال
- متطابقة فانديرموند
- المعاملات متعددة الحدود
Key theories
- نظرية ذات الحدين
- المتطابقة (x+y)^n = مجموع C(n,k) x^k y^(n-k) على k تعبر عن المعاملات الثنائية كمعاملات جبرية في قوة ذات حدين، وتربط العد بالجبر متعدد الحدود.
- قاعدة باسكال
- العلاقة التكرارية C(n,k) = C(n-1,k-1) + C(n-1,k) تبني كل معامل ثنائي من معاملين فوقه، وتولد مثلث باسكال وتعكس ما إذا كانت المجموعة الفرعية المختارة تحتوي على عنصر مميز.
Clinical relevance
تدعم المعاملات الثنائية توزيع الاحتمال الثنائي، وتحليل الخوارزميات التوافقية، وأي سياق يتطلب عد الاختيارات غير المرتبة، مما يجعلها منتشرة في الاحتمالات والإحصاء وعلوم الحاسوب.
History
ظهرت المصفوفات المثلثية للمعاملات الثنائية في الرياضيات الصينية والفارسية والهندية قبل قرون من إعطاء معاهدة باسكال عام 1654 هذا البناء اسمه الدائم في الغرب.
Key figures
- Blaise Pascal
- Isaac Newton
Related topics
Seminal works
- stanley2011
Frequently asked questions
- ما الفرق بين التبديل والتوفيق؟
- يحسب التبديل الترتيبات التي يهم فيها الترتيب؛ أما التوفيق، الذي يحسبه المعامل الثنائي، فيحسب الاختيارات التي لا يهم فيها الترتيب.
- لماذا C(n,0) يساوي 1؟
- هناك طريقة واحدة بالضبط لاختيار لا شيء من مجموعة - وهي المجموعة الفرعية الفارغة - لذا فإن عدد المجموعات الفرعية ذات الصفر عنصر هو واحد.