Портер константасы

Математикада, Портер константасы C Евклид алгоритмы эффективлыгын өйрәнүдә килеп чыга.. Ул Кардифф Университетының J. W. Porter исемле галиме хөрмәтенә аталган.

Евклид алгоритмы ике уңай бөтен сан m һәм n-ның иң зур уртак бүлүчесен таба. Һанс Һайльбронн исбатлаганча беркетелгән m һәм үзара гади бөтен саннар өчен Евклид алгоритмында итерацияләрнең уртача саны n:
 дип исбатлаган.
Портер бу фаразда хата шарты даими һәм полиномиаль кечкенә коррекцияне күрсәткән, һәм Дональд Кнут бу константаның дәрәҗәсен югары төгәллек белән күрсәткән. Ул:


биредә
  - Эйлер Машерони константасы,
 - Риман зета функциясе,
 - Глайшер–Кинкелин константасы,

Шулай ук карарга мөмкин
Лох теоремасы
Леви константасы

Искәрмәләр

Төркем:Тигезләмәләр
Төркем:Математика
Төркем:Математик константалар