KDAriane

Mtminer » Historique » Révision 3

Révision 2 (François Rioult, 17/01/2011 13:36) → Révision 3/9 (François Rioult, 17/01/2011 13:36)

h1. Mtminer 

 h2. Synopsis 

 mtminer computes levelwisely the minimal transversals of a hypergraph [1] 

 h2. Example 

 <pre> 
 

 $ cat > /tmp/test 
 1 2  
 2 3  
 ^D 
 $ mtminer /tmp/test 
 2  
 # depth 2 
 1 3  
 </pre> 

 h2. Reference 

 [1] Céline Hébert, Alain Bretto, Bruno Crémilleux: Optimizing hypergraph transversal computation with an anti-monotone constraint. SAC 2007: 443-444