問題タブ [choco]

choco と呼ばれる Java 制約ソルバー パッケージをインストールしようとしています: http://choco.sourceforge.net/first.html

どうすればいいのか教えてください、私は何度か試しましたが、成功しませんでした。

ありがとう

CHOCO が以下をサポートしているかどうかは誰にもわかりません。

と

C# にChoco (Contrain Programming

AndroidでEclipseで作成されたこのプロジェクトを実行しようとしていますが、このプロジェクトはCHOCOライブラリを使用しています。問題は、choco がArraDequeエラーを出すというクラスを使用していることです。

NoClassDefFoundError

このクラス ( java.util.ArrayDeque) を自分の任意のファイルにインポートすると、Eclipse はそれを認識しますが、プロジェクトが (Android デバイス上で) 実行されている間、choco ライブラリが最初に使用されると、プロジェクトはNoClassDefFoundError.

に関連する多くのエラーを見ましたNoClassDefFoundErrorが、エラーを発生させる外部 jar に関連するものはありませんでした。

ここにエラーの画像をいくつか入れました。

私はこの問題を抱えています：

次のプロパティを持つアルファベット W = { A,C,G,T } の長さ 8 の文字列 (単語) の集合 S を見つけます。

1. S の各単語には、次の 4 つの記号があります。{ C,G }

2. S の異なる単語の各ペアは、少なくとも 4 つの位置が異なります。

私は最初のポイントをしました。8 つの変数は 1 と 4 の間の値を取り、1 と 2 は 4 つの場所に出現する必要があると言いました。

さて、2点目ですが、私にはわかりません。多分それは私の始め方が間違っている。ソリューション間に制約を作成できるかどうかはわかりません。

私はchoco3を使用しました。コードは次のとおりです。

Chocoモデルを解こうとすると、次のメッセージが表示されます。

どういう意味ですか？資料では見つけられませんでした。

スケジュールするタスクが n 個あります。タイム ホライズンは 0..T 期間です。各タスクは、実行時にリソースを消費します。リソースは限られており、さまざまな種類のリソースである可能性があります。choco 2.1.5 では次の決定変数を使用します。

変数 x[i][j] は、タスク i が期間 j で開始される場合は 1 に等しく、それ以外の場合は 0 に等しくなります。多数のタスクが同じ期間に実行される可能性がある場合、それらはリソースの容量制限を満たす必要があります。ソルバーがタスクを開始する期間を見つける前に、特定のタスクの場合、リソースに追加の制約を追加する必要があります。したがって、特定の期間に、タスクを実行してリソースのすべての使用量をカウントする必要があります。そして、モデルが解決される前に、それらがいつ開始され、いつ終了するかをどうにかして知る必要があります。

別の言い方をすれば、次の合計で構成される制約を実装する方法です BigSigma {i | start[i]≤t<start[i]+duration[i]} resourcesRequiredByTask[i] ≤ capacity, (∀ time t)。ここで、インデックス i はタスク番号です。

問題を解決するためにchoco APIを使用しています。必要なのは、すべての変数の合計を 1 にする制約をコーディングすることです。このコードは、行の合計を 1 に保ちます。

しかし、私が必要としているのは、各行の合計 = 1 ではなく、すべての要素の行列 (行の合計) の合計を 1 に保つコードをプログラミングすることです。

私は Choco と CP をまったく初めて使用しますが、Steiner ツリーの問題を解決するための小さなモデルを作成しています。Choco は、グラフが何であれ、最初のノードが true になるように強制し続けます (正しくないことを確認しました)。

esエッジがソリューション内にある場合は ==1、それ以外の場合は ==0 の IntVarの配列があります。vs頂点を設定する配列も同様。配列を使用しactiveEdgeWて、係数が可変のスカラー制約を設定できます。次に、チャネリング制約、ツリー制約、および sum == w 制約があります。w を最小化します。かなり単純ですが、何らかの理由vs[0] == trueで常に、どのグラフでも。

私のモデルは正直なところ非常に単純ですが、それがどこから来たのか本当にわかりません:

これが私のモデルで、残りのプログラムは単なるグラフ データです。

これがどこに来るのか、誰にも手がかりがありますか? にノードを異なる順序で配置しようとしましUBたが、常に最初のノードが存在することを主張します。チャネリング制約を削除しようとしましたが、ノードが常に真であるとは限らないことが示されましたが、それに到達するエッジはそうでなければならないので、が真になります。それにもかかわらず、簡単にわかるようにes、エッジを強制的に真にするような制約は配列にまったくありません。

助けてくれてありがとう！