gecoder-with-gecode 0.9.0 → 0.9.1

data/ext/gecode-2.2.0/examples/stress-distinct.cc

@@ -0,0 +1,90 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2005
+ *
+ *  Last modified:
+ *     $Date: 2007-11-30 13:58:34 +0100 (Fri, 30 Nov 2007) $ by $Author: tack $
+ *     $Revision: 5524 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+#include "examples/support.hh"
+
+/**
+ * \brief %Example: Stress distinct propagator
+ *
+ * Performs propagation on a pathological example. The example is taken
+ * from: Jean-Francois Puget, A fast algorithm for the bound consistency
+ * of alldiff constraints, AAAI-98, pages 359-366, July 1998,
+ * Madison, WI, USA.
+ *
+ * \ingroup ExStress
+ */
+class StressDistinct : public Example {
+protected:
+  /// Variables
+  IntVarArray x;
+public:
+  /// The actual problem
+  StressDistinct(const SizeOptions& opt)
+    : x(this,opt.size()+1,0,opt.size()) {
+    distinct(this, x, opt.icl());
+    for (unsigned int i=0; i<opt.size(); i++)
+      rel(this, x[i], IRT_LQ, i);
+  }
+  /// Constructor for cloning \a s
+  StressDistinct(bool share, StressDistinct& s) : Example(share,s) {
+    x.update(this, share, s.x);
+  }
+  /// Perform copying during cloning
+  virtual Space*
+  copy(bool share) {
+    return new StressDistinct(share,*this);
+  }
+  /// Print solution
+  virtual void
+  print(std::ostream& os) {
+    os << "\tx[" << x.size() << "] = " << x << std::endl;
+  }
+};
+
+/** \brief Main-function
+ *  \relates StressDistinct
+ */
+int
+main(int argc, char* argv[]) {
+  SizeOptions opt("StressDistinct");
+  opt.size(1000);
+  opt.parse(argc,argv);
+  Example::run<StressDistinct,DFS,SizeOptions>(opt);
+  return 0;
+}
+
+// STATISTICS: example-any

data/ext/gecode-2.2.0/examples/stress-domain.cc

@@ -0,0 +1,99 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2001
+ *
+ *  Last modified:
+ *     $Date: 2007-11-30 13:58:34 +0100 (Fri, 30 Nov 2007) $ by $Author: tack $
+ *     $Revision: 5524 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+#include "examples/support.hh"
+
+/**
+ * \brief %Example: Domain stress test
+ *
+ * \ingroup ExStress
+ *
+ */
+class StressDomain : public Example {
+protected:
+  /// Variables
+  IntVarArray x;
+public:
+  /// The actual problem
+  StressDomain(const SizeOptions& opt)
+    : x(this,5,0,5*opt.size()) {
+
+    // Cut holes: expand
+    for (int i = 5; i--; ) {
+      for (unsigned int j = 0; j <= 5*opt.size(); j++)
+        rel(this, x[i], IRT_NQ, 5*j);
+      for (unsigned int j = 0; j <= 5*opt.size(); j++)
+        rel(this, x[i], IRT_NQ, 5*j+2);
+      for (unsigned int j = 0; j <= 5*opt.size(); j++)
+        rel(this, x[i], IRT_NQ, 5*j+4);
+    }
+    // Contract
+    for (unsigned int j = 0; j <= 5*opt.size()/2; j++)
+      for (unsigned int i = 5; i--; ) {
+        rel(this, x[i], IRT_GQ, 5*j);
+        rel(this, x[i], IRT_LQ, 5*(j + (5*opt.size()/2)));
+      }
+  }
+  /// Constructor for cloning \a s
+  StressDomain(bool share, StressDomain& s) : Example(share,s) {
+    x.update(this, share, s.x);
+  }
+  /// Perform copying during cloning
+  virtual Space*
+  copy(bool share) {
+    return new StressDomain(share,*this);
+  }
+  /// Print solution
+  virtual void
+  print(std::ostream&) {}
+};
+
+/** \brief Main-function
+ *  \relates StressDomain
+ */
+int
+main(int argc, char* argv[]) {
+  SizeOptions opt("StressDomain");
+  opt.iterations(200);
+  opt.size(1000);
+  opt.parse(argc,argv);
+  Example::run<StressDomain,DFS,SizeOptions>(opt);
+  return 0;
+}
+
+// STATISTICS: example-any
+

