تحليل توافيقي

فرع من الرياضيات يدرس البنى المتقطعة المنتهية القابلة للعد.
(بالتحويل من تركيبات)


التحليل التوافيقي[1] أو الرياضيات التوافيقية[2] أو التوافيقيات[3][4] (بالإنجليزية: Combinatorics أو Combinatorial analysis)‏ هي أحد فروع الرياضيات التي تدرس البُنى المتقطعة المنتهية والقابلة للعد. تتضمن التركيبات عدّ العناصر في المجموعات، مع تحديد ما إذا كانت تتوافق مع المعايير المطلوبة، وكذلك دراسة بناء وتحليل الكائنات التي تحقق هذه المعايير (كما في التصميم التوافيقي ونظرية الماترويد)، يهتم هذا العلم أيضاً بإيجاد الكائنات الأكبر أو الأصغر أو الأفضل (فيما يعرف بالتوافيقيات الحجمية والتوافيقيات التحسينية). ودراسة الهيكل التركيبي الظاهر في محتوى جبري، أو تطبيق تقنيات الجبر لحل مسائل التوافيقيات (التوافيقيات الجبرية [الإنجليزية]).

تحليل توافيقي
معلومات عامة
صنف فرعي من
جزء من
سُمِّي باسم
يدرس
نظام تصنيف حوسبة رابطة مكائن الحوسبة (2012)
10003625 عدل القيمة على Wikidata

التاريخ

عدل
 
An example of change ringing (with six bells), one of the earliest nontrivial results in Graph Theory

ظهرت مفاهيم التوافيقيات الابتدائية منذ القدم. في القرن السادس قبل الميلاد صرح ساسروتا سامهيتا طبيب هندي قديم، أنه بالإمكان صناعة 63 مذاقا مختلفا انطلاقا من ست توابل مختلفة.

انظر أعداد شرودر.

مقاربات التوافيقياتوفروعها

عدل

التوافيقيات التعدادية

عدل
 
خمسة أشجار ثنائية على ثلاثة رؤوس, مثال على أعداد كاتالان.

انظر إلى عدد فيبوناتشي.

نظرية التجزآت

عدل

في نظرية الأعداد وفي التوافيقيات، تجزئة عدد طبيعي هي طريقة لكتابة هذا العدد على شكل مجموع أعداد طبيعية. مجموعان يختلفان فقط في ترتيب حدودهما، يعتبران نفس المجموع. على سبيل المثال، يكتب 4 على شكل خمسة مجاميع مختلفة وهي:

4,     3 + 1,     2 + 2,     2 + 1 + 1,     1 + 1 + 1 + 1.

نظرية المخططات

عدل

نظرية المخططات هي نظرية في الرياضيات وعلوم الحاسب، تدرس خواص المخططات حيث يتم تمثيل مجموعة كائنات تدعى رؤوسا، ترتبط ببعضها بأضلاع وتدعى أحيانا أقواسا، يمكن أن تكون موجهة أي مزودة باتجاه (تستخدم الاسهم بدل الأضلاع) أو بدون اتجاه (أضلاع فقط). التمثيل لهذا المخطط يكون على الورق بمجموعة نقاط تمثل الرؤوس متصلة بخطوط هي حروف (أضلاع أو أسهم) المخطط.

تُمكن الاستعانة بالمخططات من حلحلة الكثير من المشاكل العملية، فمثلا بنية موسوعة ويكيبيديا يمكن تمثيلها بمخطط رؤوسه هي أسماء المقالات ونقوم برسم خط موجه بين مقالتين من أ إلى ب إذا كانت المقالة أ تحوي رابطا إلى المقالة ب. تطبيقات هذه النظرية واسعة جدا ولحل مشاكلها يستخدم الحاسوب بشكل واسع. لذلك تهتم علوم الحاسوب بتصميم خوارزميات لنظرية المخططات حيث يمكن معالجة أي مخطط لتمييز خصائصه واستخلاص المعلومات منه.

 
مخطط بيترسن.

تعتبر المخططات كائنات أساسية في دراسة التوافيقيات.

الهندسة المنتهية

عدل

