Вторая лекция

Содержание:

Лемма 1

Если в графе имеется $(u, v)$-маршрут,

то в нём имеется и простая $(u, v)$-цепь.

Определение

Простая цепь - маршрут без повторений вершин

Доказательство

u --- * --- * --- v
      |     |
      * --- *

Лемма 2

Если из графа удалить разрез,

то число компонентов связности увеличится на 1.

Доказательство

  1. Удаляем мост $e = uv$ $u \neq v$
    1. Нет $e$ $w, v$
    2. Есть $e$ $w, u$
  2. $S = e_1, e_2, …, e_t$ $t>1$ $G’ = G{e_1, e_2, …, e_{t-1}}$

Теорема 1

Для любого $(n, m, k)$-графа выполняется:

​ $n-k \leq m$

Доказательство

Индукция по числу рёбёр


$n-k = r(G)$ $rank(G)$

Теорема 2 (Д. Кёнига)

Ненулевой граф является двудольным $\Leftrightarrow$ не содержит циклов нечётной длины.

Доказательство

($\Rightarrow$) Необходимость

Методом пристального взгляда

* * *
|/|/|
* * *

($\Leftarrow$) Достаточность

Зафиксируем вершину $v_0$

Разделим множество вершин, на два: с четной длиной маршрута до $v_0$ и с нечетной.

$V = V_0 \cup V_1$ $v_0 \rightarrow … \rightarrow n$

$e = uv$ $u,v \in V_i$

$v_0 \rightarrow … \rightarrow u$ $P_1$

$v_0 \rightarrow … \rightarrow v$ $P_2$

              P1
(v0) --- (w) ---- (u)
		   \       |
            \____ (v)
              P2

Матрица смежности

$G = (V, E)$ $v_1, v_2,.., v_n$ $A = A(G) = (\alpha_{ij}){n×n}$ $\forall i, j:\alpha{ij} = \alpha_{ji}$

$T^{-1}A_1T = A_2$ $det(xE-a)$

$\sum\limits_{j=1}^n \alpha_{ij} = deg(v_i)$

$\sum\limits_{i=1}^n \alpha_{ij} = deg(v_j)$

Матрица Кирхгофа

$G=(V,E)$ - обыкновенный граф

​ $v_1, v_2, .., v_n$

$B = B(G) = (\beta_{ij})_{n×n}$ $$ B = \begin{bmatrix} deg(v_1)& …& 0
…& deg(v_2)& …
0& …& deg(v_n) \end{bmatrix}

$\sum\limits_{i=1}^n \beta_{ij} = 0$

Лемма 3

Все алгебраические дополнения к элементам матрицы Кирхгофа - одинаковы.

Доказательство

$G$ $B=(\beta_{ij})_{n×n}$ $det B$

Сумма столбцов равна 0.

$r(B) = \leq n-1$

1 сл.: $r(B) < n-1$ $B_{ij} = 0$

2 сл.: $r(B) = n-1$ $B B’- (det B) E = 0_{n×n}$

$B X_{n×1} = 0{n×1}$ $d = n - r(B) = 1$ $R^n$ 1 = $[1]{n×1}$ $B$ 1 $= 0$

$X = \lambda$ 1 1$^t B = 0_{n×n}$