Cтраница 4
Однако совокупность построенных таким образом расписаний в течение года ведет к минимизации среднегодовой величины незавершенного производства. Но на интервале Y0, Т ( ао) ] нет пока еще вершин множества и и более высокого уровня, а, следовательно, незавершенное производство на интервале [ ta, T ( ao) ] представлено номенклатурным составом неполностью. [46]
Пусть G ( V, V) - такой граф, локально конечный в вершинах множества V. V обозначим через V ( A) множество вершин из V, соединенных ребрами с вершинами из А. [47]
Пусть G ( F, V) - такой граф, локально конечный в вершинах множества V. Для любого подмножества A V обозначим через V ( A) множество вершин из V, соединенных ребрами с вершинами из А. [48]
Чтобы уменьшить число рассматриваемых вариантов, мы расчленим операцию замены столбца на три части. Поскольку мы соединили с корнем верхнюю вершину выбывающего ребра, то все пути, ведущие из вершин множества В ( iB [ j ]) в вершину гв [ / ] без изменения ориентации ребер продолжаются до пути, ведущего в корень. Это значит, что ориентация всех ребер графа не изменяется. [49]
Тогда ранее найденное множество В, для которого данное неравенство обращается в равенство, будет доказательством условия () теоремы. Отметим, что fA с КД ( со п) выполняется неравенство А & А ], так как вершины множества п У) составляют паросочетание. [50]
Далее, граф G не имеет изолированных вершин и поэтому для каждой из р - 2i / ( G) вершин множества U можно выбрать ребро, покрывающее ее. [51]