Портер константасы
Математикада, Портер константасы C Евклид алгоритмы эффективлыгын өйрәнүдә килеп чыга.[1][2] Ул Кардифф Университетының J. W. Porter исемле галиме хөрмәтенә аталган.
Евклид алгоритмы ике уңай бөтен сан m һәм n-ның иң зур уртак бүлүчесен таба. Һанс Һайльбронн исбатлаганча беркетелгән m һәм үзара гади бөтен саннар өчен Евклид алгоритмында итерацияләрнең уртача саны n:
- дип исбатлаган.
Портер бу фаразда хата шарты даими һәм полиномиаль кечкенә коррекцияне күрсәткән, һәм Дональд Кнут бу константаның дәрәҗәсен югары төгәллек белән күрсәткән. Ул:
биредә
Шулай ук карарга мөмкин[үзгәртү | вики-текстны үзгәртү]
Искәрмәләр[үзгәртү | вики-текстны үзгәртү]
- ↑ Knuth, Donald E. (1976), "Evaluation of Porter's constant", Computers & Mathematics with Applications, 2 (2): 137–139, doi:10.1016/0898-1221(76)90025-0
- ↑ Porter, J. W. (1975), "On a theorem of Heilbronn", Mathematika, 22 (1): 20–28, MR 0498452, doi:10.1112/S0025579300004459.