مشكلة العملة

عملة من فئة بنسين
عملة معدنية من فئة خمسة بنسات
باستخدام عملات معدنية من فئة 2 بنس و 5 بنسات فقط، لا يمكن للمرء أن يصنع 3 بنسات، ولكن يمكن للمرء أن يصنع أي مبلغ صحيح أعلى من ذلك.
مسألة فروبينيوس للعملات المعدنية من فئتي 2 بنس و5 بنسات ممثلة بيانيًا: تمثل الخطوط المائلة تمثيلًا بيانيًا للمعادلة 2 س + 5 ص = ن ، حيث ن هو المجموع بالبنسات، وس و ص هما العدد غير السالب لعملات 2 بنس و5 بنس على التوالي. تمثل كل نقطة على الخط تركيبة من 2 بنس و5 بنس للمجموع المحدد (باللون الأخضر). تشير النقاط المتعددة على الخط إلى تركيبات متعددة ممكنة (باللون الأزرق). الخطوط التي يكون فيها ن = 1 أو 3 فقط هي التي لا تحتوي على نقاط (باللون الأحمر).

في الرياضيات ، تُعرف مسألة العملة ( أو مسألة فروبينيوس ، نسبةً إلى عالم الرياضيات فرديناند فروبينيوس ) بأنها مسألة رياضية تُحدد أكبر مبلغ نقدي لا يمكن الحصول عليه باستخدام عملات معدنية من فئات محددة فقط . [ 1 ] على سبيل المثال، أكبر مبلغ لا يمكن الحصول عليه باستخدام عملات معدنية من فئتي 3 و5 وحدات فقط هو 7 وحدات. يُطلق على حل هذه المسألة لمجموعة معينة من فئات العملات المعدنية اسم عدد فروبينيوس لتلك المجموعة. يوجد عدد فروبينيوس طالما أن مجموعة فئات العملات المعدنية أولية فيما بينها .

توجد صيغة صريحة لحساب عدد فروبينيوس عندما يكون هناك فئتان مختلفتان فقط من العملات المعدنية،x{\displaystyle x}وy{\displaystyle y}، حيث يكون القاسم المشترك الأكبر لهذين العددين هو 1:xy-x-y{\displaystyle xy-xy}إذا كان عدد فئات العملات المعدنية ثلاثة أو أكثر، فلا توجد صيغة صريحة معروفة. مع ذلك، لأي عدد ثابت من فئات العملات المعدنية، توجد خوارزمية لحساب عدد فروبينيوس في زمن متعدد الحدود (باللوغاريتمات لفئات العملات المعدنية التي تُشكّل المدخلات). [ 2 ] لا توجد خوارزمية معروفة تعمل في زمن متعدد الحدود بالنسبة لعدد فئات العملات المعدنية، والمسألة العامة، حيث يمكن أن يكون عدد فئات العملات المعدنية كبيرًا كما هو مطلوب، هي مسألة صعبة من نوع NP . [ 3 ] [ 4 ]

إفادة

من الناحية الرياضية، يمكن صياغة المسألة على النحو التالي:

بفرض الأعداد الصحيحة الموجبةأ1،أ2،...،أن{\displaystyle a_{1},a_{2},\dots ,a_{n}}بحيث يكون القاسم المشترك الأكبر(أ1،أ2،...،أن)=1{\displaystyle (a_{1},a_{2},\dots ,a_{n})=1}أوجد أكبر عدد صحيح لا يمكن التعبير عنه كمجموعة مخروطية صحيحة من هذه الأعداد، أي كمجموع:ك1أ1+ك2أ2++كنأن{\displaystyle k_{1}a_{1}+k_{2}a_{2}+\dots +k_{n}a_{n}}
أينك1،ك2،...،كن{\displaystyle k_{1},k_{2},\dots ,k_{n}}هي أعداد صحيحة غير سالبة.

يُطلق على هذا العدد الصحيح الأكبر اسم عدد فروبينيوس للمجموعة{أ1،أ2،...،أن}{\displaystyle \{a_{1},a_{2},\dots ,a_{n}\}}ويُشار إليه عادةً بـز(أ1،أ2،...،أن){\displaystyle g(a_{1},a_{2},\dots ,a_{n})}

