Квант

10

ребра rr соединены в G′G' простой цепочкой — оставшейся часть контура), причем вершины у графа G′G' — те же, что и у GG. Если G′G' еще не является деревом, то есть в G′G' также имеет контур (рис. 11 б), то мы можем взять произвольное ребро r2r_2 этого контура и, выбросив его, получить с вязый граф G′′G'' с тем и же вершинами, что и у GG, и т. д. Так как число ребер конечно, этот процесс должен на каком-то шаге оставиться; иначе говоря, после выбрасывания какого-то ребра rkr_k мы получим связный граф G∗G^*, содержащий все вершины графа GG и уже не имеющий контур, то есть являющийся деревом. Граф G∗G^* называется максимальным деревом графа GG, а ребра r1,r2,...,rkr_1, r_2, ..., r_k, которые пришлось выбросить из GG, чтобы получить максимальное дерево G∗G^*, называются перемыками.

Если BB — число вершин графа GG, то максимальное дерево G∗G^* тоже имеет BB вершин. Согласно (1), граф G∗G^* имеет B−1B-1 ребер, и потому число ребер графа GG равно B−1+kB-1+k (что бы из G∗G^* получить GG, надо «возвращать» kk выбросенных ребер-перемычек). Следовательно,

χ(G)=B−(B−1+k)=1−k.(2)\chi(G) = B - (B-1+k) = 1-k. \quad (2)

Так как k≥1k \ge 1, получаем χ(G)≤0\chi(G) \leq 0. Таким образом, учитывая (1), мы видим, что для любого связного графа GG справедливо соотношение

χ(G)≤1,\chi(G) \leq 1,

причем равенство достигается в том и только в том случае, когда GG — дерево.

Далее, согласно (2), число перемычек равно

k=1−χ(G).k = 1 - \chi(G).

В чём дело?

Согласно «основному свойству первообразной» («Алгебра и начала анализа 9—10», п. 57), если произвольные двух функций совпадают, то эти функции должны отличаться на константу. Произвольные функции:

a)y1=11−x2a) y_1 = \frac{1}{1-x^2}

n)y2=x21−x2,n) y_2 = \frac{x^2}{1-x^2},

заданчи

  1. Докажите, что если граф GG содержит ll компонент, то χ(G)≤l\chi(G) \leq l. В каком случае достигается равенство?

18*. Будем говорить, что в графе GG задана система токов, если каждому ребру приписано направление (указываемое стрелкой) и некоторое неотрицательное и село (tok), причем выполяется правлою Кирхофа: для каждой вершины сумма входящих в нее токов равна сумме исходящих. Докажите, что если граф является деревом, то в нем существует только тривалная система токов (все токи равны нулю).

  1. Пусть GG — связный граф, G∗G^* — его максимальное дерево, а r1,r2,...,rkr_1, r_2, ..., r_k — перемычки (то есть ребра графа GG, не содержащие в G∗G^*). Докажите, что если произвольно задается токи на ребрах r1,r2,...,rkr_1, r_2, ..., r_k, то их можно однозначно дополить токами на остальных ребрах так, чтобы получилась система токов в GG.

Указание. Для каждой перемычки rir_i существует единицу контур, содержащей ее и не содержащий других перемычок. Если пустить по этому контуру ток такой величины и направления, как указано на перемычке rir_i, а затем взять сумму всех этих «kontурных токов», то мы и получим требуемую систему токов на графе GG. Если бы существовали две различные системы токов, совпадующие на перемычках, то их разность была бы нетривиальной системой токов на дереве G∗G^*.

Итак, экскурсия по теории графов, проведенная под крылом англела топологии, оказывается полезной для решения математических и даже физических задач. Мы надемемся, что она была приятной и вы захотите ее продолжить. В следующем номере журнала мы оставимся на более глубоких вопросах топологии графов. Но для их изучения нам придется более внимательно прислушаться к «дьяводу абстрактной алгебры».

В чем дело?

Согласно «основному свойству первообразной» («Алгебра и начала анализа 9—10», п. 57), если произвольные двух функций совпа��ают, то эти функции должны отличаться на константу. Произвольные функции:

a)y1=11−x2a) y_1 = \frac{1}{1-x^2}

n)y2=x21−x2,n) y_2 = \frac{x^2}{1-x^2},

заданчи

  1. Докажите, что если граф GG содержит ll компонент, то χ(G)≤l\chi(G) \leq l. В каком случае достигается равенство?

18*. Будем говорить, что в графе GG задана система токов, если каждому ребру приписано направление (указываемое стрелкой) и некоторое неотрицательное и село (tok), причем выполяется правлою Кирхофа: для каждой вершины сумма входящих в нее токов равна сумме исходящих. Докажите, что если граф является деревом, то в нем существует только тривалная система токов (все токи равны нулю).

  1. Пусть GG — связный граф, G∗G^* — его максимальное дерево, а r1,r2,...,rkr_1, r_2, ..., r_k — перемычки (то есть ребра графа GG, не содержащие в G∗G^*). Докажите, что если произвольно задается токи на ребрах r1,r2,...,rkr_1, r_2, ..., r_k, то их можно однозначно дополить токами на остальных ребрах так, чтобы получилась система токов в GG.

Указание. Для каждой перемычки rir_i существует единицу контур, содержащая ее и не содержащий других перемычок. Если пустить по этому контуру ток такой величины и направления, как указано на перемычке rir_i, а затем взять сумму этих «kontурных токов», то мы и получим требуемую систему токов на графе GG. Если бы所述ная система токов, совпадшие на перемычках, то их разность была бы нетривиальной системы токов на дереве G∗G^*.

Итак, экскурсия по теории графов, проведенная под крылом англела топологии, оказывается полезной для решения математических и даже физических задач. Мы надемемся, что она была приятной и вы захотите ее продолжить. В следующем номере журнала мы оставимся на более глубоких вопросах топологии графов. Но для их изучения нам придется более внимательно прислушаться к «дьяводу абстрактной алгебры».

Н. Алексаандров,
П. Смирнов