Browsing University of Waterloo by Subject "excluded minor characterization"
Now showing items 1-2 of 2
-
Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover
(University of Waterloo, 2024-01-23)A matroid is a mathematical object that generalizes the notion of linear independence of a set of vectors to an abstract independence of sets, with applications to optimization, linear algebra, graph theory, and algebraic ... -
The search for an excluded minor characterization of ternary Rayleigh matroids
(University of Waterloo, 2008-01-24)Rayleigh matroids are a class of matroids with sets of bases that satisfy a strong negative correlation property. Interesting characteristics include the existence of an efficient algorithm for sampling the bases of a ...