問題タブ [choco]

choco ソルバーを使用して魔方陣プログラムを解くための次のコードを見つけました。

しかし、クラス「問題」は「モデル」クラスに置き換えられたようです。Problem.makeEnumIntVar の代わりに Model.intVar を使用するのは正しいですか? Problem.neq、Problem.eq、Problem.scalar を置き換える現在の関数は何ですか?

室内環境を自動生成するプログラムを書きたいです。この目的のために、問題をCSPとして定式化するというアイデアを検討しました。変数は次のとおりです。

• x_o,y_o: 環境内のオブジェクト o の位置

• theta_o: オブジェクト o の向き

ドメインは次のとおりです。

• x と y の特定の範囲 [a,b] (つまり、2D グリッドの次元)

• [0,90,180,270] 方向の角度。

この問題を実装するために、Eclipse 4.7.1a でChocoを使用しています。

私の問題は次のとおりです。

オブジェクトaはオブジェクト b の前にあります。

オブジェクトには向きがあるため、この制約を表現する方法として次のような方法が考えられます。

• x_b == x_a + cos(シータ_a) && y_b == y_a + sin(シータ_a)

このリソースから、Choco がIbexを使用して実際の制約を解決していることがわかりました。インストール手順に従い、共有ライブラリを に追加しましたjava.library.path。実際の制約を定義するために、このドキュメントに従いましたが、このコードを実行すると:

これは私が得るエラーです:

これは一般的な問題であることがわかりました。

コア ダンプの書き込みに失敗しました。コア ダンプが無効になりました

しかし、ウェブで見つけた答えはどれも私の問題を解決しませんでした。

だから、誰かが私に解決策を指摘できればとてもうれしいです!!!

ありがとう。

スカラー制約を投稿していますが、解決策が得られたときにその結果を出力できるようにしたいと考えています。だから、どうにかしてIntVarにキャッシュしたいのですが…</p>

古いChoco構文で古い答えを見つけましたが、最新のChocoで機能させることができません:

yは単にint定数であり、IntVarではない可能性があるため、私が探しているものとはまったく異なる可能性があります …</p>

とにかく、それを行う方法を知っていますか？今のところ、解が得られたときに値からスカラーを再計算できますが、それらのスカラーの平均に基づいて最小化目標を追加することを計画しています…</p>

スカラーをいくつかの変数に分解することでこれを回避しようとしましたが、今では解決策がありません。

私は何を間違っていますか？助けてくれてありがとう！