نظریه ماترویدها و کاربردهای آن در بهینه‌سازی