Bozuk para sorunu - Coin problem

İki Pence 01.jpgBeş Yeni Pence.jpg

Sadece 2 peni ve 5 peni jetonla kişi 3 peni kazanamaz, ancak daha yüksek bir integral miktarı da yapılabilir.

bozuk para sorunu (aynı zamanda Frobenius madeni para sorunu veya Frobenius sorunumatematikçiden sonra Ferdinand Frobenius ) bir matematiksel Yalnızca belirtilen madeni paralar kullanılarak elde edilemeyen en büyük parasal tutarı talep eden sorun mezhepler.[1] Örneğin, sadece 3 ve 5 birimlik madeni paralar kullanılarak elde edilemeyen en büyük miktar 7 birimdir. Belirli bir madeni para değerleri kümesi için bu sorunun çözümüne Frobenius numarası setin. Frobenius numarası, madeni para değerlerinde herhangi bir değer olmadığı sürece mevcuttur. ortak bölen 1'den büyük.

Yalnızca iki farklı madeni para değeri olduğunda Frobenius numarası için açık bir formül vardır, x ve y: xyxy. Madeni para değerlerinin sayısı üç veya daha fazla ise, açık bir formül bilinmemektedir; ancak, herhangi bir sabit sayıdaki madeni para birimi için bir algoritma Frobenius numarasının hesaplanması polinom zamanı (bir girdi oluşturan madeni para değerlerinin logaritmalarında).[2] Bilinen hiçbir algoritma, polinom zamanı numara Madeni para değerlerinin sayısı ve madeni para değerlerinin sayısının istendiği kadar büyük olabileceği genel sorun, NP-zor.[3][4]

Beyan

Matematiksel terimlerle problem şu şekilde ifade edilebilir:

Olumlu verildi tamsayılar a1, a2, ..., an öyle ki gcd (a1, a2, ..., an) = 1, en büyük tamsayıyı bulun olumsuz tamsayı olarak ifade edilebilir konik kombinasyon bu sayılardan, yani toplam olarak
k1a1 + k2a2 + ··· + knan,
nerede k1, k2, ..., kn negatif olmayan tam sayılardır.

Bu en büyük tam sayıya Frobenius numarası setin { a1, a2, ..., an } ve genellikle ile gösterilir g(a1, a2, ..., an).

Frobenius sayısının var olması için en büyük ortak bölenin (GCD) 1'e eşit olması şartı gereklidir. OBEB 1 değilse, bir sayıdan başlayarak m mümkün olan tek toplamlar OBEB'nin katlarıdır; geçmiş her numara m OBEB ile bölünemeyen, kümedeki herhangi bir doğrusal sayı kombinasyonu ile temsil edilemez.[5] Örneğin, 6 sent ve 14 sent değerinde iki tür madeni paranız olsaydı, GCD 2'ye eşit olurdu ve bu tür madeni paraların herhangi bir sayısını birleştirerek toplamı olan bir miktar elde etmenin bir yolu olmazdı. garip numara; bunlara ek olarak, çift ​​sayılar 2, 4, 8, 10, 16 ve 22 (daha az m = 24) da oluşturulamadı. Öte yandan, OBEB 1'e eşit olduğunda, konik bir kombinasyon olarak ifade edilemeyen tamsayılar kümesi { a1, a2, ..., an } dır-dir sınırlı göre Schur teoremi ve bu nedenle Frobenius numarası mevcuttur.

Küçük Frobenius sayıları n

Madeni para sorunu için kapalı formda bir çözüm, yalnızca n = 1 veya 2. Bilinen kapalı form çözümü yoktur. n > 2.[4]

n = 1

Eğer n = 1, sonra a1 = 1, böylece tüm doğal sayılar oluşturulabilir. Dolayısıyla bir değişkende Frobenius numarası yoktur.

n = 2

Eğer n = 2, Frobenius numarası formülden bulunabilir . Bu formül tarafından keşfedildi James Joseph Sylvester 1882'de,[6] orijinal kaynak bazen yanlış bir şekilde şu şekilde alıntılansa da,[7] yazarın teoremini rekreasyonel bir problem olarak koyduğu[8] (ve Frobenius sayısının formülünü açıkça belirtmedi). Sylvester ayrıca bu vaka için toplam temsil edilemeyen (pozitif) tamsayılar.

