基于矩阵诱导的排序对向量进行排序时出现分段错误

Question

我编写了如下代码。我收到分段错误错误。调试器显示错误来自“some_order”。我检查了一个特定示例的变量值。取 n = 26：然后， Var = {0,...,25} 这意味着传递给 'some_order' 的 u 和 v 必须在 (0-25) 范围内，但我得到其中一个的一些大值，例如 7785654或-1549259（类似的东西）。我不明白为什么。分段错误是不可避免的。

//TNT: template numeric toolkit
#include "tnt.h"  
//contains includes to all files in http://math.nist.gov/tnt/tnt_doxygen/files.html
//all other necessary stl and standard c++ libaray includes are there     

class global_data{
public:
  static TNT::Matrix<double>* Value_matrix;

};
TNT::Matrix<double>* global_data::Value_matrix = NULL;


bool some_order(const int& u ,const int& v) {
      return (*global_Data::Value_matrix)[v][u] == 0.0;
}

void some_function(int n){
    std::vector<int> Var(n);
    for(int i=0; i<n; i++){
        Var[i] = i;
    }
    std::sort(Var.begin(), Var.end(), some_order );
}

int main(){
    //assume we have n;       
    //nxn matrix, initialised with 0.0 
    global_data::Value_matrix = new TNT::Matrix<double>(n,n,0.0) ;
    //global_data::Value_matrix is then filled with values
    some_function(n); 
    delete[] global_data::Value_matrix
}

Answer 1

这种类型的错误几乎总是由于排序函数 不满足严格弱排序的要求，如 标准要求的。你确定 1) some_order(a, b) && some_order(b, c) 暗示 some_order(a, c)，并且 2) some_order( a, b ) 暗示 !some_order(b, a)？ （顺便说一句，它 在我看来不像，但我真的不明白它是什么 正在做。）

Answer 2

std::sort 假设比较函数模拟Strict Weak Ordering

• 不自反：some_order(u, u) 返回false
• 反对称：some_order(u, v) 暗示!some_order(v, u)（两者都可能为假，在这种情况下u 和v 是等价的）
• 传递：some_order(u, v) == true 和 some_order(v, w) == true 暗示 some_order(u, w) == true

这取决于你的global_Data矩阵的内容你的some_order()是否可以和std::sort一起使用

- irreflexive: diagonal cannot have 0.0 on it
- anti-symmetric: if an entry has 0.0 then the transpose element has no 0.0
- transitive: if `global_Data[u, v]` and `global_Data[v, w]` have 0.0 then `global_Data[u, w]` also has that.

先验似乎是一个非常严格的限制，您可能需要检查它。