0

Java Constraints Libraryを使用してCSPロジックの問題を解決する必要があります。今のところ、問題のいくつかの制約を表すことができました。それらのほとんどは、「等しい」および「等しくない」バイナリ制約に基づいています。私の疑問は、追加ベースの制約を表現する方法ですか? 例：

  • variable1 は DomainA に属します
  • variable2 は DomainB に属します
  • variable3 は DomainA に属します
  • variable4 は DomainB に属します

制約は次のとおりです。

  • variable1 と variable2 の合計は、variable3 と variable4 の合計より大きくなります。

観察: これらの変数はお金を表しているため、追加できます。

4

1 に答える 1

1

Java Constraint Library は単項制約または 2 項制約のみを使用するため、n 項制約を表すために制約の 2 値化を行う必要があります。また、ライブラリ内の既存のリレーション クラスを継承して、互換性のある新しいリレーションを定義することもできます。

編集: 2020 年現在、JCL ライブラリ リンクは無効になっています。そのライブラリの元の論文は次のとおりです: https://www.aai.org/Papers/Workshops/1997/WS-97-05/WS97-05-004.pdf

于 2009-09-02T15:14:00.763 に答える