×

Using a computer in matroid theory research. (English) Zbl 1063.05030

The author introduces his computer program Macek for structural computations with matroids representable over finite (partial) fields. Using his program, he is able to find all the 56 ternary excluded minors for the class of branch-width 3. He uses the result that a ternary excluded minor of the class of branch-width 3 has at most 14 elements [R. Hall, J. Oxley, C. Semple and G. Whittle, J. Comb. Theory, Ser. B 86, 148–171 (2002; Zbl 1034.05011)].

MSC:

05B35 Combinatorial aspects of matroids and geometric lattices
68R05 Combinatorics in computer science

Citations:

Zbl 1034.05011
PDFBibTeX XMLCite