Interested Article - Граф (математика)

????????????????? ???? ? ?????? ????????? ? ????? ???????

???? — ?????????????? ?????????? ???????? ??????? ????? ???????, ??????? ??????? ???????? ??????? ???????. ???? ??? ?????????????? ?????? ???? ???????????? ???? ???????? — ????????? ????? ????????, ??????????? ?????????? ?????? , ? ????????? ?? ?????? ??????, ??????????? ?????????? ?????. ??????? ????????? ????? ???? ???? ????????? ????????? ??????.

????? ??????? ??????? ?????????? ? ??????????? ????? ? ???????. ??? ???????????? ? ? ???????????? ?????? (?????? ? ?????) ? ? ?????????? ?????? (????????, ??????????), ?? ?????????? ????????? ?????????? ?????? ???????? ? ??????????? ? ??????? ???????????.

? ???????? ??????????? ??????? ?? ????? ????? ???????? ????? ????????? ???????????? ????????????, ??????? ???????????? ??????, ??? ????????? ????? ???????? ??????, ? ??????? — ?????, ??????????? ???? ???????. ?????? ????????? ? ?????????? ????? ???????? ??????: ?????, ????? ? ????? ???????? ?????????, ? ????? ?????????? ??????????? ?????? ? ????? ? ????? ? ????? . ???????? ????????? ???????????? ??????????????? ?????? , ? ??????? ?????? — ??????? ?????, ? ??????????? — ???? ( ???????????? ????? ).

????? ???????? ???????? ???????? ???????? ?????? ?????? .

???????????

???????????? ??????? ??????? ???????? ??????? ???????? ??????? ?????????????, ??????? ?????????? ????? ????????? ?????. ?????????? ??????????? ?????? ? ??????????, ??????????? ??????? ???????, ???????? ??????? ???? .

??????? ????

?????? ????????? ?????????????????? ?????

???????????. ??????? ???? $G(V,E)$ $G(V,E)$ ???? ???????????? ???? ???????? – ????????? ????????? $V$ $V$ ? ????????? $E$ $E$ ??????????????? ??? ????????? ????????? ????????? $V$ $V$ . ????????? $V$ $V$ ?????????? ?????????? ?????? , ????????? $E$ $E$ ?????????? ?????????? ?????

G(V,E)=\left\langle V,E\right\rangle ,\quad V\neq \varnothing ,\quad E\subseteq V\times V,\quad \left\{v,v\right\}\notin E,\quad v\in V

G(V,E)=\left\langle V,E\right\rangle ,\quad V\neq \varnothing ,\quad E\subseteq V\times V,\quad \left\{v,v\right\}\notin E,\quad v\in V

,

?? ???? ????????? $E$ $E$ ??????? ?? 2-?????????? ??????????? ????????? $V$ $V$ .

????????????? ???????

?????? ?????? ?? ???????? ??????????? ?????????????. ??????? ? ????????? ??????????? ????? ?????????????? ???????, ???????? ?? ??????????? ????.

??????? (????, ?????) ( ????. vertex, node, point) ????? $G$ $G$ ???? ??????? ????????? ?????? $v\in V(G)$ $v\in V(G)$ ;

????? (?????) ( ????. edge, line) ????? $G$ $G$ ???? ??????? ????????? ????? $e\in E(G)$ $e\in E(G)$ , ??? $e=\left\{v_{1},v_{2}\right\}$ $e=\left\{v_{1},v_{2}\right\}$ , ??? $v_{1}\in V(G),\quad v_{2}\in V(G)$ $v_{1}\in V(G),\quad v_{2}\in V(G)$ ;

?????????? ????? $G$ $G$ ?????????? ??? ??????? $v\in V(G)$ $v\in V(G)$ ? ????? $e\in E(G)$ $e\in E(G)$ ?????;

??????? ( ????. order) ????? $G$ $G$ ???? ???????????? ????? ????????? ?????? $n=|V(G)|$ $n=|V(G)|$ ???, ??????? ???????, ?????????? ??????;

?????? ( ????. size) ????? $G$ $G$ ???? ???????????? ????? ????????? ????? $m=|E(G)|$ $m=|E(G)|$ ???, ??????? ???????, ?????????? ?????;

