У математиці стала Портера виникає при дослідженні ефективності алгоритму Евкліда.. Вона названа на честь Дж. В. Портера з Кардіффського університету.
Алгоритм Евкліда знаходить найбільший спільний дільник двох натуральних чисел і . довів, що середня кількість ітерацій алгоритму Евкліда для фіксованого і усереднена за всіма виборами відносно взаємно простих чисел дорівнює
Портер показав, що залишковий член у цій оцінці є константою, плюс поліноміально мала похибка. У свою чергу Дональд Кнут оцінив цю константу з високою точністю:
де — стала Ейлера—Маскероні, — дзета-функція Рімана, — стала Глейшера–Кінкеліна.
Дивись :
Див. також Теорема Лохса Константа Леві
Примітки