從合金4.2中的圖創建獨立集

Question

我創建了一個測試圖來嘗試創建一個獨立集。我知道獨立集是一組沒有連接的頂點，但我不知道如何在合金4.2中實現這一點。下面是我有：

abstract sig Vertex { 
    e: set Vertex -- e is the edge relation 
} 
-- the test graph has vertices A, B, C, D, E, F 
one sig A, B, C, D, E, F extends Vertex { } 
pred independentSet[e: Vertex->Vertex, s: set Vertex] { 
    --code here? 
} 
pred show { 
    -- setting up the edge relation 
    (A->A + A->B + A->C + A->D) + 
     (B->A + B->B + B->C + B->E) + 
      (C->A + C->B + C->C + C->F) = e 
} 
run show for 6 

Answer 1

all i, j: s | not i -> j in e 

這就是我把答案，我認爲這是某種正確的，它提供了一個實例。我認爲它缺少一點，但我不確定如何充分表達它。我希望它給你一個主意！

Answer 2

no e更短。 （但對於評論太短，所以這是一個填充。）