問題タブ [gecode]

私は一般的にgecodeと制約プログラミングに不慣れです。

これまでのところ、gecode を取得するのにそれほど問題はありませんでした。しかし、「ネストされた」コスト関数を実行する最良の方法は何だろうと思っていました。具体的には、X を最小化しようとしていますが、X が等しいソリューションの範囲内で、Y を最小化するソリューションを優先しますか? おそらく、X*large_number+Y のようなコスト関数を定義することでハッキングできますが、適切な解決策があれば、これを適切に行うことをお勧めします。

これを Gecode で実装する方法を誰かが説明してくれれば、それは本当に役に立ちます。ありがとう！

192ページの「容量を超えてはいけない」という制約が理解できません。

ドキュメントは、カウント機能が「容量を超えない」に等しい制約を構築すると述べています。しかし、私は理由を知りませんか？

1 : ICL_DOM がある場合とない場合の違いは何ですか?

2 : 4.4.8(pg 63)による

c がセットではなく IntArrayArgs であり、ICL_DOM がない場合、次のように制約を投稿するようなものですか?

c がセットの場合はどうなりますか? これは、制約が次のようになることを意味しますか

これにより、「容量を超えないでください」という制約が保持される理由がわかりません。

私にとって、それは（疑似コード）であるべきです

私は GeCode lib(および g++ コンパイラ...) を初めて使用し、コンパイルの問題に遭遇しました。環境とエラー情報は次のとおりです。

gecode-4.2.0/ の下のコンテンツ:

ディレクトリの下で../doc/、sendmory.cpp をコンパイルする必要があります

コンパイルコマンド:

エラー：

誰でも助けてもらえますか？ありがとう。

Gecode (4.3.0) のドキュメントには、Gecode を Mac にインストールした後、次のようにサンプルをコンパイルしてリンクできることが記載されています。

コンパイルは成功しますが、リンクは次のように失敗します。

これを解決する方法はありますか？

Gecode はSpaces を使用して、進行中の制約充足問題を表します。決定点に到達するたびに、Spaceがコピーされます。

進行中のこれらのスペースの分析を実行したいと考えています。特定のに登録されている変数、制約などのリストを取得する方法はありますSpaceか? API ドキュメントは、そのようなメソッドを提供していないようです。

GecodeSpaceでインスタンスをコピーし、後でスペースの違いを分析する方法を探しています。

ただし、最初のコピーの後、すでに問題が発生しています。Modeling and Programming in Gecodeのコードを以下に示すようにコピーし、最初にコピーが作成されるように単純に変更すると ( SendMoreMoney* smm = m->copy(true);)、オプションがまたはであるかどうかに関係なく、セグメンテーション違反が発生します。sharedtruefalse

どうすれば本物のコピーを作ることができますか？