問題タブ [constraint-programming]

タプルの 5 つのセットがあります (int myInt、float myFloat)

次のように、各セットを均一にスケーリングすることを検討しています。

すべてのセット内のタプルのすべてのセット間ペアリング間で、myInts のペアと myFloats のペアの差が 0 に近い発生回数を最大化します。

次に、すべてのセットをスケーリングして、近い連符のペアリングの距離を最小化します

入力セット
[ (24, .56), (0, .55) ]
[ (22, .37), (23, .59) ]

2 つの連符が互いに近くにあるため、離れた連符を無視して、浮動小数点値の差を最小限に抑えるようにスケーリングする必要があります。

実際の使用では、各セットに 20 個の連符があり、通常は 4 個程度ですが、2 ～ 20 個のセットがあります。

私は制約解決に慣れていませんが、頭に浮かんだアプローチは.

各セットにランダムなスケーリングを与え、それぞれを上下に調整して、0 に近い myFloats の数を最大化します。異なるランダム値で何度も繰り返します。

この種の問題に対する既知のアプローチはありますか? 私は正しい軌道に乗っていますか？

私は SICStus Prolog から始めています。たとえばStartingTimes、変数を定義して、リストで定義されたドメインを持たせたいと考えています。[1, 5, 10]

SICStus Prolog でそれを行うにはどうすればよいですか?

私は次のようなことをします：

しかし、それは恐ろしいことです。それを行う簡単な方法があるはずです。たぶんfd_sets？

注：マニュアルでそれがどのように行われるかを調べようとしましたが、プロローグは一般的な言葉を使用しており、そのためにグーグルを使用するのは本当に難しいです.

SMT における理論の組み合わせを扱おうとしている研究がいくつかあることは知っています。ただし、SMT-Lib 2.0 言語 ( http://smtlib.cs.uiowa.edu/docs.html ) は、この点に関して何も述べていません。私の質問は、それがサポートされているかどうかです。また、複数の理論を同時に処理する機能を提供するソルバーは何ですか?

ありがとう、

会議をスケジュールする必要があります。14 日間、毎日 6 つのクラスと 10 人以上の講師がいます。一部の講師は、ある日は利用できますが、ある日は利用できない場合があり、特定の日またはクラスを好む人もいれば、休みの日もあります

私はそれをたくさんグーグルで調べましたが、それについて学ぶための良い資料を見つけることができませんでした. つまり、制約プログラミングを学ぶ必要がある場合は、それについての背景がないので大丈夫です。

学習教材、本、およびこれに関する提案を探しています。スタックオーバーフローのどこかで遺伝的アルゴリズムを読みましたが、それは良いことですが、誰もそれについて確信が持てませんでした。これは私が直面しなければならない最も簡単なトピックの 1 つであり、今後はより困難な解決策に直面することになるため、マネージャーからの基本的な新しいタスクから学び、それに直面しなければなりません。

私と一緒に学んだり共有したりする本、サイト、紙、情報源を提案していただければ幸いです