الهندسة المنتهية هي أي نظام هندسي رياضي يحوي عددا منتهيا (محددا) من النقاط. على سبيل المثال، الهندسة الإقليدية هي هندسة غير منتهية، حيث أن المستقيم الإقليدي يحتوي عددا لا نهائيا من النقاط. من الممكن للهندسة المنتهية أن تمتلك عددا منتهيا من الأبعاد.

نظرية الترتيب

عدل

نظرية الترتيب هي فرع من الرياضيات يهتم بدراسة الأنواع المختلفة من العلاقات الثنائية التي تعطي انطباعا حسّياً عن فكرة ترتيبها موفرة بنية يمكن القول من خلالها متى يكون الشيء «أقل من» أو «يسبق» الآخر.

تدرس نظرية الترتيب مختلف أنواع العلاقات الثنائية بين العناصر الرياضية المختلفة التي ترمز ترتيب هذه العناصر.

 
مخطط هاس of the مجموعة المجموعات الجزئية of {x,y,z} ordered by inclusion.

التوافيقيات الاحتمالية

عدل
 
سَير مع تجنب النقط اللائي سِير عليهن من قبل في شبكة من النقط على شكل مربع.

مبادئ العد الأساسية

عدل

إذا كان لدينا مجموعتان مختلفتان وعدد الإمكانيات للاختيار من المجموعة الأولى هو N وعدد الإمكانيات للاختيار من المجموعة الثانية هو M، فإن عدد الإمكانيات للاختيار من المجموعة الأولى و المجموعة الثانية هو  .

مثال: لدى منال 5 تنانير و 7 قمصان. في كل مرة تخرج فيها من البيت ترتدي قميصا وتنورة. كم إمكانية مختلفة توجد لمنال لاختيار قميص و تنورة؟. الإجابة: حسب قانون الضرب   إمكانية مختلفة.

مراجع

عدل
  1. ^ [أ] موفق دعبول؛ بشير قابيل؛ مروان البواب؛ خضر الأحمد (2018)، معجم مصطلحات الرياضيات (بالعربية والإنجليزية)، دمشق: مجمع اللغة العربية بدمشق، ص. 102، OCLC:1369254291، QID:Q108593221
    [ب] معجم الرياضيات (بالعربية والإنجليزية)، القاهرة: مجمع اللغة العربية بالقاهرة، ج. 1، 1995، ص. 262، QID:Q120333811
    [جـ] المعجم الموحد لمصطلحات الرياضيات والفلك: (إنجليزي - فرنسي - عربي)، سلسلة المعاجم الموحدة (3) (بالعربية والإنجليزية والفرنسية)، تونس: مكتب تنسيق التعريب، 1990، ص. 31، OCLC:4769958475، QID:Q114600477
    [د] أفرام بوروفسكي؛ جوناثان بوروين (1995)، معجم الرياضيات: إنكليزي - فرنسي - عربي، المعاجم الأكاديمية المتخصصة (بالعربية والإنجليزية والفرنسية)، ترجمة: علي مصطفى بن الأشهر، مراجعة: محمد الدبس، بيروت: أكاديميا إنترناشيونال، ص. 109، OCLC:822262215، QID:Q121833036
    [هـ] منير البعلبكي؛ رمزي البعلبكي (2008). المورد الحديث: قاموس إنكليزي عربي (بالعربية والإنجليزية) (ط. 1). بيروت: دار العلم للملايين. ص. 244. ISBN:978-9953-63-541-5. OCLC:405515532. OL:50197876M. QID:Q112315598.
  2. ^ موفق دعبول؛ بشير قابيل؛ مروان البواب؛ خضر الأحمد (2018)، معجم مصطلحات الرياضيات (بالعربية والإنجليزية)، دمشق: مجمع اللغة العربية بدمشق، ص. 103، OCLC:1369254291، QID:Q108593221
  3. ^ موفق دعبول؛ مروان البواب؛ نزار الحافظ؛ نوار العوا (2017)، قائمة مصطلحات المعلوماتية (بالعربية والإنجليزية)، دمشق: مجمع اللغة العربية بدمشق، ص. 69، QID:Q112244705
  4. ^ معجم مصطلحات الحاسبات (بالعربية والإنجليزية) (ط. 4)، القاهرة: مجمع اللغة العربية بالقاهرة، 2012، ص. 112، OCLC:1227674283، QID:Q124656273