??????? $v$ $v$ ?????????? ( ????. incident) ????? $e$ $e$ , ???? $v\in e$ $v\in e$ ; ????? ??? ???????, ??? $e$ $e$ ???? ????? ??? $v$ $v$ ;

???????? ??????? (?????) ( ????. endvertices, ends) ???? ??? ???????, ??????????? ?????. ????? ????????? ( ????. joins) ???? ???????? ???????;

???????? (???????) ??????? ( ????. neighbours, adjacent) ???? ????? ??????? $v_{1}$ $v_{1}$ ? $v_{2}$ $v_{2}$ ??? $\left\{v_{1},v_{2}\right\}\in E(G)$ $\left\{v_{1},v_{2}\right\}\in E(G)$ ???, ???????, ??????? ??? ??????? ???????? ????????? ??? ?????? ?????;

??????? ????? ( ????. adjacent edges) ??? ?????, ??????????? ????? ??????? ??? $e_{1}=\left\{v,v_{1}\right\}$ $e_{1}=\left\{v,v_{1}\right\}$ ? $e_{2}=\left\{v,v_{2}\right\}$ $e_{2}=\left\{v,v_{2}\right\}$ - ???????;

??????? (???????????) ??????? ( ????. degree, valency) $\operatorname {\mathit {d}} \left(v\right)$ $\operatorname {\mathit {d}} \left(v\right)$ ???? ?????????? ??????????? ?? ?????.
????????????? ???????? ( ????. isolated) ?????????? ??????? ?? ???????? $d(v)=0$ $d(v)=0$ , ?? ???? ?? ???????? ?????? ?? ??? ?????? ?????;

??????? ???????? (??????) ( ????. leaf) ?????????? ??????? ?? ???????? $d(v)=1$ $d(v)=1$ , ?? ???? ??????? ???????? ?????? ????? ?????? ?????.

?????? ???? ?????????? ?????????? : ??????? – ???????, ????? – ???????.

??????????

?????????? $G(V,E)$ $G(V,E)$ ???? ???????????? ???? ???????? – ????????? ????????? $V$ $V$ ? ????????? $E$ $E$ ??????????????? ??? ????????? ????????? $V$ $V$ .

G(V,E)=\left\langle V,E\right\rangle ,\quad V\neq \varnothing ,\quad E\subseteq V\times V

G(V,E)=\left\langle V,E\right\rangle ,\quad V\neq \varnothing ,\quad E\subseteq V\times V

? ????????? ????? ??????????? ???????? ??????? $\left\{v,v\right\}\in E(G)$ $\left\{v,v\right\}\in E(G)$ .

?????? ( ????. loop) ?????????? ??????? $e=\left\{v,v\right\}$ $e=\left\{v,v\right\}$ , ?????????? ??????, ? ???????? ???????? ??????? ?????????.

??????? ???????, ???? ?????????? ????????? E ????? ???? ?????, ?? ???? ?????????? ???????????? .

??????????

???????????????? ? ???????? ??????? (???????) ? ??????? (?????).

?????????? $G(V,\mathbf {E})$ $G(V,\mathbf {E})$ ???? ???????????? ???? ???????? – ????????? ????????? $V$ $V$ ? ??????????????? $\mathbf {E}$ $\mathbf {E}$ ??????????????? ??? ????????? ????????? ????????? $V$ $V$ .

G(V,\mathbf {E})=\left\langle V,\mathbf {E} \right\rangle ,\quad V\neq \varnothing ,\quad \mathbf {E} \subseteq V\times V\quad \left\{v,v\right\}\notin \mathbf {E} ,\quad v\in V

G(V,\mathbf {E})=\left\langle V,\mathbf {E} \right\rangle ,\quad V\neq \varnothing ,\quad \mathbf {E} \subseteq V\times V\quad \left\{v,v\right\}\notin \mathbf {E} ,\quad v\in V

???????? ??????? ?????????? ?????????? ???????? ??????????????? $\left\{e,e,\dots ,e\right\}\in \mathbf {E}$ $\left\{e,e,\dots ,e\right\}\in \mathbf {E}$ , ?? ???? ?????, ??? ???????? ??????? ?????????.

