数学专业英语-The Theory of Graphs% x9 R+ t- j; C5 J7 Q
) H9 {7 Z4 y( G In this chapter, we shall introduce the concept of a graph and show that graphs can be defined by square matrices and versa.
* m+ [ u: o8 N6 y/ [# S1 g3 ~' A; \1. Introduction # e; q6 ~: b! p! x2 o% L$ _: R
Graph theory is a rapidly growing branch of mathematics. The graphs discussed in this chapter are not the same as the graphs of functions that we studied previously, but a totally different kind. - k* f* Q3 ^ N) g/ ?
Like many of the important discoveries and new areas of learning, graph theory also grew out of an interesting physical problem, the so-called Konigsberg bridge problem. (this problem is discussed in Section 2) The outstanding Swiss mathematician, Leonhard Euler (1707-1783) solved the problem in 1736, thus laying the foundation for this branch of mathematics. Accordingly, Euler is called the father of graph theory.
2 x) h% F$ y2 n! i& Z0 g Gustay Robert Kirchoff (1824-1887), a German physicist, applied graph theory in his study of electrical networks. In1847, he used graphs to solve systems of linear equations arising from electrical networks, thus developing an important class of graphs called trees. 7 U( w- T6 e: W% B6 _
In 1857, Arthur Caylcy discovered trees while working on differential equations. Later, he used graphs in his study of isomers of saturated hydrocarbons. ; T& Y. o) B, h$ [9 t4 v" K
Camille Jordan (1838-1922), a French mathematician, William Rowan Hamilton, and Oystein Ore and Frank Harary, two American mathematicians, are also known for their outstanding contributions to graph theory.
$ ?; O4 w2 D3 r& N3 d Graph theory has important applications in chemistry, genetics, management science, Markov chains, physics, psychology, and sociology.
& }: {5 [1 l4 H4 s& P( |: M Throughout this chapter, you will find a very close relationship between graphs and matrices. 2 `' V1 e$ _% D, o: g4 g2 C2 S
2. The Konigsberg Bridge Problem
0 h* X% Z! V6 z) ^7 p4 Z+ Y/ LThe Russian city of Konigsberg (now Kaliningrad, Russia) lies on the Pregel River.(See Fig.1) It consists of banks A and D of the river and the two islands B and C. There are seven bridges linking the four parts of the city.
/ x* u. {7 }0 P( X! U: { Residents of the city used to take evening walks from one section of the city to another and go over some of these bridges. This, naturally, suggested the following interesting problem: can one walk through the city crossing each bridge exactly once? The problem sounds simple, doesn’t it?You might want to try a few paths before going any further. After all, by the fundamental counting principle, the number of possible paths cannot exceed 7!=5040. Nonetheless, it would be time consuming to look at each of them to find one that works. " ?0 f: ?" j8 X
. E7 g( g# ~- J& S; O0 s% u7 M
; m8 s8 f) n0 \' ]9 G5 ?: d C
7 P! R o" R# N$ P1 Z! Y
9 a8 K$ S5 t( K* M% |, {0 {
7 a6 y$ e' F" e1 X) J: V0 |7 }
5 J2 d% g+ U1 x9 P2 I! o# x % e. t/ S3 C& ]# C' Z [/ w& b' x8 u
Fig .1 The city of Konigsberg
9 S- l4 `# V5 n* s) AIn 1736, Euler proved that no such walk is possible. In fact, he proved a far more general theorem, of which the Konigsberg bridge problem is a special case.
! K, W+ R5 p7 @, s4 v; k5 ]% f+ x+ e. b8 ^& Y
$ s) p0 q. Q) J& C ! a! x i. w( v8 O+ Y7 B3 G7 L
) G% A& e4 @4 d; M1 ZFig .2 A mathematical model for the Konigsberg bridge problem
6 _' c. V) X, {% D2 `3 ] R0 J$ {% I: h5 l
Let us construct a mathematical model for this problem.rcplace each area of the city by a point in a plane. The points A, B, C,and D denote the areas they represent and are called vertices. The arcs or lines joining these points represent the represent the respective bridges. (See图2)They are called edges. The Konigsberg bridge problem can now be stated as follows: Is it possible to trace this figure without lifting your pencil from paper or going over the same edge twice? Euler proved that a figure like this can be traced without lifting pencil and without traversing the same edge twice if and only if it has no more than weo vertices with an odd number of edges joining them. Observe that more than two vertices in the figure have an odd number of edges connecting them-----in fact,they all do. |