Jump to content
miguelsilva94

Melhorar implementação geradores quickcheck

Recommended Posts

miguelsilva94

Boa tarde,

Tenho uma dúvida em relação a propriedade quickcheck. Não sei se me podem ajudar, de qualquer forma deixo a dúvida. Obrigado desde já.

Grafos têm estas propriedades:

O tipo Edge representa uma aresta entre dois nodos

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

O tipo Graph representa um grafo orientado

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

A função isDAG testa se um grafo é acíclico.

isDAG :: Ord v => Graph v -> Bool
isDAG g = isValid g && all nocycle (nodes g)
where nocycle v = all (\a -> v `notMember` reachable g a) $ Set.map target (adj g v)

A função isForest testa se um grafo acíclico é uma floresta, ou seja, um conjunto de árvores

isForest :: Ord v => DAG v -> Bool
isForest g = isDAG g && all (\v -> length (adj g v) <= 1) (nodes g)

Os geradores

Gerador de DAGs

dag ::(Ord v, Arbitrary v)=> Gen (DAG v)
dag = arbitrary `suchThat` isDAG

Gerador de Florestas

forest ::(Ord v, Arbitrary v)=> Gen (Forest v)
forest = arbitrary `suchThat` isForest

Estes geradores são necessários para testar propriedades sobre estas classes de grafos.

Usando os combinadores para definir propriedades quickcheck, como melhoro a implementação destes geradores por forma a serem menos enviesados (sem estarem definidos com o suchThat)?

Edited by miguelsilva94
Removida formatação desnecessária. Syntax highlight.

Share this post


Link to post
Share on other sites
SoberDrunk

Olá,

Não tenho nenhuma sugestão concreta para o teu problema - concordo que usando o suchThat não é a forma mais eficiente.

Noto apenas que na definição do tipo Graph repetiste a definição de Edge.

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

×
×
  • Create New...

Important Information

By using this site you accept our Terms of Use and Privacy Policy. We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.