An elementary proof that every matroid is an intersection of principal transversal matroids.

Geoffrey P. Whittle

Published in: Discret. Math. (1985)

Keyphrases

submodular functions
greedy algorithm
combinatorial optimization
independent set
energy function
theorem prover
theorem proving
facility location problem
information retrieval
proof planning
objective function
convex optimization
linear logic
school children
intersection points
data sets
case study
neural network