合計の閉じた形を提供することはできませんが、平均コストが2の累乗でピークに達し、そのようなピーク値が3.0に漸近し、次の2の累乗の前に減衰して下限に減衰し、2.0に向かって漸近することは明らかです。
厳密に2^nと2^(n + 1)の間の(2 ^ n)-1の値のそれぞれは、2 ^(n + 1)の値が加算されるまで、合計コストに1を寄与します(平均が下向きに減衰します)。 2 ^(n + 1)。したがって、2 ^nの後で2^(n + 1)で終わるセグメントの平均寄与は、((2 ^ n)-1 + 2 ^(n + 1))/ 2 ^ nまたは(3 * 2 ^ n-1)/ 2 ^ n、nが増加すると3に近づきます。
以下の抜粋表で両方の効果を確認できます。お役に立てれば。
i sum average
------- ------- -------
1: 1 1.00000
2: 3 1.50000
3: 4 1.33333
4: 8 2.00000
...
7: 11 1.57143
8: 19 2.37500
...
15: 26 1.73333
16: 42 2.62500
...
31: 57 1.83871
32: 89 2.78125
...
63: 120 1.90476
64: 184 2.87500
...
127: 247 1.94488
128: 375 2.92969
...
255: 502 1.96863
256: 758 2.96094
...
511: 1013 1.98239
512: 1525 2.97852
...
1023: 2036 1.99022
1024: 3060 2.98828
...
2047: 4083 1.99463
2048: 6131 2.99365
...
4095: 8178 1.99707
4096: 12274 2.99658
...
8191: 16369 1.99841
8192: 24561 2.99817
...
16383: 32752 1.99915
16384: 49136 2.99902
...
32767: 65519 1.99954
32768: 98287 2.99948
...
65535: 131054 1.99976
65536: 196590 2.99973
...
131071: 262125 1.99987
131072: 393197 2.99986
...
262143: 524268 1.99993
262144: 786412 2.99992
...
524287: 1048555 1.99996
524288: 1572843 2.99996
...
1048575: 2097130 1.99998
1048576: 3145706 2.99998
...