En matemàtiques, la constant de Porter C apareix en l'estudi de l'eficiència de l'algorisme d'Euclides. Duu el nom de J. W. Porter de la Universitat de Cardiff.
L'algorisme d'Euclides troba el màxim comú divisor de dos enters positius m i n. Hans Heilbronn va demostrar que la mitjana del nombre d'iteracions de l'algotisme d'Euclides, fixat el valor de m i promitjat en tots els seus enters coprimers n, és
Porter va demostrar que el terme error en aquesta estimació és una constant, més una correcció polinomial petita, i Donald Knuth va avaluar aquesta constant amb molta precisió. El seu valor és:
on
és la constant d'Euler-Mascheroni és la funció zeta de Riemann és la constant de Glaisher-Kinkelin
Referències
Categoria:Constants matemàtiques