• What matroid is?
• Matroid is a structure that abstracts and generalizes the notion of linear independence in
vector spaces.
Here goes the formal definition. Matroid is a pair ⟨X,I⟩
• where X is called ground set and I is set of all independent subsets of X. In other words
matroid ⟨X,I⟩ gives a classification for each subset of X to be either independent or dependent
(included in I or not included in I).
• Of course, we are not speaking about arbitrary classifications. These 3 properties must hold
for any matroid:
• Empty set is independent.
• Any subset of independent set is independent.
• If independent set A
• has smaller size than independent set B
• , there exist at least one element in B
• that can be added into A
• without loss of independency.
• These are axiomatic properties of matroid. To prove that we are
dealing with matroid, we generally have to prove these three
properties.
• For example, explicit presentation of matroid on ground set {x,y,z}
• which considers {y,z}
• and {x,y,z}
• to be dependent and marked red. Other sets are independent and
marked green.