data/ext/gecode-2.2.0/examples/stress-element.cc

@@ -0,0 +1,112 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2006
+ *
+ *  Last modified:
+ *     $Date: 2007-11-30 13:58:34 +0100 (Fri, 30 Nov 2007) $ by $Author: tack $
+ *     $Revision: 5524 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+#include "examples/support.hh"
+
+/**
+ * \brief %Example: Stress test for element constraint (involving integers)
+ *
+ * This stress test is an adaption of the benchmark for element posted
+ * by Neng-Fa Zhou for B-Prolog, November, 2005.
+ *
+ * \ingroup ExStress
+ *
+ */
+class StressElement : public Example {
+protected:
+  /// Number of elements in array
+  static const int n = 15;
+  /// Largest number
+  static const int m = 90;
+  /// Array arguments
+  static const int p[n];
+
+  /// Variables
+  IntVarArray x;
+public:
+  /// The actual problem
+  StressElement(const Options&)
+    : x(this,n,0,n-1) {
+
+    IntVarArgs s(n);
+    for (int i=0; i<n; i++)
+      s[i].init(this,0,m);
+
+    rel(this, s, IRT_LQ);
+
+    IntArgs e(n,p);
+
+    for (int i=0; i<n; i++)
+      element(this, e, x[i], s[i]);
+
+    distinct(this, x);
+    branch(this, x, INT_VAR_SIZE_MIN, INT_VAL_MIN);
+  }
+
+  /// Constructor for cloning \a s
+  StressElement(bool share, StressElement& s) : Example(share,s) {
+    x.update(this, share, s.x);
+  }
+
+  /// Perform copying during cloning
+  virtual Space*
+  copy(bool share) {
+    return new StressElement(share,*this);
+  }
+
+  /// Print solution
+  virtual void
+  print(std::ostream& os) {
+    os << "\tx[" << n << "] = " << x << std::endl;
+  }
+};
+
+const int StressElement::p[15] = {16,35,90,42,88,6,40,42,64,48,46,5,90,29,70};
+
+/** \brief Main-function
+ *  \relates StressElement
+ */
+int
+main(int argc, char* argv[]) {
+  Options opt("StressElement");
+  opt.parse(argc,argv);
+  Example::run<StressElement,DFS,Options>(opt);
+  return 0;
+}
+
+// STATISTICS: example-any
+

data/ext/gecode-2.2.0/examples/stress-exec.cc

@@ -0,0 +1,97 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2001
+ *
+ *  Last modified:
+ *     $Date: 2007-11-30 13:58:34 +0100 (Fri, 30 Nov 2007) $ by $Author: tack $
+ *     $Revision: 5524 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+#include "examples/support.hh"
+
+/**
+ * \brief %Example: Execution stress test
+ *
+ * The size argument defines how many duplicate propagators
+ * are created.
+ *
+ * \ingroup ExStress
+ *
+ */
+class StressExec : public Example {
+protected:
+  /// Variables
+  IntVarArray x;
+  /// Initial domain size
+  static const int n = 1000000;
+public:
+  /// The actual problem
+  StressExec(const SizeOptions& opt)
+    : x(this,2,0,n) {
+
+    for (unsigned int i=0; i<opt.size(); i++) {
+      rel(this, x[0], IRT_LE, x[1]);
+      rel(this, x[1], IRT_LE, x[0]);
+    }
+
+  }
+
+  /// Constructor for cloning \a s
+  StressExec(bool share, StressExec& s) : Example(share,s) {
+    x.update(this, share, s.x);
+  }
+
+  /// Perform copying during cloning
+  virtual Space*
+  copy(bool share) {
+    return new StressExec(share,*this);
+  }
+
+  /// Print solution
+  virtual void
+  print(std::ostream&) {}
+};
+
+/** \brief Main-function
+ *  \relates StressExec
+ */
+int
+main(int argc, char* argv[]) {
+  SizeOptions opt("StressExec");
+  opt.iterations(20);
+  opt.size(1);
+  opt.parse(argc,argv);
+  Example::run<StressExec,DFS,SizeOptions>(opt);
+  return 0;
+}
+
+// STATISTICS: example-any
+

