Question

我正在尝试在Gecode中使用merit函数进行分支。在MPG中，陈述了Gecode Manual，一个示例优点函数，以及如何将其传递给分支。但我无法弄清楚该功能的放置位置。它应该在剧本内还是在外面？现在我把它放在复制功能等旁边。我找不到任何有人使用优点函数的示例代码。

我收到以下错误：

program.cpp(247): error C2059: syntax error: '}'                                                          
program.cpp(247): error C2853: 'm': a non-static data member cannot have a type that contains 'auto'      
program.cpp(259): fatal error C1004: unexpected end-of-file found

这是我正在尝试的代码：

    // ...
    branch(*this, workers, BOOL_VAR_MERIT_MIN(m), BOOL_VAL_MAX());
}

auto m = [](const Space& home, BoolVar x, int i) {
    return i;
}
// ...

我知道创建一个只返回索引的优点函数是愚蠢的，我只是想在我做我想做的事情之前让最简单的优点函数工作。

Answer 1

根据Gecode documentation，优点函数应该返回一个double。正如BoolBranchMerit的类型定义所示：

typedef std::function<double(const Space& home, BoolVar x, int i)> Gecode::BoolBranchMerit

为安全起见，您可能还希望将m声明为Gecode::BoolBranchMerit。所以我认为以下内容应该可以解决您的问题：

    // ...
    branch(*this, workers, BOOL_VAR_MERIT_MIN(m), BOOL_VAL_MAX());
}

BoolBranchMerit m = [](const Space& home, BoolVar x, int i) -> double {
    return (double) i;
}
// ...

如何在Gecode中使用Merit功能？

1 个答案: