Матроид

В данной статье будет рассмотрена теоретическая основа жадных алгоритмов - теория матроидов.Как потом выяснится, для этого необходимо, чтобы исследуемое множество являлось матроидом.Для этого достаточно доказать третье свойство из определения матроида.Ранг тривиального матроида равен нулю.Матроиды с маленьким числом элементов часто изображают в виде диаграмм.Эта пара множеств E, I является матроидом, ее называют графовым матроидом и обозначают M (G) .Как позже выяснится, это будет рангом некоего матроида.Все базы матроида имеют одинаковую мощность.Матроид однозначно задается носителем и базами.Асанов М.О. и др. Дискретная математика: графы, матроиды, алгоритмы.