??????? ??????? ???? $E$ $E$ ?? ?????????, ? ?????????, ?? ???? ???? $\mathbf {E}$ $\mathbf {E}$ ???????? ?????????? ????????, ?? ????? ???????? ?????????? ???????? ???????, ? ???? ?????????? ???????????? .

????????????????

???????????????? $G(V,\mathbf {E})$ $G(V,\mathbf {E})$ ???? ???????????? ???? ???????? – ????????? ????????? $V$ $V$ ? ??????????????? $\mathbf {E}$ $\mathbf {E}$ ??????????????? ??? ????????? ????????? $V$ $V$ .

G(V,\mathbf {E})=\left\langle V,\mathbf {E} \right\rangle ,\quad V\neq \varnothing ,\quad \mathbf {E} \subseteq V\times V

G(V,\mathbf {E})=\left\langle V,\mathbf {E} \right\rangle ,\quad V\neq \varnothing ,\quad \mathbf {E} \subseteq V\times V

??????? ???????, ???? $\mathbf {E}$ $\mathbf {E}$ – ?????????, ?????????? ?????????? ???????? (??????? ?????), ? $\mathbf {E}$ $\mathbf {E}$ ????? ????????? ?????, ?? ???? ?????????? ?????????????????? .

??????????????? ????

??????????????? ???? (??????) ( ????. directed graph or dirgaph) $G(V,E)$ $G(V,E)$ ???? ???????????? ???? ???????? – ????????? ????????? $V$ $V$ ? ????????? $E$ $E$ ??? ??? ????????????? ??? ????????? ????????? ????????? $V$ $V$

G(V,E)=\left\langle V,E\right\rangle ,\quad V\neq \varnothing ,\quad \left\langle \left\{v_{1},v_{2}\right\},\prec \right\rangle \in E,\quad v\in V

G(V,E)=\left\langle V,E\right\rangle ,\quad V\neq \varnothing ,\quad \left\langle \left\{v_{1},v_{2}\right\},\prec \right\rangle \in E,\quad v\in V

.

????????? ? ????? ?????????????

init:E\rightarrow V,\quad ter:E\rightarrow V

init:E\rightarrow V,\quad ter:E\rightarrow V

,

??? ??????????? $init:E\rightarrow V$ $init:E\rightarrow V$ ?????? ? ???????????? ?????? ???? ?? ????????? ??????? (?????? ????) $init(e)$ $init(e)$ , ? ??????????? $ter:E\rightarrow V$ $ter:E\rightarrow V$ ?????? ? ???????????? ?????? ???? ?? ???????? ??????? (????? ????) $ter(e)$ $ter(e)$ . ??????? ??? ???? $e$ $e$ ????? ?? $init(e)$ $init(e)$ ? $ter(e)$ $ter(e)$

????????? ????

????????? ???? ( ????. Mixed graph) $G(V,E,U)$ $G(V,E,U)$ — ??? ???????????? ???? ???????? – ????????? ????????? ?????? $V$ $V$ , ? ????????? ??? $E$ $E$ ??? ????????????? ??? ????????? ????????? ????????? $V$ $V$ ? ????????? ????? $U$ $U$ ??????????????? ??? ????????? ????????? ????????? $V$ $V$

G(V,E,U)=\left\langle V,E,U\right\rangle ,\quad V\neq \varnothing ,\quad \left\langle \left\{v_{1},v_{2}\right\},\prec \right\rangle \in E,\quad \left\{v_{3},v_{4}\right\}\in U,\quad v\in V

G(V,E,U)=\left\langle V,E,U\right\rangle ,\quad V\neq \varnothing ,\quad \left\langle \left\{v_{1},v_{2}\right\},\prec \right\rangle \in E,\quad \left\{v_{3},v_{4}\right\}\in U,\quad v\in V

.

????????? ? ????? ?????????????

init:E\rightarrow V,\quad ter:E\rightarrow V

init:E\rightarrow V,\quad ter:E\rightarrow V

??????????????? ? ????????????????? ????? ???????? ???????? ???????? ??????????.

?????????? ?????

