問題タブ [constraint-programming]

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.

0 投票する
2 に答える
3708 参照

constraint-programming - 制約プログラミングに Solver Foundation を使用することの欠点

Microsoft Solver Foundation for CLP を使用することの欠点は何ですか? ソルバーは Express/Standard バージョンである程度サポートされていますが、最も基本的な制約プログラミング以上のものを達成するには、高価な Gurobi / Knitro アドオンを購入する必要があると想像できます。

Solver の CLP 機能を純粋に考慮した場合、Solver は ECLiPSe と比べてどうですか?

0 投票する
1 に答える
284 参照

constraints - 等式と不等式の制約充足可能性問題のセット

私はCSPに比較的慣れておらず、変数間に課せられた==、>、<、および!=制約に基づいて、それぞれのドメインからすべての変数の値を見つけようとしています。私はChocoとJacopを見ましたが、これらのタイプの問題を解決することについてこれ以上知ることができませんでした。この例の実装を見つけることができる場所を教えていただけますか?私はPrologを使用してこれを解決しましたが、これを行うためにOOPを使用したいと思います。

ありがとうございました。

0 投票する
1 に答える
365 参照

constraints - Mozart / Ozで非数値制約を作成するにはどうすればよいですか?

変数のドメインが数値ではない([lisa ann mary joanna]のような)CSPを実装したいと思います。Mozart / Ozでこれを実現する方法はありますか?

0 投票する
4 に答える
3866 参照

erlang - アーランは制約論理プログラミング言語ですか?

ErlangはPrologに基づいているので、これはErlangが制約論理言語であることを意味しますか?
ErlangにはPrologのビルディングブロックがありますか:ファクト、ルール、クエリ

0 投票する
1 に答える
936 参照

constraint-programming - スケジューリング問題のための制約プログラミングフレームワーク

プロジェクト計画用のソフトウェアアプリケーションに取り組み、区間演算と実数の制約をサポートする制約プログラミングライブラリを探しています。

私が実装しなければならない機能は、プロジェクトのスケジューリングです。

そのような問題のための制約プログラミングフレームワークを教えていただけますか?

前もって感謝します!

0 投票する
1 に答える
964 参照

eclipse - eclipse IDE windows 7 os chocoパッケージのインポート

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

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

ありがとう

0 投票する
1 に答える
305 参照

algorithm - 制約の問題を解決するのに助けが必要

制約を使用して次の問題を解決したいのですが、実際にはどこから始めればよいかわからないため、ここに投稿して助けを求めることにしました。

四角と丸を自分で追加することを解決したので、これは宿題ではありません。しかし、これは私がどのように、どこから始めればよいかわかりません。この制約を初心者として学習していますが、これを解決する方法がまったくわからず、助けが必要です。変数と制約を定義するには、次の構文を使用するとします。

*変数*

1)

名前は大文字の [AZ] で始まり、[A-Za-z0-9_] のみを使用する必要があります。例: X または MyVar_1。

2)

ドメインは、範囲 [from,...,to] 内のすべての整数のセットです。from ≤ to であることを確認してください。

3)

インデックスは、インデックス付き変数の (単一の!) インデックスを参照します。たとえば、変数「X」に 1 から 8 までのインデックス範囲を入力すると、「X(1)」、「X(2)」、...、「X(8)」のそれぞれが通常の変数になります。同じドメインで。インデックスの範囲は ~ ≦ ~ となるように指定してください。「インデックス」フィールドを空白のままにすると、変数はインデックスのないものと見なされます。(注: from = to を使用することは可能ですが、あまり意味がありません。代わりに、インデックスのない変数を使用できます。) 同じ名前を 2 回使用しないでください。インデックス変数!また、変数名の一部を再利用しないでください。たとえば、既に MyVar_1 がある場合は、Var も使用しないでください。

制約

