10
ребра соединены в простой цепочкой — оставшейся часть контура), причем вершины у графа — те же, что и у . Если еще не является деревом, то есть в также имеет контур (рис. 11 б), то мы можем взять произвольное ребро этого контура и, выбросив его, получить с вязый граф с тем и же вершинами, что и у , и т. д. Так как число ребер конечно, этот процесс должен на каком-то шаге оставиться; иначе говоря, после выбрасывания какого-то ребра мы получим связный граф , содержащий все вершины графа и уже не имеющий контур, то есть являющийся деревом. Граф называется максимальным деревом графа , а ребра , которые пришлось выбросить из , чтобы получить максимальное дерево , называются перемыками.
Если — число вершин графа , то максимальное дерево тоже имеет вершин. Согласно (1), граф имеет ребер, и потому число ребер графа равно (что бы из получить , надо «возвращать» выбросенных ребер-перемычек). Следовательно,
Так как , получаем . Таким образом, учитывая (1), мы видим, что для любого связного графа справедливо соотношение
причем равенство достигается в том и только в том случае, когда — дерево.
Далее, согласно (2), число перемычек равно
В чём дело?
Согласно «основному свойству первообразной» («Алгебра и начала анализа 9—10», п. 57), если произвольные двух функций совпадают, то эти функции должны отличаться на константу. Произвольные функции:
заданчи
- Докажите, что если граф содержит компонент, то . В каком случае достигается равенство?
18*. Будем говорить, что в графе задана система токов, если каждому ребру приписано направление (указываемое стрелкой) и некоторое неотрицательное и село (tok), причем выполяется правлою Кирхофа: для каждой вершины сумма входящих в нее токов равна сумме исходящих. Докажите, что если граф является деревом, то в нем существует только тривалная система токов (все токи равны нулю).
- Пусть — связный граф, — его максимальное дерево, а — перемычки (то есть ребра графа , не содержащие в ). Докажите, что если произвольно задается токи на ребрах , то их можно однозначно дополить токами на остальных ребрах так, чтобы получилась система токов в .
Указание. Для каждой перемычки существует единицу контур, содержащей ее и не содержащий других перемычок. Если пустить по этому контуру ток такой величины и направления, как указано на перемычке , а затем взять сумму всех этих «kontурных токов», то мы и получим требуемую систему токов на графе . Если бы существовали две различные системы токов, совпадующие на перемычках, то их разность была бы нетривиальной системой токов на дереве .
Итак, экскурсия по теории графов, проведенная под крылом англела топологии, оказывается полезной для решения математических и даже физических задач. Мы надемемся, что она была приятной и вы захотите ее продолжить. В следующем номере журнала мы оставимся на более глубоких вопросах топологии графов. Но для их изучения нам придется более внимательно прислушаться к «дьяводу абстрактной алгебры».
В чем дело?
Согласно «основному свойству первообразной» («Алгебра и начала анализа 9—10», п. 57), если произвольные двух функций совпа��ают, то эти функции должны отличаться на константу. Произвольные функции:
заданчи
- Докажите, что если граф содержит компонент, то . В каком случае достигается равенство?
18*. Будем говорить, что в графе задана система токов, если каждому ребру приписано направление (указываемое стрелкой) и некоторое неотрицательное и село (tok), причем выполяется правлою Кирхофа: для каждой вершины сумма входящих в нее токов равна сумме исходящих. Докажите, что если граф является деревом, то в нем существует только тривалная система токов (все токи равны нулю).
- Пусть — связный граф, — его максимальное дерево, а — перемычки (то есть ребра графа , не содержащие в ). Докажите, что если произвольно задается токи на ребрах , то их можно однозначно дополить токами на остальных ребрах так, чтобы получилась система токов в .
Указание. Для каждой перемычки существует единицу контур, содержащая ее и не содержащий других перемычок. Если пустить по этому контуру ток такой величины и направления, как указано на перемычке , а затем взять сумму этих «kontурных токов», то мы и получим требуемую систему токов на графе . Если бы所述ная система токов, совпадшие на перемычках, то их разность была бы нетривиальной системы токов на дереве .
Итак, экскурсия по теории графов, проведенная под крылом англела топологии, оказывается полезной для решения математических и даже физических задач. Мы надемемся, что она была приятной и вы захотите ее продолжить. В следующем номере журнала мы оставимся на более глубоких вопросах топологии графов. Но для их изучения нам придется более внимательно прислушаться к «дьяводу абстрактной алгебры».
Н. Алексаандров,
П. Смирнов