Projet

Général

Profil

Mtminer » Historique » Révision 4

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

h1. Mtminer 

 h2. Synopsis 

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

 h2. Input format 

 ***Warning : each line has to end with a space character.*** 

 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