問題タブ [gecode]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
minizinc - minizinc のデバッグ (とにかく、バグを見つけましたか?)
MiniZincの基本に精通しています。MiniZinc IDE を使用して、次のようなスニペットを作成します。
表示する
現在、int のリストの cdr が間違っているようです。見つけることはできませんが、それは私のバグだと思います。
アサーションはここで私を助けることができますか? Gecode (そして Gist を使用) を使用してコードを実際に運用する予定なので、そのルートに従うことはできますか?
ヒントをいただければ幸いです...
このスニペットを編集
レポート
constraint-programming - オプションの変数を使用した検索戦略
Minizinc で単純なモデルを実装して、一連のタイムスロットで優先度と期間が異なるタスクをスケジュールしますが、すべてのタスクをスケジュールできるわけではないため、一部は除外され、優先度の合計を最大化しようとしていますスケジュールされたタスク。
タスクが vars の配列で定義され、スケジュールされていないタスクの時間が 0 である作業バージョンがあります。制約には、スケジュールされたタスク (when[i]>0) のみを考慮するいくつかの where 句があります。デフォルトの検索戦略は非常に遅いので、Gecode をソルバーとして使用して、よりうまく機能する別の戦略に変更しました。
現在、オプションの変数を使用して別のバージョンを実装して、where 句を取り除き、改善があるかどうかを確認しています。ただし、opt var を使用する場合、検索戦略 int_search() を定義できないようです。
それを行う方法はありますか?
作業モデルは次のとおりです (試したい検索戦略を含むソルブ句はコメントアウトされています)。
r - Gecode への R インターフェイス (オープンソースの制約プログラミング ツールキット)
R 内での制約プログラミングに、オープンソースの Gecode (gecode.org) フレームワークを使用したいと考えています。これまでのところ、直接的なルートは見つかりませんでした。Ruby、Python、Prolog へのバインディングとインターフェイスはたくさん見つかりましたが、R への直接的なものは見つかりませんでした。
ライブラリへのポインタまたはその他の手段は、典型的な R プロジェクト内で Gecode を使用する方法を高く評価します。
c++ - Gecode で最初のプログラムを実行する
あなたの助けが必要です。
Windows 8 に制約ベースのシステムとアプリケーションを開発するためのツールキットGecode 4.4.0と、コンパイラ C++ Dev C++ 5.9.2をインストールしましたが、最初のプログラムや、挿入。
メイクファイルが必要だと読みましたが、実際にはまだコンパイルまたは実行に成功していません。
コンパイルコマンド:
g++.exe -D__DEBUG__ main.o sat.o -o TestGecode.exe -L"C:/Program Files (x86)/Dev-Cpp/MinGW64/lib32" -L"C:/Program Files (x86)/Dev- Cpp/MinGW64/x86_64-w64-mingw32/lib32" -static-libgcc -L"C:/Program Files (x86)/Gecode/include" -m32 -g3
出力エラー:
sat.o: 関数
ZN6Gecode9ExceptionD2Ev': c:/program files (x86)/dev-cpp/mingw64/x86_64-w64-mingw32/include/gecode/support/exception.hpp:46: undefined reference to
_imp___ZTVN6Gecode9ExceptionE' 内 sat.o: 関数ZN6Gecode15MemoryExhaustedC1Ev': c:/program files (x86)/dev-cpp/mingw64/x86_64-w64-mingw32/include/gecode/support/exception.hpp:90: undefined reference to
_imp___ZN6Gecode9ExceptionC2EPKcS2_' 内 sat.o: 関数 `ZNK6Gecode9PosChoice7archiveERNS_7ArchiveE' 内: ...
constraint-programming - 制約計画法ソルバー (gecode) のグラフのモデル提案
問題: ラベル付き (1..n) 無向グラフが与えられた場合、Gecode でモデルを作成して、特定のシーケンス次数を持つスーパーグラフを見つけます。
難しさ: 主な難しさは、それ以上の度数を正確に表現する派手なモデルを見つけることです:
隣接行列ではないのはなぜですか? グラフは大きくてまばらになりがちなので
エッジリストではないのはなぜですか? エッジを追加しますが、それらの数はわかりません。CP には定義済みの数の変数が必要です (私は正しいですか?)
隣接リストがないのはなぜですか?すべての i, j に対して制約をプッシュする必要があるセットのリストとしてのモデル化問題: (j in a[i] <=> i in a[j])
constraint-programming - マッピング制約(gecode)の策定
同じサイズの 2 つの整数配列の制約を表現する必要があります
つまり、次のような整数関数があります。
それに対する解決策はありますか?