問題タブ [jacop]

誰かがこのエラーで私を助けてくださいありがとう、私はJaCoPライブラリを使用しています、それは輸送問題です、そして私はそれが制約プログラミングであるOptimalSearchを見つける必要があります

http://pastebin.com/ZV4j234Sサンプルクラス

http://pastebin.com/at7nfAwEトランスポートクラス

私は、制約充足問題を解決するために Jacop を学ぼうとしています。Api 以外のチュートリアルをオンラインで見つけることができませんでした。

そのため、そのメソッドがどのように機能するかをテストしようとしています。

たとえば、SumInt の使用について。リストにある数字が何回出現するかを数えようとしています。JaCopを使用してそれを行うにはどうすればよいですか?

これらのデータを持つリストがある場合のように: 10,20,10,30,10,50,40

JaCop を使用して 10、20、30、40、50 が何回出現したかをカウントするにはどうすればよいですか? これは、オンラインの Api ページから取得した例です。しかし、それは私がやりたいことのようには見えません。

複雑なスケジューリング問題の解を計算するために、Java の制約プログラミング ソルバーである JaCoP を使用しています。今、見つかった解決策が正しくないという問題に直面しています。

次の制約を課しています。

検索を終了した後、ソルバーは解を見つけましたが、残念ながら解は明らかに間違っており、上記の制約に違反しています。

consistency()検索を開始する前にストアの整合性をチェックしていて、それが返されますtrueが、検索後に返されますfalse。

また、検索後にストアのすべての制約を繰り返し処理し、満足すれば次のコードを使用して出力しました。

false上記の制約で返されるメソッド。

私の質問は次のとおりです。正しい解決策のためにすべての制約を満たす必要がない理由は論理的な説明ですか? 私は何かを見落としていますか？

補遺: JaCoP 4.4.0 を使用しています

私は Scala プログラミングの初心者であり、flatmap 関数が頭痛の種です。

検索を依頼する前に、Stackoverflow についていくつか調査しました: https://stackoverflow.com/search?q=scala+map+to+listですが、問題を簡単に解決できるものは見つかりませんでした。

ここに私の問題があります:

Jacop を使用した scala プログラミング プロジェクト ( http://jacopguide.osolpro.com/guideJaCoP.html ) の場合、

この種のマップを変換する必要があります

に ：

flatMap を数回使用する必要があることはわかっていますが、私の場合、それをどのように正しく使用するのだろうかと思います。

ご協力いただきありがとうございます

制約プログラミングに JaCop ライブラリを使用して Java で Binary Puzzles をコーディングしようとしていますが、行を不均等にするのに苦労しています。標準の XneqY 制約は個々の変数のみを対象としており、IntVar[] に相当するものはありません。代替手段として LexOrder を使用してみましたが、ある行を辞書編集的に別の行よりも大きくするように強制するため、制約が多すぎます。 LexOrder ではないプリミティブな制約。これを行う良い方法を知っている人はいますか？現在、XneqY を変更し、数値をバイナリに変換し、バイナリを整数に戻すことで行/列に数値を割り当てる新しい制約を作成しようとしていますが、新しいアイデアをいただければ幸いです。