Первоначально матроиды были введены обобщать понятия линейной независимости совокупности подмножеств над некоторыми основаниями установить . Некоторые проблемы, которые содержат эту структуру, позволяют жадным алгоритмам находить оптимальные решения. Позднее понятие жадных текстов было введено для обобщения этой структуры, чтобы охватить больше проблем, позволяющих найти оптимальные решения жадными методами.I
Как часто эти структуры возникают при разработке алгоритмов?
Кроме того, чаще всего жадный алгоритм не сможет полностью охватить то, что необходимо для нахождения оптимальных решений, но все же может найти очень хорошие приближенные решения (например, Bin Packing). Учитывая это, есть ли способ измерить, насколько «близка» проблема к жадности или матроиду?