Denklemin başka bir formu Skupień tarafından verilir[9] bu önermede: Eğer ve sonra her biri için tam olarak bir çift negatif olmayan tamsayı var ve öyle ki ve .

Formül aşağıdaki gibi kanıtlanmıştır. Sayıyı oluşturmak istediğimizi varsayalım . Unutmayın ki , tüm tam sayılar için karşılıklı olarak farklı modulolardır . Dolayısıyla benzersiz bir değer vardır , söyle ve negatif olmayan bir tam sayı , öyle ki : Aslında, Çünkü .

n = 3

Formüller[10] ve hızlı algoritmalar[11] El ile yapılırsa hesaplamalar çok sıkıcı olabilmesine rağmen üç sayı ile bilinirler.

Frobenius sayıları için daha basit alt ve üst sınırlar n = 3 de belirlendi. Davison nedeniyle asimptotik alt sınır

nispeten keskindir.[12] ( işte değiştirilmiş Frobenius numarası temsil edilemeyen en büyük tam sayı olan pozitif tamsayı doğrusal kombinasyonları .) Gerçek sınırla karşılaştırma (parametrik ilişki ile tanımlanan, nerede ), yaklaşımın gerçek değerden yalnızca 1 küçük olduğunu gösterir. . Benzer bir parametrik üst sınırın (değerleri için çift ​​yönlüdür ve hiçbir öğe diğerleri tarafından temsil edilemez) nerede .

Asimptotik ortalama davranışı üç değişken için de bilinmektedir:[13]

Özel setler için Frobenius numaraları

Aritmetik diziler

Bir tam sayılar kümesinin Frobenius sayısı için basit bir formül vardır. aritmetik dizi.[14] Verilen tamsayılar a, d, w gcd ile (ad) = 1:

Yukarıdaki durum, bu formülün özel bir durumu olarak ifade edilebilir.

Durumunda bu , öğelerin herhangi bir alt kümesini çıkarabiliriz aritmetik dizilimimizden ve Frobenius numarasının formülü aynı kalır.[15]

Geometrik diziler

Bir kümedeki Frobenius sayısı için kapalı form çözümü de vardır. geometrik dizi.[16] Verilen tamsayılar m, n, k gcd ile (mn) = 1:

Değişkenler arasında simetriyi de gösteren daha basit bir formül aşağıdaki gibidir. Pozitif tam sayılar verildiğinde , ile İzin Vermek . Sonra [17]
nerede içindeki tüm tam sayıların toplamını gösterir

Örnekler

McNugget numaraları

Bir kutu 20 McDonald's McNuggets tavuk.

Madeni para sorununun özel bir durumu bazen şu şekilde de anılır: McNugget numaraları. Madeni para probleminin McNuggets versiyonu, Anita Wah ile birlikte yazdığı cebir ders kitabına dahil eden Henri Picciotto tarafından tanıtıldı.[18] Picciotto, uygulamayı 1980'lerde McDonald's'ta oğluyla yemek yerken bir peçetede sorunu çözerken düşündü. McNugget numarası, toplam sayıdır. McDonald's McNuggets tavuk herhangi bir sayıda kutuda. İçinde Birleşik Krallık orijinal kutular (ürünün tanıtılmasından önce Mutlu yemek boyutlu külçe kutuları) 6, 9 ve 20 külçeydi.

Göre Schur teoremi 6, 9 ve 20 olduğundan nispeten asal yeterince büyük herhangi bir tam sayı (negatif olmayan, tamsayı) olarak ifade edilebilir doğrusal kombinasyon bu üçünden. Bu nedenle, McNugget olmayan en büyük sayı vardır ve ondan daha büyük tüm tamsayılar McNugget sayılarıdır. Yani, her pozitif tam sayı, sınırlı sayıda istisna ile bir McNugget sayısıdır:

1, 2, 3, 4, 5, 7, 8, 10, 11, 13, 14, 16, 17, 19, 22, 23, 25, 28, 31, 34, 37 ve 43 (sıra A065003 içinde OEIS ).
Toplam012345
+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
Toplam 0 ila 59 külçe için olası bir kutu kombinasyonu kümesi.
Her üçlü, kutuların sayısını gösterir. 6, 9 ve 20, sırasıyla.

