{"id":"palomar/PALOMAR-2026-10-28-000005","url":"https://github.com/jtraverso/edmonds-matroid-intersection/tree/824e019d4c845e8d0ebd8638fd94f19040115cbd","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-28-000005-v1.json","repo":"https://github.com/jtraverso/edmonds-matroid-intersection","tags":["math.CO","msc:05B35","msc:90C27"],"score":0,"title":"Edmonds cardinality matroid intersection","trust":"high","domain":"math.CO","source":"palomar","authors":["Juan Pablo Traverso Gianini"],"reviews":0,"subject":"math.CO","summary":"Cardinality min-max theorem for two finite Mathlib matroids with the same ground, attained primal-dual certificates, exact-size feasibility and the equal-rank common-base criterion.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-28","reactions":{},"formalized":true,"formalizes":[{"title":"Submodular Functions, Matroids, and Certain Polyhedra","identifier":"doi:10.1007/3-540-36478-1_2","relationship":"formalizes"},{"title":"Combinatorial Optimization: Polyhedra and Efficiency","identifier":"","relationship":"adapts"},{"title":"Lean Pool finite natural matroid rank interface","identifier":"","relationship":"adapts"}]}