私はセットプログラミングに答えるのが初めてで、助けが必要です。私はこれを読んでいますが、まだ助けが必要です。回答セット プログラミングを使用して、グラフが強く接続されているかどうかを確認するにはどうすればよいですか?
私のブレインストーミング:
ノードとエッジ (つまり、ノード (1..2)、エッジ (1,2)、およびエッジ (2,1)) によって表されるグラフ。
ここで、グラフが強く接続されている場合に true となる "strong() :- ......" というルールが必要です。
任意のノードから開始し、エッジが指す方向にエッジをたどることによって他のノードに到達できる場合、グラフは強く接続されています。
したがって、私のプログラムは、各ノード X を取得し、有向エッジに沿って進み、他のすべてのノードに到達しようとする必要があります。他のすべてのノードに到達する場合は True、それ以外の場合は False。
強い() :- ?