???? $G$ $G$ ?????????? ?????????? ????? $H$ $H$ , ???? ?????????? ??????? $f$ $f$ ?? ????????? ?????? ????? $G$ $G$ ? ????????? ?????? ????? $H$ $H$ , ?????????? ????????? ?????????: ???? ? ????? $G$ $G$ ???? ????? ?? ??????? $A$ $A$ ? ??????? $B$ $B$ , ?? ? ????? $H$ $H$ ?????? ???? ????? ?? ??????? $f(A)$ $f(A)$ ? ??????? $f(B)$ $f(B)$ ? ???????? — ???? ? ????? $H$ $H$ ???? ????? ?? ??????? $A$ $A$ ? ??????? $B$ $B$ , ?? ? ????? $G$ $G$ ?????? ???? ????? ?? ??????? $f^{-1}(A)$ $f^{-1}(A)$ ? ??????? $f^{-1}(B)$ $f^{-1}(B)$ . ? ?????? ???????????????? ????? ??? ??????? ????? ?????? ????????? ?????????? ?????. ? ?????? ??????????? ????? ??????? ????? ?????? ????????? ??? ?????.

?????? ????????? ???????????

????????? ? ????? ???????? ???????? ?????????????????? ??????, ? ??????? ?????? ??????? (????? ?????????) ????????? ?? ????????? ? ?????????????????? ???????? ??????. ????? ?????????? ??????? ??? ????????????? ?????. ??????? ????? ?????????? ??????? ??? ????????????? ?????? (?????? ???????, ??? ? ??????? ???? ??? ????????????? ?????).

??????????????? ????????? (??? ????? ) ? ??????? ???????? ???????? ?????????????????? ?????? ? ???, ? ??????? ?????? ??????? ?????????? ??????????? ? ????????????.

?????? ???????? ????, ? ??????? ?????? ? ????????? ??????? ?????????. ??? ???? ?????? ???? (??? ?????) ???????? ????? ???????????? ??? ????? . ???????, ??? ???? ??????? $u$ $u$ ? $v$ $v$ ???????? ??????? ?????????? ?????, ?? ???????? ??????? ???????????, ?????????????????? $(u,v,u)$ $(u,v,u)$ ???????? ??????. ????? ???????? ????? «???????????» ???????, ?????? ????????? ???????.

???? (??? ????) ???????? ??????? , ???? ????? ? ??? ?? ???????????; ???????????? , ???? ?? ??????? ? ??????? ? ??? ?? ??????????? (?? ??????????? ????????? ? ???????? ? ?????? ?????).

?????????? ???????? ????? ? ??????:

?????? ????, ??????????? ??? ???????, ???????? ???????????? ????, ??????????? ?? ?? ??? ???????;
?????? ??????? ?????????????? ???? ???????? ???????????? ???? ;
?????? ??????? ????, ?????????? ????? ????????? ??????? (??? ?????), ???????? ???????????? (???-)????, ?????????? ????? ?? ?? ??????? (??? ?????);
????? — ???????????? ????.

???????? ????????? ?? ????????? ?????? ?????, ???????? ??? «?????????? ???? ?? $u$ $u$ ? $v$ $v$ », ???????? ?????????? ??????????????? ?, ?????????????, ????????? ??? ????????? ?? ?????? ???????????????, ?????????? ???????????? ????????? ?????. ???? ? ????? ????? ???? ?????????? ?????????, ?? ???? ???????. ?? ?????????? ????????? ????? ?????? ??????? ?????????? ????? ????????? ??? ??????????? ????? ????, ???????????? ??? ???????.

?????? ???????????? ??????? ??????? ????? $G$ $G$ ?????????? ??????? ??????????? (??? ?????? ???????????) ????? $G$ $G$ . ????? «????????????» ???????? ???????????? ???????????? ?????????, ?? ???? ?? ???????????? ? ??????? ???????? ? ??????? ?????? ?????????.

????? ????? ?????????? ?????? , ???? ??? ???????? ??????????? ????? ?????????.

?????????????? ?????????????? ??????

???? ??????????:

