hamming.cc
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 #include "gecode/set.hh"
00039 #include "examples/support.hh"
00040 #include "gecode/minimodel.hh"
00041
00055 class Hamming : public Example {
00056 public:
00058 SetVarArray xs;
00059
00061 static const int bits = 20;
00063 static const int dist = 3;
00064
00066 Hamming(const SizeOptions& opt) :
00067 xs(this,opt.size(),IntSet::empty,1,bits) {
00068 SetVarArray cxs(this,xs.size());
00069 for (int i=0; i<xs.size(); i++)
00070 rel(this, xs[i], SRT_CMPL, cxs[i]);
00071
00072 for (int i=0; i<xs.size(); i++) {
00073 SetVar y = xs[i];
00074 SetVar cy = cxs[i];
00075 for (int j=i+1; j<xs.size(); j++) {
00076 SetVar x = xs[j];
00077 SetVar cx = cxs[j];
00078
00079 SetVar xIntCy(this);
00080 SetVar yIntCx(this);
00081
00082 rel(this, x, SOT_INTER, cy, SRT_EQ, xIntCy);
00083 rel(this, y, SOT_INTER, cx, SRT_EQ, yIntCx);
00084 IntVar diff1(this,0,1024);
00085 IntVar diff2(this,0,1204);
00086 cardinality(this, xIntCy,diff1);
00087 cardinality(this, yIntCx,diff2);
00088 post(this, diff1+diff2 >= dist);
00089 }
00090 }
00091
00092 branch(this, xs, SET_VAR_NONE, SET_VAL_MIN);
00093 }
00094
00096 virtual void
00097 print(std::ostream& os) {
00098 for (int i=0; i<xs.size(); i++) {
00099 os << "\t[" << i << "] = " << xs[i] << std::endl;
00100 }
00101 }
00102
00104 Hamming(bool share, Hamming& s) : Example(share,s) {
00105 xs.update(this, share, s.xs);
00106 }
00108 virtual Space*
00109 copy(bool share) {
00110 return new Hamming(share,*this);
00111 }
00112
00113 };
00114
00118 int
00119 main(int argc, char* argv[]) {
00120 SizeOptions opt("Hamming");
00121 opt.size(32);
00122 opt.parse(argc,argv);
00123 Example::run<Hamming,DFS,SizeOptions>(opt);
00124 return 0;
00125 }
00126
00127
00128
00129