합금으로 완전히 연결된 그래프 모델링

Question

나는 합금으로 젖은 상태로 만들려고 노력하고있다. (또한 공식적인 로직에도 비교적 새로운 것 같다.) 완전히 연결된 노드의 그래프로 시작하려고한다.

이미지에서 알 수 있듯이 노드 0과 1은 연결되어 있지 않습니다. 나는 내 사실이 완전히 연결되도록하기에 충분하다고 생각했지만, 아마도 나는 뭔가를 놓쳤다.

Answer 1

방법에 대한

adj = Node -> Node - iden 

이 기본적으로 adj 정체성 (자기 루프)를 제외하고, 노드의 모든 가능한 쌍을 포함 말한다.

이 모델은 각 노드에 대해, 모든 노드가 이적으로 연결할 수 있음을 제약하여 사실의 마지막 절은 대한 Node1 및 Node2가 연결되지 않은, 그러나 당신이 그들을 원하는 것을 나에게 보인다 괜찮 이유 즉시 도달 할 수 있어야합니다. 또한 위의 내 솔루션을 사용하여, 동일한 효과를 얻기 위해 all n: Node | (Node - n) in n.adj

에

all n: Node | Node in n.*adj을 변경할 수 있습니다.