問題タブ [clingo]

私はアンサーセットプログラミングの初心者です。次のように、すべての生徒を異なるグループにグループ化したいと考えています。 1. 各グループには 3 ～ 4 人の生徒がいます。3. また、同じ学生を別のグループに割り当てることはできません。

私は次のように書いています：

各グループに含めることができる生徒数の制約を追加しましたが、他の 2 つの条件をどのように満たすかについての手がかりがありません。

どうぞよろしくお願いいたします。ありがとう。

推測ブロックから正確に「ステップ」項目を選択したいのですが、カーディナリティで推測を制限すると満足できなくなりました。

私はsconsでクリンゴを構築しようとしています。私が見つけた「gcc-7-win64」の最新バージョンであるコンパイラセットについて不平を言っています。（いくつかの古いバージョンで試しました）

エラー メッセージ:

エラー: 使用可能な C++ コンパイラが見つかりません

エラー: 使用可能な bison バージョンが見つかりません

私の2番目の質問はこれです.sconsが簡単に見つけられるように、bisonなどの手動でダウンロードしたライブラリをどこに置くべきですか?

次の回答セットのプログラミングの問題が発生しましたが、私の回答が正しいかどうかはわかりません。

• A(X) は通常 E(X)
• U(X) は通常、E(X) ではありません
• G(X) は通常 E(X)
• すべての G(X) は U(X) です
• U(X) は通常 A(X)
• G(t1)
• E(t2)ではなくG(t2)
• U(t3)

以下は私の Clingo コードです。

クリンゴ 0 pm.lp は:

私のコードが正しくて完全かどうかわからない?

私はセットプログラミングに答えるのが初めてで、助けが必要です。私はこれを読んでいますが、まだ助けが必要です。回答セット プログラミングを使用して、グラフが強く接続されているかどうかを確認するにはどうすればよいですか?

私のブレインストーミング:

• ノードとエッジ (つまり、ノード (1..2)、エッジ (1,2)、およびエッジ (2,1)) によって表されるグラフ。

• ここで、グラフが強く接続されている場合に true となる "strong() :- ......" というルールが必要です。

• 任意のノードから開始し、エッジが指す方向にエッジをたどることによって他のノードに到達できる場合、グラフは強く接続されています。

• したがって、私のプログラムは、各ノード X を取得し、有向エッジに沿って進み、他のすべてのノードに到達しようとする必要があります。他のすべてのノードに到達する場合は True、それ以外の場合は False。

強い（） ：- ？

PCGBookの第 8 章の演習からコードを実行しようとしています。彼らは clgo を使用していますが、使用しているバージョンについては言及していません。Potassco の sourceforge (バージョン 4.5.4) から Clingo の最新バージョンをダウンロードすると、レクサー エラーが発生します。これは、Gringo 3 と Gringo 4 の間で構文が変更されたためだと思われます。 Potassco の Web サイトでは、Gringo の両方のバージョンをダウンロードすることで修正する方法が示されていますが、両方を参照する方法については言及されていません。 Clingo でプログラムを実行しています。Gringo 3.0.0 をダウンロードして gringo.exe を置き換えましたが、clingo.exe は最新バージョンの Gringo でコンパイルされています。

Gringo 3 で Clingo の最新バージョンまたは互換性のある最新バージョンをダウンロードするにはどうすればよいですか?

経時的にバイナリ関数が与えられた場合、この関数で発生する間隔に関する情報を抽出しようとします。たとえば、状態 a と b と次の関数があります。

次に、次のような事実間隔(開始、長さ、値)が必要です:

これが私がこれまでに得たものです：

これは実際にはうまく機能しますが、まだ正しくはありません。これは、clingo 4.5.4 で実行したときの私の出力です。

これにはバグが 1 つだけあります: T == 9 のすべての区間 (L == 1 の区間を除く)

そこで、それらを取り除くために、次の制約を追加しようとしました。

私の考えでは、これは「T + L が時間ではないような間隔を持つことは禁止されている」という意味になります。

だから私は同じことをするはずの別の解決策を試しましたが、少し一般的ではありません：

それはまた、全体を解決不可能にしました。私は本当に理解していませんが、これらのルールの両方が、関数を使い果たした間隔を取り除くだけだと思っています。では、なぜモデルのすべての要素を完全に削除するのでしょうか?

また、実験中に、関数ルールを次のように置き換えました。

問題のある制約がなくても、全体が満足できないものになるのはなぜですか?

そうですね...私は根本的に何かを誤解していると思います。

よろしくうざく