Dolayısıyla McNugget olmayan en büyük sayı 43'tür.[19] 43'ten büyük herhangi bir tamsayının McNugget sayısı olduğu gerçeği, aşağıdakiler dikkate alınarak görülebilir. tam sayı bölümleri

Yukarıdaki uygun bölüme bir miktar 6s eklenerek daha büyük bir tam sayı elde edilebilir.

Alternatif olarak ve çözüm, ayrıca aşağıdakiler için sunulan bir formül uygulanarak elde edilebilir daha erken:[şüpheli ]

Dahası, basit bir kontrol, 43 McNuggets'ın gerçekten de değil şu şekilde satın alınabilir:

  1. 6 ve 9'lu kutular tek başına 43'ü oluşturamaz çünkü bunlar yalnızca 3'ün katlarını oluşturabilirler (3'ün kendisi hariç);
  2. 20'lik tek bir kutunun dahil edilmesi yardımcı olmaz, çünkü gerekli kalan (23) 3'ün katı değildir; ve
  3. 6 veya daha büyük boyutlu kutularla tamamlanan birden fazla 20'li kutu, açıkça toplam 43 McNuggets'a yol açamaz.

4 parçalı Happy Meal boyutlu külçe kutularının piyasaya sürülmesinden bu yana, McNugget olmayan en büyük sayı 11'dir. 9 parçalı boyutun 10 parçalı boyutla değiştirildiği ülkelerde, McNugget olmayan en büyük sayı yoktur, herhangi bir tek sayı yapılamayacağı için.

Diğer örnekler