必要に応じて、使用されているインデックスの範囲を指定して、算術制約を入力できます。算術制約は Expr ∼ Expr の形式です。ここで、Expr は整数、宣言された変数、およびいくつかの演算を使用する式であり、~ は関係演算子です。

1)

インデックス付き変数を使用する場合、インデックスを指定する必要があります

  • MyVar(index) の形式で、つまり、変数名の直後に「(」と「)」を使用し、間にスペースを入れないでください。
  • index は変数でなければならないので、MyVar(37) のようなものは許可されないことに注意してください。代わりに MyVar(i) と書き、i=37 の範囲を入力します。
  • また、インデックスは「範囲」フィールドに表示される必要があります。ヒント: インデックス範囲全体 (i=1..10 など) に対して制約を保持する必要がある場合は、i>0 などの単純に満たされる範囲を入力してください。
  • インデックス名は、インデックスとしてではなく、制約内にそのまま表示できます。
  • MyVar(index+x) または MyVar(index-x) の形式も使用できます。x は整数です。「+」または「-」の前後にスペースを使用しないでください。 2)

算術では、演算子 '+'、'-'、'*'、'/'、'mod' を使用します。'X / Y' は、X と Y の商 (切り捨て) です。「min(X,Y)」、「max(X,Y)」、「abs(X)」も使用できます。

3) 使用可能な関係演算子は、'='、'\='、'<'、'>'、'=<'、'>=' で、意味は明らかです。

4) あいまいさをなくすには、丸かっこを使用してください。例: X(i) + Y(j) < 12 または min(X(i),X(j)) \= Z または X(i) * i = 20.

ブール式も使用できます。許可されているブール結合子は、'<=>'、'=>'、'/\'、および '\/' で、それぞれ同値、含意、結合、および分離を表します。

範囲は、制約で使用される各インデックスを含む式です。例: i < j または i = j または (i = j /\ k \= l)。範囲式には、'<=>'、'=>'、または '\/' を含めることはできません。注: 範囲は、i=1..10 のような集合式ではなく、論理式 (暗黙的に全称量化) です。

次の例では、上記の構文を使用しています。

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

0 投票する
1 に答える
156 参照

algorithm - 制約問題の解決に助けが必要 (2 番目)

次の制約処理タスクを解決しました。正しいかどうかご確認いただけますでしょうか。

ここに画像の説明を入力

これが私の解決策であり、どこが間違っているのかを確認してほしい:

MY CONSTRAINTS
カメラのビューが、時間が偶数のときは交互に変更され、時間が 1 のときは囚人だけが移動できるように制約を宣言しました。

みんな、私は何か間違ったことをしていることを知っているので、それを修正するのを手伝ってください。

ご協力いただきありがとうございます。昨日同様の質問を投稿したので、変数と制約の構文を知りたい場合は、次のリンクを参照してください: Variable and Constraint syntax in this post

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

0 投票する
2 に答える
332 参照

java - クラス内の少なくとも1つのブールフィールドがtrueであることを確認するカスタム制約を作成する方法

7つのブールフィールドを持つ「Scheduler」というクラスがあります。少なくとも1つのブールフィールドがtrueであることを確認するために、休止状態で制約を記述したいと思います。

これが「スケジューラ」クラスです。

誰かが言及された制約を書くのを手伝ってくれませんか。

ありがとう!!!!!!!!!

0 投票する
3 に答える
1401 参照

list - 制約ロジック プログラミングによる順序付けリスト

誰かがこの問題で私を助けることができるかどうか疑問に思っていました: Prolog と Constraining Logic Programming を使用してリストを注文する必要があり、できる限り効率的な方法でそれを行う必要があります。

したがって、私が定義した主な述語は次の述語です。

前の各補助述語の実装は次のとおりです。

作成したプログラムが動作することを証明しました。しかし、効率を改善できるかどうかはわかりません。改善できる場合は、どうすればよいでしょうか (私はこの古いスレッドをここで読んでいました)。制約を追加または変更する必要がありますか?

ありがとう!