Портерлер тұрақты - Porters constant - Wikipedia

Математикада, Портердің тұрақтысы C тиімділігін зерттеу кезінде пайда болады Евклидтік алгоритм.[1][2] Ол Дж. В. Портердің есімімен аталады Университет колледжі, Кардифф.

Евклидтің алгоритмі ең үлкен ортақ бөлгіш екі оң санның м және n. Ганс Хилбронн Евклидтің алгоритмінің қайталануының орташа саны бекітілген үшін дәлелденді n және барлық таңдаулар бойынша орташаланған салыстырмалы түрде қарапайым бүтін сандар м < n, болып табылады

Портер бұл бағалаудағы қателік термині тұрақты, сонымен қатар көпмүшелік-кіші түзету және Дональд Кнут бұл константты жоғары дәлдікпен бағалады. Бұл:

қайда

болып табылады Эйлер-Маскерони тұрақты
болып табылады Riemann zeta функциясы
болып табылады Глайшер-Кинкелин тұрақтысы

(жүйелі A086237 ішінде OEIS )

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Кнут, Дональд Э. (1976), «Портердің тұрақтысын бағалау», Қолданбалы компьютерлер және математика, 2 (2): 137–139, дои:10.1016/0898-1221(76)90025-0
  2. ^ Портер, Дж. В. (1975), «Хейлбронн теоремасы туралы», Математика, 22 (1): 20–28, дои:10.1112 / S0025579300004459, МЫРЗА  0498452.