Question

我正在寻找一种方法来复制 Gecode 中的Space个实例，然后再分析这些空格之间的区别。

然而，在第一次复制后它已经出错了。当复制书中建模和编程的Gecode 中的代码时，如下所示，并简单地修改它，使得首先复制（SendMoreMoney* smm = m->copy(true);），得到一个分段错误，无论shared选项是true还是false。

#include <gecode/int.hh>
#include <gecode/search.hh>

using namespace Gecode;

class SendMoreMoney : public Space {
protected:
  IntVarArray l;
public:
  SendMoreMoney(void) : l(*this, 8, 0, 9) {
    IntVar s(l[0]), e(l[1]), n(l[2]), d(l[3]),
           m(l[4]), o(l[5]), r(l[6]), y(l[7]);
    // no leading zeros
    rel(*this, s, IRT_NQ, 0);
    rel(*this, m, IRT_NQ, 0);
    // all letters distinct
    distinct(*this, l);
    // linear equation
    IntArgs c(4+4+5); IntVarArgs x(4+4+5);
    c[0]=1000; c[1]=100; c[2]=10; c[3]=1;
    x[0]=s;    x[1]=e;   x[2]=n;  x[3]=d;
    c[4]=1000; c[5]=100; c[6]=10; c[7]=1;
    x[4]=m;    x[5]=o;   x[6]=r;  x[7]=e;
    c[8]=-10000; c[9]=-1000; c[10]=-100; c[11]=-10; c[12]=-1;
    x[8]=m;      x[9]=o;     x[10]=n;    x[11]=e;   x[12]=y;
    linear(*this, c, x, IRT_EQ, 0);
    // post branching
    branch(*this, l, INT_VAR_SIZE_MIN(), INT_VAL_MIN());
  }
  // search support
  SendMoreMoney(bool share, SendMoreMoney& s) : Space(share, s) {
    l.update(*this, share, s.l);
  }
  virtual SendMoreMoney* copy(bool share) {
    return new SendMoreMoney(share,*this);
  }
  // print solution
  void print(void) const {
    std::cout << l << std::endl;
  }
};

// main function
int main(int argc, char* argv[]) {
  // create model and search engine
  SendMoreMoney* m = new SendMoreMoney;
  SendMoreMoney* mc = m->copy(true);
  DFS<SendMoreMoney> e(m);
  delete m;
  // search and print all solutions
  while (SendMoreMoney* s = e.next()) {
    s->print(); delete s;
  }
  return 0;
}

如何制作真正的副本？

Answer 1

您必须先在status()上致电Space。

Answer 2

我在Gecode邮件列表档案中发现了这种交流：https://www.gecode.org/users-archive/2006-March/000439.html

在内部，Gecode似乎将copy函数和构造函数用于其内部用途，因此要制作空间的“按值复制”副本，您需要使用在代码中定义的clone（）函数空间接口。但是，如@Anonymous答案中所述，您需要在调用clone之前先调用status（），否则它将抛出SpaceNotStable类型的异常

我使用以下函数扩大了空间，以自动调用状态，进行克隆并返回派生类型的指针：

struct Example : public Space {
    ...
    Example * cast_clone() {
        status();
        return static_cast<Example *>(this->clone());
    }
    ...
}

Answer 3

作为一种解决方法，可以创建一个完全独立的空间，然后使用相等约束在变量级别上减少这些变量的域。

示例：

void cloneHalfValues(SendMoreMoney* origin) { int n = l.size(); for(int i = 0x00; i < n/2; i++) { if(origin->l[i].assigned()) { rel(*this, l[i], IRT_EQ, origin->l[i].val()); } } }

然而，人们无法克隆Space的原因仍然是个谜。

为什么在解决原始版本之前无法在Gecode中克隆一个“Space”？

3 个答案: