О генерической сложности проблемы распознавания гамильтоновых путей

Изучается генерическая сложность проблемы распознавания гамильтоновых путей в конечных графах. Путь в графе называется гамильтоновым, если он проходит через все вершины ровно по одному разу. Доказывается, что при условии $\text{P} \neq \text{NP}$ и $\text{P}=\text{BPP}$ для этой проблемы не существует полиномиального сильно генерического алгоритма.