, n , x - , , y - .
, , n f(n).
, f:
f(1) < k*log(1) for some constant k.
f(2) < k*log(1) + k*log(2) for some constant k
...
f(n) < k * [log(1) + log(2) + ... + log(n)] for some constant k.
- , , log(1) + ... + log(n):
f(n) < k * [log(1*2*3*...*n)] for some constant k
f(n) < k * log(n!) for some constant k
, , log(n!). . .:)
, , :
for n in (5000, 50000, 500000):
startTime = ...
stopTime = ...
n, n:
for n in range(50000):
startTime = ...
stopTime = ...
, f(n)/n, . , log(n!) n*log(n) (. ). :
f(n) < k * log(n!) for some constant k
:
f(n) < k * n * log(n) for some constant k
, f(n) n, .