ขออภัยถ้าฉันเข้าใจผิดกับสถานที่ที่จะถามคำถาม (บางทีฉันควรไปที่ stackoverflow.com/mathoverflow.net?)
ฉันสงสัยว่ามีการพิสูจน์ว่าเมื่อประเมินอัลกอริธึมแบบยุคลิดแบบขยายค่าสัมประสิทธิ์ของBézout (นั่นคือsและtในตัวตนเป็น + bt = gcd ( a , b )) จะไม่เกินค่าที่สมเหตุสมผล (ขึ้นอยู่กับ a, b ) โดยเฉพาะอย่างยิ่งการใช้งานกับภาษาการเขียนโปรแกรมวัตถุประสงค์ทั่วไปบางอย่างฉันสนใจในความถูกต้องของโปรแกรมมากเกินไป
เพื่อความแม่นยำฉันสามารถพูดได้ว่าฉันใช้คำอธิบายอัลกอริทึมของ Victor Shoup (4.2 ในหนังสือของเขาที่ชื่อ " A Introduction to Number Number Theory and Algebra " จากโฮมเพจ