Худшая сложность случая создания HashSet <интервал> из коллекции

Можно принести худший случай к O (N^2) , поставляя объекты, что вся мешанина к тому же самому ведру , когда набор достигает своего максимального размера . Например, если вы передаете последовательность 17519 интервал s построенный как

x[i] = i * 17519

for i between 1 and 17519, inclusive, all numbers will hash to the initial bucket on Microsoft's implementation of HashSet, taking O(N^2) to insert:

var h = new HashSet(Enumerable.Range(1, 17519).Select(i => i*17519));

Установите кир kpoint и исследуйте h в отладчике. Взгляд на Сырое Представление/Непубличные участники/m_buckets. Заметьте, что у начального ведра есть 17519 элементов, в то время как оставление 17518 у всех есть ноли.

Быстрый эксперимент с выродившимся хэш-кодом (константа) показывает, что это квадратное.

for(int n=0;n<100;n++)
{
    var start=DateTime.UtcNow;
    var s=new HashSet(Enumerable.Range(0,n*10000).Select(_=>new Dumb()));
    Console.Write(n+" ");
    Console.WriteLine((int)((DateTime.UtcNow-start).TotalSeconds*10));
}

продукция:

0 0
1 8
2 34
3 73
4 131

Now some claim that you don't get multi collisions of the HashCode for ints. While that's technically true, what matters for performance isn't a collision of the HashCode, but a collision of the bucket index. I think HashSet uses something like bucket = (hash&0x7FFFFFFF)%Capacity. So if you add a sequence of integers that's a multiple of a preferred bucket size, it'll still be very slow.