??????? , ???? ??? ????? ?????? $u$ $u$ , $v$ $v$ ???? ???? ?? $u$ $u$ ? $v$ $v$ .
?????? ??????? ??? ?????????????? ??????? , ???? ?? ???????????????, ? ?? ????? ??????? ? ????? ?????? ??????? ??????????????? ????.
??????? , ???? ?? ??????? ? ?? ???????? ????????????? ??????.
?????? , ???? ????? ??? ??? (?????????, ???? ?? ??????????? ?????) ??????? ????????? ??????.
?????????? , ???? ??? ??????? ????? ??????? ?? ??? ???????????????? ???????????? $V_{1}$ $V_{1}$ ? $V_{2}$ $V_{2}$ ???, ??? ?????? ????? ????????? ??????? ?? $V_{1}$ $V_{1}$ ? ???????? ?? $V_{2}$ $V_{2}$ .
k-??????? , ???? ??? ??????? ????? ??????? ?? $k$ $k$ ???????????????? ??????????? $V_{1}$ $V_{1}$ , $V_{2}$ $V_{2}$ , …, $V_{k}$ $V_{k}$ ???, ??? ?? ????? ?????, ??????????? ??????? ?????? ? ???? ?? ????????????.
?????? ?????????? , ???? ?????? ??????? ?????? ???????????? ????????? ?????? ? ?????? ???????? ??????? ????????????.
????????? , ???? ???? ????? ?????????? ?????????? ?? ????????? ??? ??????????? ?????.
?????????? , ???? ??????? ????? ????? ?????????? ? ???????????? ????????? ?????, ?????????? ????? ?????.
?????????? , ???? ???? ?? ???????? ?????????????? ?????? ? ?????? ?????? ????.

????? ??????:

k-??????????????
k-?????????????

????????? ??????? ?????

??????? ???? ???????? ?????????? ?????????????? ?????????? .

????? ??????????, ???? ????? ?????? ??? ?????? $(V,E,\varphi)$ $(V,E,\varphi)$ , ??? $V$ $V$ ? $E$ $E$ — ????????? ????????? ( ?????? ? ????? , ?????.), ? $\varphi$ $\varphi$ — ??????? ????????????? (??? ?????????? ), ?????????????? ??????? ????? $e\in E$ $e\in E$ (????????????? ??? ???????????????) ???? ?????? $u$ $u$ ? $v$ $v$ ?? $V$ $V$ (??? ?????? ). ???????? ???????? ????? ??????? ????????:

???????? ????? — ????, ? ??????? ?????????? ??????????? ??????? ???? ( ??????? ???? );

??????? ????????????? ????? ? ???????????

??????? ?????????

???????, ??? ??? ???????, ??? ? ?????? ????????????? ???????? ?????. ? ?????? ?????? ???? ??????? ???????????? ?????, ???????????? ??????? ????? ?? ???????-?????? ? ???????-??????? (???? ????????).

??? ???????? ??????? ?????? ????????????? ??????? ??????.

??????????? ???????? ?????????? ? ??????, ????? ???????????????? ???????? ?????????? ??????.

????????? ??????;
??????? ? ??????????;
??????? ??????? (??? ?????? ???????).

??????? ?????????????

???????, ??? ?????? ????????????? ???????? ?????, ? ??????? ????????????? ?????? (??????) ?????. ? ?????? ??????? ?? ??????????? ?????? $i$ $i$ ?? ???????? $j$ $j$ ????????????:

1: ? ??????, ???? ????? $j$ $j$ «???????» ?? ??????? $i$ $i$ ,
?1,: ???? ????? «??????» ? ???????,
0: ?? ???? ????????? ??????? (?? ???? ???? ????? ???????? ?????? ??? ????? ?? ?????????? ???????)

?????? ?????? ???????? ???????? ????? (?????? ?????????????? $|V||E|$ $|V||E|$ ) ??? ????????, ??????? ??????????? ????? ?????, ? ?????? ??????? (????????, ??? ???????? ?????????? ?????? ? ?????).

?????? ?????????

??????, ??? ?????? ??????? ????? ????????????? ??????, ? ??????? ???????? ?????? ??????? ??????. ????? ????????? ?????? ?? ???????? ???????? ? ??????? ?????????, ? ???????????? ????? «?????? ???????».

?????? ?????????? ??????: $O(|V|+|E|)$ $O(|V|+|E|)$ .