يعتمد وجود عدد فروبينيوس على شرط أن يكون القاسم المشترك الأكبر (GCD) مساويًا لـ 1. في الواقع، تكون المجاميع المحتملة مضاعفات للقاسم المشترك الأكبر في جميع الحالات. لذا، إذا لم يكن القاسم المشترك الأكبر مساويًا لـ 1، فستكون هناك دائمًا أعداد كبيرة جدًا لا يمكن الحصول عليها كمجاميع. على سبيل المثال، إذا كان لديك نوعان من العملات المعدنية بقيمة 6 سنتات و14 سنتًا، فسيكون القاسم المشترك الأكبر مساويًا لـ 2، ولن تكون هناك طريقة لدمج أي عدد من هذه العملات لإنتاج مجموع فردي ؛ بالإضافة إلى ذلك، لا يمكن تكوين الأعداد الزوجية 2، 4، 8، 10، 16، و22 (أقل من 24 ). من ناحية أخرى، عندما يكون القاسم المشترك الأكبر مساويًا لـ 1، فإن مجموعة الأعداد الصحيحة التي لا يمكن التعبير عنها كتركيبة مخروطية من{أ1،أ2،...،أن}{\displaystyle \{a_{1},a_{2},\dots ,a_{n}\}}محدود وفقًا لنظرية شور ، وبالتالي فإن عدد فروبينيوس موجود .

أعداد فروبينيوس لقيم n الصغيرة

يوجد حل مغلق لمسألة العملة المعدنية فقط عندما يكون n  =  1 أو  2. لا يوجد حل مغلق معروف لـ n  >  2. [ 4 ]

ن = 1

لون=1{\displaystyle n=1}إذن يجب أن يكون لديناأ1=1{\displaystyle a_{1}=1}بحيث يمكن تكوين جميع الأعداد الطبيعية.

ن = 2

لون=2{\displaystyle n=2}يمكن إيجاد عدد فروبينيوس من الصيغةز(أ1،أ2)=أ1أ2-أ1-أ2{\displaystyle g(a_{1},a_{2})=a_{1}a_{2}-a_{1}-a_{2}}، والذي اكتشفه جيمس جوزيف سيلفستر عام 1882. [ 5 ] [ ملاحظة 1 ] كما أثبت سيلفستر في هذه الحالة أن هناك ما مجموعهشمال(أ1،أ2)=(أ1-1)(أ2-1)/2{\displaystyle N(a_{1},a_{2})=(a_{1}-1)(a_{2}-1)/2}الأعداد الصحيحة غير القابلة للتمثيل (الموجبة).

صيغة أخرى للمعادلة لـز(أ1،أ2){\displaystyle g(a_{1},a_{2})}يُقدّمها سكوبين [ 7 ] في هذه القضية: إذاأ1،أ2شمال{\displaystyle a_{1},a_{2}\in \mathbb {N} }والقاسم المشترك الأكبر(أ1،أ2)=1{\displaystyle \gcd(a_{1},a_{2})=1}ثم، لكلن(أ1-1)(أ2-1){\displaystyle n\geq (a_{1}-1)(a_{2}-1)}يوجد زوج واحد فقط من الأعداد الصحيحة غير السالبةρ{\displaystyle \rho }وσ{\displaystyle \sigma }بحيثσ<أ1{\displaystyle \sigma <a_{1}}ون=ρأ1+σأ2{\displaystyle n=\rho a_{1}+\sigma a_{2}}.

تم إثبات الصيغة على النحو التالي. لنفترض أننا نريد بناء العددن(أ1-1)(أ2-1){\displaystyle n\geq (a_{1}-1)(a_{2}-1)}. منذالقاسم المشترك الأكبر(أ1،أ2)=1{\displaystyle \gcd(a_{1},a_{2})=1}جميع الأعداد الصحيحةن-جأ2{\displaystyle n-ja_{2}}لج=0،1،...،أ1-1{\displaystyle j=0,1,\ldots ,a_{1}-1}متميزة عن بعضها البعض بترددأ1{\displaystyle a_{1}}وبالتالي أي عدد صحيحم{\displaystyle m}يجب أن يكون متطابقًا بترددأ1{\displaystyle a_{1}}إلى إحدى هذه البقايا؛ على وجه الخصوص، أخذم=أ1{\displaystyle m=a_{1}}هناك قيمة فريدة لـج=σ0{\displaystyle j=\sigma \geq 0}وعدد صحيح فريدت{\displaystyle t}بحيثأ1=ن-σأ2+تأ1{\displaystyle a_{1}=n-\sigma a_{2}+ta_{1}}بإعادة الترتيب، نحصل على عدد صحيح غير سالبρ=1-ت{\displaystyle \rho =1-t}لهذا السبب.ن=ρأ1+σأ2{\displaystyle n=\rho a_{1}+\sigma a_{2}}. بالفعل،ρ0{\displaystyle \rho \geq 0}لأنρأ1=ن-σأ2(أ1-1)(أ2-1)-(أ1-1)أ2=-أ1+1>(-1)أ1{\displaystyle \rho a_{1}=n-\sigma a_{2}\geq (a_{1}-1)(a_{2}-1)-(a_{1}-1)a_{2}=-a_{1}+1>(-1)a_{1}}.

