Erzeuge Kanten aus einer beliebigen Liste von Knoten

Question

data Edge v = Edge {source :: v, target :: v} 
      deriving (Show,Eq,Ord) 

data Graph v = Graph {nodes :: Set v, edges :: Set (Edge v)} 
      deriving Show 


instance Arbitrary v => Arbitrary (Edge v) where 
    arbitrary = do s <- arbitrary 
        t <- arbitrary 
        return $ Edge {source = s, target = t} 

instance (Ord v, Arbitrary v) => Arbitrary (Graph v) where 
    arbitrary = aux `suchThat` validGraph 
     where aux = do lNodes <- arbitrary 
         lEdges <- arbitrary 
         return $ Graph {nodes = fromList lNodes, edges = fromList lEdges} 

Ich habe dies derzeit, um meine Graphen zu generieren. Allerdings habe ich bei der Verwendung von Sample auf ghci festgestellt, dass es entweder keine Kanten erzeugt oder nur eine erzeugt. Ist es möglich, die Anzahl der erzeugten Kanten zu steuern? Wie würde ich es tun?

BEARBEITEN: Ein Graph wird als gültig betrachtet, wenn: 1-Die Quell- und Zielknoten einer Kante existieren. 2-A-Knoten kann nicht die Quelle für mehr als eine Kante sein.

Answer 1

Ein arbitrary Wert ist ein Wert in der Gen Monade. Sie können mehr in dieser Monade als nur kombinieren arbitrary Werte zusammen.

choose :: Random a => (a, a) -> Gen a 

Generieren ein zufälliges Element in dem gegebenen inklusiven Bereich: Sie können mit choose keines der anderen Gen Operationen ausführen.

können Sie choose verwenden als nur arbitrary diejenigen andere Zufallswerte zu erzeugen.

Diese naive Implementierung ist nicht sehr effizient beim Generieren großer Graphen. Es könnte ein Faktor der Anzahl von Knoten in der Grafik schneller sein, wenn es nicht die Liste für die generierten Werte jedes Mal, wenn es elements