??? ???????? ??????? ?????? ??? ????????????? ??????????? ??????, ? ????? ??? ?????????? ??????? ?????????? ?????? ????? ? ?????? ??? ???????, ??? ????? ?????? ???????? «???????» ??????? ??????????????? ???????.

?????? ?????

??????, ??? ??????? ????? ????? ????????????? ??????, ? ??????? ???????? ??? ???????, ??????????? ?????.

?????? ?????????? ??????: $O(|E|)$ $O(|E|)$ .

??? ???????? ?????????? ?????? ????????????? ??????, ??????? ????? ??????????? ??? ???????? ???????? ??? ?????? ???????.

????? ???????? ? ????????? ?????????? ??????

????? ????????

??? ???????? ??????, ?????????? ??? ???????? ????????? ? ???????????? ???????? ??? ????????????? ??????????, ???????????? ????????? ??????????????????? ??????, ????? ???????:

????????? ??? ??????????

??????????? ????? ???????????? ???????? ??? ?????????? ??????, ???, ?????????? ?????? ????? ? ?????? ?????????? ??????????? ??????? ????? ILOG (? 2009 ???? ??????????? ?????????? IBM ), ????? ?????? ???????? — GoView, Lassalle AddFlow, LEDA (???? ?????????? ????????).

????? ?????????? ????????? ????????? ??? ?????????? ?????? ? ????????? ?????????? Boost .

????????? ??? ????????????

??? ???????????? ?????? ??????????? ????????? ??????????? ????????:

Graphviz ( Eclipse Public License )
LION Graph Visualizer.
??????????????? — ????????????? ?????????, ? ??????? ???????????????? ??????????? ( GNU LGPL ; ?????? ??? Windows).
Gephi — ??????????? ???????? ??? ????????????? ? ???????? ?????? ( GNU GPL , CDDL ).
— ????????????? ????????? ??? ????????????? ? ???????? ?????? ( freeware )
?????????? GraphX — ????????? ?????????? ??? .NET ??? ??????? ? ????????? ??????, ?????????? WPF 4.0 .
?????????? MSAGL — ????????? ?????????? ??? .NET .

??. ?????

??????????

, ?. 3.
? , ?. 6.
(?????.) . research.microsoft.com. ???? ?????????: 15 ?????? 2015. 14 ??? 2012 ????.

??????????

???????????? ?. ?. ?????? ??????. — ?????: ???????????? ???????? ???????????????? ????????????, 2014. — ?. 1. — 200 ?.
??????? ?. ?????? ??????. — ???????????: ???????????? ????????? ?????????? ??. ?. ?. ???????? ?? ???, 2002. — 336 ?. — ISBN 5-86134-101-?.
???????? ?. ?., ????????? ?. ?., ???????? ?. ?., ???????? ?. ?. ?????? ?? ?????? ??????. ?.: ?????, 1990. 384?. (???.2, ????. ?.: ????, 2009. 392 ?.)
???????? ?. ?., ?????????? ?.?. ????? ? ????????????????: ?????????, ???????????? ? ??????????. — ???. : ???-?????????, 2003. — ?. 1104. — ISBN 5-94157-184-4 .
???????? ?. ?. ????? ? Maple. — ?. : ?????????, 2007. — 168 ?. — ISBN 978-5-9221-0745-7 .
?????? ?. ?. ? ??. ????? VI. ????????? ??? ?????? ? ??????? // ?????????: ?????????? ? ?????? = Introduction to Algorithms. — 2-? ???. — ?. : ???????, 2006. — ?. 1296. — ISBN 0-07-013151-1 .
??? ?. ?????? ??????. — ?. : ?????, 1968. — 336 ?.
????? // / ????. ?. ?. ?????. — ?. : ?????????? , 1985. — ?. -88. — 352 ?.
????? ?. ?., ????????? ?. ?. ?????????????? ?????? ?????? ?????????? ??????. — ?. : ??????-?????????????? ??????????, 1997. — ISBN 5-02-015033-9 .
?????? ?. ???????? ? ?????? ??????. — ?. : ???, 1977. — 208 ?.
?????? ?. ?????? ??????. — ?. : ???, 1973.