นี่ไม่ใช่คำตอบ แต่อาจจะนำคุณหรือคนอื่นไปในทิศทางที่ถูกต้อง
ฉันพบกระดาษโดย D. Kozen และ S. Zaks เรียกว่า"ขอบเขตที่เหมาะสมที่สุดสำหรับปัญหาการเปลี่ยนแปลง"ซึ่งพวกเขาให้เงื่อนไขว่าเมื่อการเปลี่ยนแปลงแบบโลภของการเปลี่ยนเหรียญทำให้อัลกอริทึมเป็นสิ่งที่ดีที่สุด ฉันจะใช้สัญลักษณ์ของพวกเขา
ม.
( c1, ค2, ค3, ⋯ , cm - 1, คม.)
ค1= 1 < c2< c3< ⋯ < cm - 1< cม.
M( x )xG ( x )xM(x)≠G(x)c3+1<x<cm−1+cm
พวกเขาแสดงให้เห็นว่า
xc3+1<x<cm−1+cm
G(x)≤G(x−c)+1
c∈(c1,c2,⋯,cm)
G(x)=M(x)
สิ่งนี้ทำให้เรามีการทดสอบ "ที่มีประสิทธิภาพ" (จนถึงเวลาพหุนามเทียม) เพื่อตรวจสอบว่าอินสแตนซ์การเปลี่ยนเหรียญนั้นโลภหรือไม่
จากการใช้ข้างต้นฉันได้ทำการจำลองแบบสั้น ๆ เกี่ยวกับผลลัพธ์ที่ได้รับการพล็อตในระดับล็อก - ล็อกด้านล่าง

m[1⋯N]
m=383N−12
pm(N)∝N−(m−2)2
pm(N)mN
mN
(1,5,10,25,50,100,200,500,1000,2000,5000,10000)) ซึ่งไม่ปรากฏว่ามีการกระจายอย่างสม่ำเสมอ บางทีการดูการแจกแจงอื่น ๆ เพื่อสร้างเหรียญจะทำให้ได้ผลลัพธ์ที่ไม่น่ารำคาญในขีด จำกัด ของระบบขนาดใหญ่ ตัวอย่างเช่นการกระจายของกฎหมายพลังงานอาจให้ผลตอบแทนแบบเหรียญที่คล้ายคลึงกับของสหรัฐอเมริกา