İçinde Rugby Birliği, dört tür puan vardır: penaltı golü (3 puan), düşme golü (3 puan), dene (5 puan) ve dönüştürülmüş deneme (7 puan). Bunları birleştirerek 1, 2 veya 4 hariç toplam puan mümkündür. ragbi yedileri dört tür skorun hepsine de izin verilse de, penaltı gollerine teşebbüsler nadirdir ve düşme golleri neredeyse bilinmemektedir. Bu, takım puanlarının neredeyse her zaman birden fazla try (5 puan) ve dönüştürülmüş try (7 puan) içerdiği anlamına gelir. Aşağıdaki puanlar (1, 2 ve 4'e ek olarak) 5 ve 7'nin katlarından yapılamaz ve bu nedenle neredeyse hiç yedilerde görülmez: 3, 6, 8, 9, 11, 13, 16, 18 ve 23. Örnek olarak, bu skorların hiçbiri hiçbir oyunda kaydedilmedi. 2014-15 Yediler Dünya Serisi.

Benzer şekilde Amerikan futbolu, bir takımın tam olarak bir puan almasının tek yolu, Emniyet rakip takıma, dönüştürmek Touchdown'dan sonra. Normal oyundan gelen emniyetler için 2 puan verildiğinden ve 3 puan saha hedefleri 1–0, 1–1, 2–1, 3–1, 4–1, 5–1 ve 7–1 dışındaki tüm skorlar mümkündür.

Başvurular [20]

Shellsort Zaman Karmaşıklığı

Shellsort algoritması, zaman karmaşıklığı halihazırda bir açık problem. En kötü durum karmaşıklığı, belirli bir pozitif tamsayı dizisinin Frobenius sayısı cinsinden verilebilecek bir üst sınıra sahiptir.

En Az Canlı Ağırlık Problemi

Petri ağları problemleri modellemek için kullanışlıdır dağıtılmış hesaplama. Belirli türde Petri ağları için, yani konservatif ağırlıklı devreler, belirli bir ağırlığa sahip olası "durumların" veya "işaretlerin" ne "canlı" olduğunu bilmek ister. En az canlı ağırlığı belirleme problemi Frobenius problemine eşdeğerdir.

Bir Polinomun Genişletilmiş Gücündeki Terimler

Tek değişkenli bir polinom bir kuvvete yükseltildiğinde, polinomun üsleri bir tamsayılar kümesi olarak ele alınabilir. Genişletilmiş polinom, güçlerini içerecektir Bazı üsler için Frobenius sayısından büyük (GCD = 1 olduğunda), ör. için set {6, 7} Frobenius sayısı 29 olan bir terim asla herhangi bir değeri için görünmeyecek ama biraz değer herhangi bir gücü olan şartlar verecek 29'dan büyük. Üslerin OBEB'si 1 olmadığında, bazı değerlerden daha büyük güçler yalnızca OBEB'nin bir katı ise, ör. için , 24, 27, ...'nin bazı değerleri için görünecektir. ancak 3'ün katı olmayan 24'ten büyük değerler (veya daha küçük değerler, 1-8, 10-14, 16, 17, 19-23).

Ayrıca bakınız

Referanslar

  1. ^ J. Ramírez Alfonsín (2005). Diophantine Frobenius sorunu. Oxford Üniv. Basın.
  2. ^ Ravi Kannan (1992). "Kafes, bir politopu ve Frobenius problemini çevirir". Kombinatorik. 12 (2): 161–177. doi:10.1007 / BF01204720.
  3. ^ D. Beihoffer; J. Hendry; A. Nijenhuis; S. Vagon (2005). "Frobenius numaraları için daha hızlı algoritmalar". Elektronik Kombinatorik Dergisi. 12: R27.
  4. ^ a b Weisstein, Eric W. "Para Sorunu". MathWorld.
  5. ^ antiFrobenius numarası
  6. ^ Sylvester, James Joseph (1882). "Alt değişkenlerde, yani Yarı Değişkenler ile Sınırsız Düzenin İkili Nicelikleri Üzerine". Amerikan Matematik Dergisi. 5 (1): 134. doi:10.2307/2369536. JSTOR  2369536.
  7. ^ Sylvester, James Joseph (1884). "Soru 7382". Eğitim Zamanlarından Matematik Soruları. 41: 21.
  8. ^ J. Ramírez Alfonsín (2005). Diophantine Frobenius sorunu. Oxford Üniv. Basın. s. xiii.
  9. ^ Skupień, Zdzisław (1993). "Sylvester ve Frobenius'un sorunlarının bir genellemesi" (PDF). Açta Arithmetica. LXV.4 (4): 353–366. doi:10.4064 / aa-65-4-353-366.
  10. ^ Tripathi, A. (2017). "Üç değişkenli Frobenius sayısı için formüller". Sayılar Teorisi Dergisi. 170: 368–389. doi:10.1016 / j.jnt.2016.05.027.
  11. ^ Görmek sayısal yarı grup Böyle bir algoritmanın ayrıntıları için.
  12. ^ M. Beck; S. Zacks (2004). "Frobenius'un doğrusal Diofantin problemi için rafine edilmiş üst sınırlar". Adv. Appl. Matematik. 32 (3): 454–467. arXiv:matematik / 0305420. doi:10.1016 / S0196-8858 (03) 00055-1.
  13. ^ Ustinov, A. (2009). "Arnold'un probleminin Frobenius sayılarının zayıf asimptotikleri üzerine üç argümanla çözümü". Sbornik: Matematik. 200 (4): 131–160. doi:10.1070 / SM2009v200n04ABEH004011.
  14. ^ Ramirez Alfonsin, Jorge (2005). Diophantine Frobenius Problemi. Oxford University Press. s. 59–60.
  15. ^ Lee, S.H .; O'neill, C .; Van Over, B. (2019). "Bazı jeneratörlerin ihmal edildiği aritmetik sayısal monoidlerde". Yarıgrup Forumu. 98 (2): 315–326. arXiv:1712.06741. doi:10.1007 / s00233-018-9952-3.
  16. ^ Ong, Darren C .; Ponomarenko, Vadim (2008). "Geometrik Dizilerin Frobenius Sayısı". INTEGERS: Kombinatoryal Sayı Teorisinin Elektronik Dergisi. 8 (1): A33. Arşivlenen orijinal 2016-12-29 tarihinde. Alındı 2010-01-04.
  17. ^ Tripathi, Amitabha (2008). "Geometrik Diziler için Frobenius Problemi Üzerine, Makale A43". INTEGERS: Kombinatoryal Sayı Teorisinin Elektronik Dergisi. 8 (1).
  18. ^ Wah, Anita; Picciotto, Henri (1994). "Ders 5.8 Yapı Taşı Numaraları" (PDF). Cebir: Temalar, Araçlar, Kavramlar. s. 186.
  19. ^ Weisstein, Eric W. McNugget Numarası. MathWorld.
  20. ^ J. Ramírez Alfonsín (2005). Diophantine Frobenius sorunu. Oxford Üniv. Basın. s. 132–135.

Dış bağlantılar