C++のSTL make_heapとPRIORITY_QUEUEは異なる出力に与え

Question

これは私のコードです：次のようである

std::priority_queue<SimpleCycle, 
        std::vector<SimpleCycle>, 
        SimpleCycle> pq; 
pq.push(cycle1); 
pq.push(cycle2); 
pq.push(cycle4); 
std::cout << pq.top().to_string() << std::endl; 

std::vector<SimpleCycle> pq2{ cycle1, cycle2, cycle4 }; 
std::make_heap(pq2.begin(), pq2.end(), SimpleCycle()); 
std::cout << pq2.front().to_string() << std::endl; 

コンパレータSimpleCycleのために：

const bool SimpleCycle::operator()(SimpleCycle& L, SimpleCycle& R) const 
{ 
    float a = L.avg_latency(); 
    float b = R.avg_latency(); 
    //Allow an error rate of 0.0000000001 
    //Ref. The Art of Computer Programming: Seminumerical algorithms(Page 128) 
    return (b - a) > ((fabs(a) < fabs(b) 
        ? fabs(b) : fabs(a)) * (0.0000000001)); 
} 

機能がfloatを返しavg_latency()。しかし、私は同じ同じ入力の場合に異なる出力を得ます。おそらく何が間違っていますか？

Answer 1

比較演算子が「エラーレート0.0000000001を許可する」ため、これはC++の概念で定義されている厳密な弱い順序ではありません（例：http://en.cppreference.com/w/cpp/concept/Compare）。

特に、厳密な弱い順序付けの対称性要件は満たされません。例えば。 false

SimpleCycle()(1/e + 1, 1/e)戻りfalse

もう一つの問題は、中イゴールTandenikによって指摘

• SimpleCycle()(1/e, 1/e + 1)リターン：私たちは（あなたの場合、0.0000000001で）エラーしきい値eを呼び出す場合、我々はそれを見ますそれが誘導する等価関係は推移的ではないということです：aはbに十分に近く、bはcに十分近いが、aはcに十分に近くない可能性があります。

  はあなたのcycle変数内のデータに応じて、これはpriority_queueとmake_heapアプローチは、わずかに異なる最大の要素

  を返すために発生することがあり

  も