data/ext/gecode-2.2.0/examples/stress-extensional.cc

@@ -0,0 +1,134 @@
+/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
+/*
+ *  Main authors:
+ *     Christian Schulte <schulte@gecode.org>
+ *
+ *  Copyright:
+ *     Christian Schulte, 2005
+ *
+ *  Last modified:
+ *     $Date: 2007-11-30 13:58:34 +0100 (Fri, 30 Nov 2007) $ by $Author: tack $
+ *     $Revision: 5524 $
+ *
+ *  This file is part of Gecode, the generic constraint
+ *  development environment:
+ *     http://www.gecode.org
+ *
+ *  Permission is hereby granted, free of charge, to any person obtaining
+ *  a copy of this software and associated documentation files (the
+ *  "Software"), to deal in the Software without restriction, including
+ *  without limitation the rights to use, copy, modify, merge, publish,
+ *  distribute, sublicense, and/or sell copies of the Software, and to
+ *  permit persons to whom the Software is furnished to do so, subject to
+ *  the following conditions:
+ *
+ *  The above copyright notice and this permission notice shall be
+ *  included in all copies or substantial portions of the Software.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ *
+ */
+
+#include "examples/support.hh"
+
+
+/**
+ * \brief %Example: Stress extensional propagator
+ *
+ * Creates a huge DFA specifying that all values are pairwise distinct
+ * and use the DFA for propagation.
+ *
+ * \ingroup ExStress
+ */
+class StressExtensional : public Example {
+protected:
+  /// Variables
+  IntVarArray x;
+public:
+  /// Type definition as abbreviation
+  typedef Support::DynamicArray<DFA::Transition> Transitions;
+  /// Create all states for permutation of symbols
+  void
+  permute(int i_state, int i, int n, int p,
+          Transitions& t, int& n_t, int& n_state) {
+    if (i<n-1) {
+      for (int j=n; j--; )
+        if (!(p & (1 << j))) {
+          t[n_t].i_state = i_state;
+          t[n_t].symbol  = j;
+          t[n_t].o_state = ++n_state;
+          n_t++;
+          permute(n_state,i+1,n,p | (1 << j),
+                  t,n_t,n_state);
+        }
+    } else {
+      for (int j=n; j--; )
+        if (!(p & (1 << j))) {
+          t[n_t].i_state = i_state;
+          t[n_t].symbol  = j;
+          t[n_t].o_state = 1;
+          n_t++;
+        }
+    }
+  }
+  /// Construct a distinct %DFA for \a n values
+  DFA
+  construct(int n) {
+    Transitions t;
+    int n_t     = 0;
+    int n_state = 1;
+    permute(0,0,n,0,t,n_t,n_state);
+    t[n_t].i_state = -1;
+    int f[] = {1,-1};
+    DFA d(0,t,f);
+    return d;
+  }
+  /// The actual problem
+  StressExtensional(const SizeOptions& opt)
+    : x(this,4*opt.size(),0,opt.size()) {
+    DFA a = construct(opt.size());
+    IntVarArgs y(opt.size());
+    for (unsigned int i=0; i <= 3*opt.size(); i++) {
+      for (int j = opt.size(); j--; )
+        y[j] = x[i+j];
+      extensional(this, y, a);
+    }
+    for (int j=opt.size(); j--; )
+      y[j] = x[j];
+    branch(this, y, INT_VAR_NONE, INT_VAL_MED);
+  }
+  /// Constructor for cloning \a s
+  StressExtensional(bool share, StressExtensional& s) : Example(share,s) {
+    x.update(this, share, s.x);
+  }
+  /// Perform copying during cloning
+  virtual Space*
+  copy(bool share) {
+    return new StressExtensional(share,*this);
+  }
+  /// Print solution
+  virtual void
+  print(std::ostream& os) {
+    os << "\tx[" << x.size() << "] = " << x << std::endl;
+  }
+};
+
+/** \brief Main-function
+ *  \relates StressExtensional
+ */
+int
+main(int argc, char* argv[]) {
+  SizeOptions opt("StressExtensional");
+  opt.size(7);
+  opt.parse(argc,argv);
+  Example::run<StressExtensional,DFS,SizeOptions>(opt);
+  return 0;
+}
+
+// STATISTICS: example-any