Email Gateway (Aug 22 2022 at 18:46): Email Gateway (Aug 22 2022 at 18:46):From: Tobias Nipkow <nipkow@in.tum.de>
Matroids
Jonas Keinholz
This article defines the combinatorial structures known as Independence Systems
and Matroids and provides basic concepts and theorems related to them. These
structures play an important role in combinatorial optimisation, e. g. greedy
algorithms such as Kruskal's algorithm. The development is based on Oxley's
`What is a Matroid?'.
Enjoy!
smime.p7s
Last updated: Apr 19 2024 at 01:05 UTC