لإثبات أن نصف الأعداد الصحيحة بالضبط0،1،...،أب-أ-ب{\displaystyle 0,1,\ldots ,ab-ab}إذا كانت قابلة للتمثيل كمجموعات خطية من الأعداد الصحيحة غير السالبة، فيجب أولاً إثبات أنه إذا كان العدد الصحيحك[0،أب-أ-ب]{\displaystyle k\in [0,ab-ab]}إذا كان قابلاً للتمثيل، فعندئذٍشمال-ك{\displaystyle Nk}غير قابل للتمثيل، حيثشمال=أب-أ-ب{\displaystyle N=ab-ab}.

ثم يُبين المرء أن العكس صحيح أيضًا: إذاك{\displaystyle k}إذا لم يكن قابلاً للتمثيل، فعندئذٍشمال-ك{\displaystyle Nk}يمكن تمثيلها. ولإثبات ذلك، استخدم حقيقة أنالقاسم المشترك الأكبر(أ،ب)=1{\displaystyle \gcd(a,b)=1}مما يسمح لنا بالكتابةك=xأ+yب{\displaystyle k=xa+yb}تقليل المعاملات وإعادة ترتيبها عن طريق إضافة مضاعفاتأب{\displaystyle ab}يمكننا أن نفترض، حسب الضرورة.0x<ب{\displaystyle 0\leq x<b}(في الواقع، هذاx{\displaystyle x}هو فريد من نوعهx{\displaystyle x}(تحقيق المعادلة والمتباينات).

وبالمثل نأخذu،v{\displaystyle u,v}مُرضٍشمال-ك=uأ+vب{\displaystyle Nk=ua+vb} و0u<ب{\displaystyle 0\leq u<b}الآن يمكننا جمع هذه المعادلات لكتابةشمال=(u+x)أ+(y+v)ب{\displaystyle N=(u+x)a+(y+v)b}والتي، باستخدامشمال=أب-أ-ب{\displaystyle N=ab-ab}العائدأب-ب(1+y+v)=أ(x+u+1){\displaystyle ab-b(1+y+v)=a(x+u+1)}العدد الصحيحx+u+1{\displaystyle x+u+1}إيجابي، لأنx،u0{\displaystyle x,u\geq 0}في الواقع، منذ الجانب الأيسر منأب-ب(1+y+v)=أ(x+u+1){\displaystyle ab-b(1+y+v)=a(x+u+1)}يقبل القسمة علىب{\displaystyle b}، و(أ،ب)=1{\displaystyle (a,b)=1}يجب أن يكون لدينا ذلكx+u+1{\displaystyle x+u+1}يقبل القسمة علىب{\displaystyle b}. حتى الآنx،uب-1{\displaystyle x,u\leq b-1}، لذاx+u+12ب-1{\displaystyle x+u+1\leq 2b-1}، لهذا السببx+u+1=ب{\displaystyle x+u+1=b}. استبدال هذا فيأب-ب(1+y+v)=أ(x+u+1){\displaystyle ab-b(1+y+v)=a(x+u+1)}وطرحأب{\displaystyle ab}ينتج عن كلا الجانبينب(1+y+v)=0{\displaystyle b(1+y+v)=0}. لذا1+y+v=0{\displaystyle 1+y+v=0}وهذا يعني أنy+v=-1{\displaystyle y+v=-1}وهذا يعني أن واحداً فقط منy{\displaystyle y}أوv{\displaystyle v}سالب. إذاy{\displaystyle y}إذا كانت القيمة سالبة، فـv0{\displaystyle v\geq 0}وهذا يعني أنشمال-ك=uأ+vب{\displaystyle Nk=ua+vb}قابل للتمثيل؛ الحالة عندماv{\displaystyle v}إن كون الشيء سلبياً يستلزم ذلكك{\displaystyle k}يمكن تمثيله.

وبالتالي لأي عدد صحيح غير سالبك[0،أب-أ-ب]{\displaystyle k\in [0,ab-ab]}نعلم أن واحداً فقط منك{\displaystyle k}أو(أب-أ-ب)-ك{\displaystyle (ab-ab)-k}يمكن تمثيلها (وهذه متميزة، لأنأب-أ-ب{\displaystyle ab-ab}يجب أن يكون فرديًا مثل الأعداد الصحيحةأ،ب{\displaystyle a,b}(أولية فيما بينها). هذا يدل على أن نصف الأعداد الصحيحة في النطاق المعطى قابلة للتمثيل؛ نظرًا لوجود(أب-أ-ب+1)=(أ-1)(ب-1){\displaystyle (ab-a-b+1)=(a-1)(b-1)}الأعداد الصحيحة في النطاق[0،أب-أ-ب]{\displaystyle [0,ab-ab]}وهذا يعطي النتيجة المرجوة.

ن = 3

تُعرف الصيغ [ 8 ] والخوارزميات السريعة [ 9 ] لثلاثة أرقام على الرغم من أن الحسابات يمكن أن تكون شاقة للغاية إذا تم إجراؤها يدويًا.

تم أيضاً تحديد حدود دنيا وعليا أبسط لأعداد فروبينيوس عندما n = 3. الحد الأدنى التقاربي الذي وضعه دافيسون

و(أ1،أ2،أ3)ز(أ1،أ2،أ3)+أ1+أ2+أ33أ1أ2أ3{\displaystyle f(a_{1},a_{2},a_{3})\equiv g(a_{1},a_{2},a_{3})+a_{1}+a_{2}+a_{3}\geq {\sqrt {3a_{1}a_{2}a_{3}}}}

حاد نسبيًا. [ 10 ] (و{\displaystyle f}هذا هو عدد فروبينيوس المعدل، وهو أكبر عدد صحيح لا يمكن تمثيله بمجموعات خطية من الأعداد الصحيحة الموجبة.أ1،أ2،أ3{\displaystyle a_{1},a_{2},a_{3}}.)

السلوك المتوسط ​​التقاربي لـو{\displaystyle f}يُعرف أيضًا باسم: [ 11 ] لثلاثة متغيرات

و(أ1،أ2،أ3)8πأ1أ2أ3،{\displaystyle f(a_{1},a_{2},a_{3})\sim {\frac {8}{\pi }}{\sqrt {a_{1}a_{2}a_{3}}},}

تخمين ويلف

في عام 1978، افترض ويلف أنه بالنظر إلى الأعداد الصحيحة الأولية فيما بينهاأ1<أ2<...<أد{\displaystyle a_{1}<a_{2}<...<a_{d}}، وعدد فروبينيوس الخاص بهمF{\displaystyle F}لدينا

دF+1F+1-ز،{\displaystyle d\geq {\frac {F+1}{F+1-g}},}

أينز{\displaystyle g}يرمز إلى عدد جميع الأعداد الصحيحة الموجبة غير القابلة للتمثيل. [ 12 ] في عام 2015، تم إثبات نسخة تقاربية من هذا بواسطة موسكارييلو وسامارتانو. [ 13 ]

أرقام فروبينيوس للمجموعات الخاصة

المتتابعات الحسابية

توجد صيغة بسيطة لحساب عدد فروبينيوس لمجموعة من الأعداد الصحيحة في متتالية حسابية . [ 1 ] : 59-60 بفرض وجود الأعداد الصحيحة a و d و w حيث القاسم المشترك الأكبر ( a , d ) = 1:   

ز(أ،أ+د،أ+2د،...،أ+wد)=(أ-2w)أ+د(أ-1){\displaystyle g(a,a+d,a+2d,\dots ,a+wd)=\left(\left\lfloor {\frac {a-2}{w}}\right\rfloor \right)a+d(a-1)}

الن=2{\displaystyle n=2}يمكن التعبير عن الحالة المذكورة أعلاه كحالة خاصة من هذه الصيغة.

في حالة أنأ>w2-3w+1{\displaystyle a>w^{2}-3w+1}يمكننا حذف أي مجموعة فرعية من العناصرأ+2د،أ+3د،...،أ+(w-3)د،أ+(w-2)د{\displaystyle a+2d,a+3d,...,a+(w-3)d,a+(w-2)d}من متتاليتنا الحسابية، وتبقى صيغة عدد فروبينيوس كما هي. [ 14 ]

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

يوجد أيضًا حل مغلق لعدد فروبينيوس لمجموعة في متتالية هندسية . [ 15 ] بالنظر إلى الأعداد الصحيحة m و n و k حيث القاسم المشترك الأكبر ( m و n ) = 1:   

ز(مك،مك-1ن،مك-2ن2،...،نك)=نك-1(من-م-ن)+م2(ن-1)(مك-1-نك-1)م-ن.{\displaystyle g(m^{k},m^{k-1}n,m^{k-2}n^{2},\dots ,n^{k})=n^{k-1}(mn-m-n)+{\frac {m^{2}(n-1)(m^{k-1}-n^{k-1})}{m-n}}.}
الصيغة الأبسط التي تُظهر أيضًا التناظر بين المتغيرات هي كما يلي. بمعلومية الأعداد الصحيحة الموجبةأ،ب،ك{\displaystyle a,b,k}، معالقاسم المشترك الأكبر(أ،ب)=1،{\displaystyle \gcd(a,b)=1,}يتركأك(أ،ب)={أك،أك-1ب،...،بك}{\displaystyle A_{k}(a,b)=\{a^{k},a^{k-1}b,\ldots ,b^{k}\}}ثم [ 16 ]
ز(أك(أ،ب))=σك+1(أ،ب)-σك(أ،ب)-(أك+1+بك+1)،{\displaystyle g(A_{k}(a,b))={\sigma }_{k+1}(a,b)-{\sigma }_{k}(a,b)-(a^{k+1}+b^{k+1}),}
أينσك(أ،ب){\displaystyle {\sigma }_{k}(a,b)}يرمز إلى مجموع جميع الأعداد الصحيحة فيأك(أ،ب).{\displaystyle A_{k}(a,b).}

أمثلة وتطبيقات

عدد قطع ماك ناجتس

علبة تحتوي على 20 قطعة من دجاج ماك ناجتس

يُشار أحيانًا إلى حالة خاصة من مسألة العملة باسم " أعداد ماك ناجتس ". وقد طرح هنري بيتشيوتو نسخة ماك ناجتس من مسألة العملة، حيث نشرها كلغز في مجلة "جيمز" عام 1987، [ 17 ] وأدرجها في كتابه المدرسي في الجبر الذي شارك في تأليفه مع أنيتا واه. [ 18 ] خطرت فكرة التطبيق لبيتشيوتو في ثمانينيات القرن الماضي أثناء تناوله العشاء مع ابنه في ماكدونالدز، حيث كان يحل المسألة على منديل. يُمثل عدد ماك ناجتس العدد الإجمالي لقطع دجاج ماك ناجتس من ماكدونالدز في أي عدد من العلب. في المملكة المتحدة ، كانت العلب الأصلية (قبل طرح علب ناجتس بحجم وجبة هابي ميل ) تحتوي على 6 أو 9 أو 20 قطعة ناجتس.

بحسب نظرية شور ، بما أن الأعداد 6 و9 و20 أولية فيما بينها (مجموعات) ، فإن أي عدد صحيح كبير بما فيه الكفاية يمكن التعبير عنه كتركيبة خطية (غير سالبة وصحيحة) لهذه الأعداد الثلاثة. لذلك، يوجد أكبر عدد غير ماكنوجت، وجميع الأعداد الصحيحة الأكبر منه هي أعداد ماكنوجت. أي أن كل عدد صحيح موجب هو عدد ماكنوجت، باستثناء عدد محدود من الحالات.

1، 2، 3، 4، 5، 7، 8، 10، 11، 13، 14، 16، 17، 19، 22، 23، 25، 28، 31، 34، 37، و43 (التسلسل A065003 في OEIS ) .
المجموع012345
+00: 0 , 0 , 01: 2: 3: 4: 5:
+66: 1 ، 0 ، 07: 8: 9: 0 ، 1 ، 010: 11:
+1212: 2 ، 0 ، 013: 14: 15: 1 ، 1 ، 016: 17:
+1818: 3 ، 0 ، 019: 20: 0 ، 0 ، 121: 2 ، 1 ، 022: 23:
+2424: 4 ، 0 ، 025: 26: 1 ، 0 ، 127: 3 ، 1 ، 028: 29: 0 ، 1 ، 1
+3030: 5 ، 0 ، 031: 32: 2 ، 0 ، 133: 4 ، 1 ، 034: 35: 1 ، 1 ، 1
+3636: 6 ، 0 ، 037: 38: 3 ، 0 ، 139: 5 ، 1 ، 040: 0 ، 0 ، 241: 2 ، 1 ، 1
+4242: 7 ، 0 ، 043: 44: 4 ، 0 ، 145: 6 ، 1 ، 046: 1 ، 0 ، 247: 3 ، 1 ، 1
+4848: 8 ، 0 ، 049: 0 ، 1 ، 250: 5 ، 0 ، 151: 7 ، 1 ، 052: 2 ، 0 ، 253: 4 ، 1 ، 1
+5454: 9 ، 0 ، 055: 1 ، 1 ، 256: 6 ، 0 ، 157: 8 ، 1 ، 058: 3 ، 0 ، 259: 5 ، 1 ، 1
مجموعة من التوليفات الممكنة للصناديق، بإجمالي يتراوح من 0 إلى 59 قطعة. كل ثلاثية تمثل عدد الصناديق التي تحتوي على 6 أو 9 أو 20 قطعة على التوالي.

وبالتالي، فإن أكبر عدد غير ماكناغِت هو 43. [ 19 ] ويمكن ملاحظة أن أي عدد صحيح أكبر من 43 هو عدد ماكناغِت من خلال النظر في تقسيمات الأعداد الصحيحة التالية

44=6+6+6+6+20{\displaystyle 44=6+6+6+6+20}
45=9+9+9+9+9{\displaystyle 45=9+9+9+9+9}
46=6+20+20{\displaystyle 46=6+20+20}
47=9+9+9+20{\displaystyle 47=9+9+9+20}
48=6+6+9+9+9+9{\displaystyle 48=6+6+9+9+9+9}
49=9+20+20{\displaystyle 49=9+20+20}

يمكن الحصول على أي عدد صحيح أكبر بإضافة عدد من الرقم 6 إلى القسم المناسب أعلاه. ويُظهر فحص بسيط أنه لا يمكن شراء 43 قطعة ماك ناجتس، وذلك للأسباب التالية:

  1. لا يمكن أن تشكل المربعات المكونة من 6 و 9 وحدها العدد 43 لأن هذه المربعات لا يمكنها إلا أن تُنتج مضاعفات العدد 3 (باستثناء العدد 3 نفسه)؛
  2. إن تضمين خانة واحدة تحتوي على 20 لا يفيد، لأن الباقي المطلوب (23) ليس من مضاعفات العدد 3 أيضاً؛
  3. من الواضح أن أكثر من علبة واحدة تحتوي على 20 قطعة، بالإضافة إلى علب بحجم 6 أو أكبر، لا يمكن أن تؤدي إلى إجمالي 43 قطعة ماك ناجتس.

منذ طرح علب قطع الدجاج بحجم وجبة هابي ميل المكونة من 4 قطع، أصبح أكبر عدد من القطع غير ماك ناجتس هو 11. في البلدان التي تم فيها استبدال حجم 9 قطع بحجم 10 قطع، لا يوجد أكبر عدد من القطع غير ماك ناجتس، حيث لا يمكن صنع أي عدد فردي.

أمثلة أخرى

في رياضة الرجبي ، توجد أربعة أنواع من النقاط: ركلة الجزاء (3 نقاط)، والركلة الساقطة (3 نقاط)، والمحاولة (5 نقاط)، والمحاولة المُحولة (7 نقاط). وبدمج هذه النقاط، يُمكن الحصول على أي مجموع نقاط باستثناء 1 أو 2 أو 4. أما في رياضة الرجبي السباعي ، فرغم السماح بجميع أنواع النقاط الأربعة، إلا أن محاولات ركلات الجزاء نادرة، والركلات الساقطة شبه معدومة. وهذا يعني أن نقاط الفريق تتكون في الغالب من مضاعفات المحاولات (5 نقاط) والمحاولات المُحولة (7 نقاط). أما النقاط التالية (بالإضافة إلى 1 و2 و4) فلا يُمكن الحصول عليها من مضاعفات 5 و7، ولذلك فهي نادرة الظهور في الرجبي السباعي: 3، 6، 8، 9، 11، 13، 16، 18، و23. على سبيل المثال، لم تُسجل أي من هذه النقاط في أي مباراة من سلسلة الرجبي السباعي العالمية 2014-2015 .

وبالمثل، في كرة القدم الأمريكية ، الطريقة الوحيدة لتسجيل فريق نقطة واحدة بالضبط هي احتساب نقطة أمان ضد الفريق المنافس عند محاولته التسجيل بعد تسجيل هدف (والذي تبلغ قيمته في هذه الحالة 6 نقاط). وبما أنه يتم احتساب نقطتين لنقاط الأمان من اللعب العادي، و3 نقاط لأهداف الجزاء ، فإن جميع النتائج الأخرى غير 1-0، 1-1، 2-1، 3-1، 4-1، 5-1، و7-1 ممكنة. ويرتبط هذا ارتباطًا مباشرًا بمفهوم " سكوريغامي" .

تعقيد وقت فرز شل

خوارزمية شيلسورت هي خوارزمية فرز، ولا يزال تعقيدها الزمني يمثل مشكلة مفتوحة . يوجد حد أعلى لتعقيدها في أسوأ الحالات، ويمكن تحديده بدلالة عدد فروبينيوس لتسلسل معين من الأعداد الصحيحة الموجبة.

مشكلة الوزن الأقل

تُعدّ شبكات بتري مفيدةً لنمذجة المشكلات في الحوسبة الموزعة . بالنسبة لأنواع محددة من شبكات بتري، وتحديدًا الدوائر الموزونة المحافظة، يُراد معرفة "الحالات" أو "العلامات" الممكنة ذات الوزن المُحدد التي تُعتبر "فعّالة". تُعادل مشكلة تحديد أقل وزن فعّال مشكلة فروبينيوس.

حدود في قوى موسعة لكثير الحدود

عند رفع متعددة حدود أحادية المتغير إلى قوة معينة، يمكن التعامل مع أسس متعددة الحدود كمجموعة من الأعداد الصحيحة. وستحتوي متعددة الحدود الموسعة على قوى منx{\displaystyle x}أكبر من عدد فروبينيوس لبعض الأسس (عندما يكون القاسم المشترك الأكبر = 1)، على سبيل المثال، لـ(1+x6+x7)ن{\displaystyle (1+x^{6}+x^{7})^{n}}المجموعة هي {6، 7} والتي لها عدد فروبينيوس يساوي 29، لذا فإن الحد الذيx29{\displaystyle x^{29}}لن يظهر أبداً مهما كانت قيمتهن{\displaystyle n}لكن بعض قيمةن{\displaystyle n}سيمنح شروطًا لها أي سلطة علىx{\displaystyle x}أكبر من 29. عندما لا يكون القاسم المشترك الأكبر للأسس 1، فإن القوى الأكبر من قيمة معينة لن تظهر إلا إذا كانت من مضاعفات القاسم المشترك الأكبر، على سبيل المثال لـ(1+x9+x15)ن{\displaystyle (1+x^{9}+x^{15})^{n}}ستظهر قوى العدد 24، 27، ... لبعض قيم العدد 24، 27، ...ن{\displaystyle n}لكن لا توجد قيم أكبر من 24 ليست من مضاعفات 3 (ولا القيم الأصغر، 1-8، 10-14، 16، 17، 19-23).

انظر أيضاً

ملحوظات

  1. يتم الاستشهاد بالمصدر الأصلي أحيانًا بشكل غير صحيح على النحو التالي، [ 6 ] حيث وضع المؤلف نظريته كمشكلة ترفيهية [ 1 ] : xiii (ولم يذكر صراحة صيغة عدد فروبينيوس).

مراجع

  1. 1 2 3 راميريز ألفونسين، خورخي إل. (1 ديسمبر 2005). مشكلة ديوفانتين فروبينيوس . مطبعة جامعة أكسفورد. رقم ISBN 9780191718229تم الاطلاع عليه بتاريخ 8 ديسمبر 2025 .
  2. ^ رافي كنعان (1992). “Lattice يترجم من polytope ومشكلة Frobenius”. كومبيناتوريكا . 12 (2): 161-177 . دوى : 10.1007 / BF01204720 . S2CID 19200821 . 
  3. د. بيهوفر؛ ج. هندري؛ أ. نايينهاوس؛ س. واجون (2005). "خوارزميات أسرع لأعداد فروبينيوس" . المجلة الإلكترونية للتوافقية . 12 : R27. doi : 10.37236/1924 .
  4. 1 2 وايسستين، إريك دبليو. "مشكلة العملة" . عالم الرياضيات .
  5. سيلفستر، جيمس جوزيف (1882). "حول الثوابت الجزئية، أي الثوابت شبه الثابتة للكميات الثنائية ذات الرتبة غير المحدودة". المجلة الأمريكية للرياضيات . 5 (1): 134. doi : 10.2307/2369536 . JSTOR 2369536 . 
  6. سيلفستر، جيمس جوزيف (1884). "السؤال 7382" . أسئلة رياضية من مجلة تايمز التعليمية . 41 : 21.
  7. ^ سكوبيين، زدزيسلاف (1993). “تعميم مشاكل سيلفستر وفروبينيوس” (PDF) . اكتا الحساب . LXV.4 (4): 353-366 . دوى : 10.4064 / أأ-65-4-353-366 .
  8. تريباثي، أ. (2017). "صيغ عدد فروبينيوس في ثلاثة متغيرات" . مجلة نظرية الأعداد . 170 : 368-389 . doi : 10.1016/j.jnt.2016.05.027 .
  9. انظر إلى المجموعات شبه العددية ذات البعد التضميني ثلاثة للحصول على تفاصيل حول إحدى هذه الخوارزميات.
  10. م. بيك؛ س. زاكس (2004). "حدود عليا مُحسَّنة لمسألة ديوفانتين الخطية لفروبينيوس". مجلة الرياضيات التطبيقية المتقدمة . 32 (3): 454-467 . arXiv : math/0305420 . doi : 10.1016/S0196-8858(03)00055-1 . S2CID 119174157 . 
  11. أوستينوف، أ. (2009). "حل مسألة أرنولد حول السلوك التقاربي الضعيف لأعداد فروبينيوس ذات ثلاثة وسائط". مجموعة: الرياضيات . 200 (4): 131-160 . Bibcode : 2009SbMat.200..597U . doi : 10.1070/SM2009v200n04ABEH004011 .
  12. ويلف، إتش إس (1978). "خوارزمية دائرة الأضواء لمشكلة "صرف النقود"" . المجلة الرياضية الأمريكية الشهرية . 85 (7): 562– 565. doi : 10.2307/2320864 . JSTOR 2320864 . 
  13. موسكارييلو، أ.؛ سامارتانو، أ. (2015). "حول تخمين ويلف حول عدد فروبينيوس". مجلة الرياضيات . 280 ( 1-2 ): 47-53 . arXiv : 1408.5331 . doi : 10.1007/s00209-015-1412-0 .
  14. لي، إس إتش؛ أونيل، سي؛ فان أوفر، بي (2019). "حول أحاديات عددية حسابية مع حذف بعض المولدات". منتدى شبه المجموعة . 98 (2): 315-326 . arXiv : 1712.06741 . doi : 10.1007/s00233-018-9952-3 . S2CID 119143449 . 
  15. أونغ، دارين سي؛ بونومارينكو، فاديم (2008). "عدد فروبينيوس للمتتاليات الهندسية" . مجلة الأعداد الصحيحة: المجلة الإلكترونية لنظرية الأعداد التوافقية . 8 (1): A33 . تاريخ الاسترجاع: 4 يناير 2010 .
  16. تريباثي، أميتابها (2008). "حول مسألة فروبينيوس للمتتاليات الهندسية، المقالة A43". الأعداد الصحيحة: المجلة الإلكترونية لنظرية الأعداد التوافقية . 8 (1).
  17. بيتشيوتو، هنري (1987). "ماث ماكبازل" . مجلة الألعاب . 85 (أبريل/مايو): 52.
  18. واه، أنيتا؛ بيتشيوتو، هنري (1994). "الدرس 5.8: أعداد البناء" (ملف PDF) . الجبر: المواضيع والأدوات والمفاهيم . ص 186. 
  19. وايسشتاين، إريك دبليو. "رقم ماك ناجت" . عالم الرياضيات .

للمزيد من القراءة