Equivalence-free exhaustive generation of matroid representations

Abstract. In this paper we present an algorithm for the problem of exhaustive equivalence-free generation of 3-connected matroids which are represented by a matrix over some finite (partial) field, and which contain a given minor. The nature of this problem is exponential, and it appears to be much harder than, say, isomorph-free generation of graphs. Still, our algorithm is very suitable for practical use, and it has been successfully implemented in our matroid computing package Macek [http://www.mcs.vuw.ac.nz/research/macek, 2002

• Type: Journal
• Year: 2006
• Where: DAM
• Authors: Petr Hlinený
• Keywords: 3-connected Matroids, Algorithm, DAM 2006, Exhaustive Equivalence-free Generation