1. Introduction
3. Self-dual Graphs
INTRODUCTION
CHAPTER I
13
25
30
13
25
30
SELF-DUAL GRAPHS
CHAPTER III
SECTION 1 FORMS OF SELF-DUALITY A COMPARISON OF FORMS OF SELFDUALITY 13
SECTION 2
25
30
CHAPTER IV
13
25
30
CHAPTER V
SECTION 1 GRAPH REPRESENTATIONS 13
SECTION 2 DESIGN THROUGH DUALITY RELATION AN APPLICATION OF GRAPH THEORY IN GSM MOBILE PHONE NETWORKS
25
SECTION 3
30
Graph theory provides useful set of techniques for solving real-world problems- particularly for different kinds of optimization. Graph theory is useful for anal yzing things that are c o n n e c t e d t o o t h e r things, which applies at most everywhere. Some difficult problems become easy when represented using a graph. There are lots of unsolved questions in Graph theory: Solve one and become SSrich and famous. Graph Theory is an important branch of Mathematics, (Euler 17071782) is known as the father of Graph Theory as well as Topology. Graph theory came into existence during the first half of the 18thcentury. Graph theory did not start to develop into an organized branch of Mathematics until the second half of the 19th century and, there was not even a book on the subject until the first half of the 20thcentury. Graph theory has experienced a tremendous growth, one of
the main reason for this phenomena is the applicability of Graph theory in other disciplines such as Physics, Chemistry, Biology, Psychology, Sociology and theoretical Computer science. In Physics, Graph theory is applied in Continuum Statistical Mechanics and Discrete Statistical Mechanics. Graph theory models have been used to study polymer chains of hydro-carbons and Percolation theory. The blossoming of a new branch of study in the field of Chemistry Chemical Graph theory is yet another proof of the importance and role of Graph theory. Applications of Graph theory to Biology are mostly in Genetics, Ecology and Environment. Genetic mapping and Evolutionary Genetics are very important. Growth of Graph theory is mainly due to its application to discrete optimization problems and due to the advent of Computers. Graph theory plays an important role in several areas of Computer science such as switching theory ands logical design, artificial intelligence, formal languages, computer graphics, operating systems, compiler writing and information organization and retrieval. Graph theory is also applied in inverse areas such as Social sciences, linguistic, Physical sciences, communications engineering and other fields. Graph theory is a delightful play ground for the explanations of proof of techniques in Discrete Mathematics. Many branches of Mathematics begin with sets and relations. Graph theory is no expectation to this, indeed graph are next only to sets. Graph theory studies relation between elements, part of what makes graph theory interesting is that graphs can be used to model situations that occur in real world problems. These problems can then be studied with the aid of graphs. To see how graphs can be used to represent these different systems or structures, consider the following example;
Example
Diagrams of molecules of the chemical compounds methane and propane are shown below. These can be represented by graphs using points, called vertices, as the atoms of carbons and hydrogen present and lines, called edges, as the bonds. Thus, a molecule of methane is represented by a graph with five vertices and four edges while propane is represented by a graph with eleven vertices and ten edges.
Methane
CH4
Propane C3H8
..
GRAPH
A Graph G=(V, E) consists of a pair of V and E. The elements of V are called vertices and the elements of E are called edges. Each edge has a set of one or two vertices associated to it, which are called its end points.
DIGRAPH
Let E be an unordered set of two elements subsets of V. If we consider ordered pair of elements of V then the graph G (V, E) is called a directed graph or digraph.
CYCLE OR CIRCUIT
A Cycle is a closed walk in which all the vertices are distinct except u = v, that is the initial and terminal points of the walk coincide.
Example
Figure:1
ACYCLIC OR FOREST
A graph G is called acyclic if, it has no cycles.
TREE
A tree is an acyclic connected graph.
Example
Figure:2
BIPARTITE GRAPH
A Bipartite graph is one whose vertex can be partitioned into two subsets X and Y so that each edge has one end in X and one end in Y such a partition (X, Y) is called a Bipartition of the graph.
Example
K1,3
Figure:3
Km,n
EDGE CUT
For subsets S and S of V denote by [S,S ] the set of edges with one end In S and the other end in S. An edge cut of G is a E of the form [S, S] where S is a non-empty proper subset of V and S =V\S.
BOND OR CUT-SET
A minimal non-empty edge cut of G is called a Bond.
Example
Edge cut:{e3,e4}{e1,e2,e5}
e3,e4 is a Bond
Figure:4
CONNECTED
A graph G is said to be connected if between every pair of vertices x and y in G, there always exists a path in G. Otherwise, G is called disconnected.
LOOP
An edge with identical ends is called a loop.
Example
Figure:5
CUT VERTEX
A vertex v of a graph G is a cut-vertex if the edges set E can be partitioned into two non-empty subsets E1 and E2 such that G(E1) and G(E2) have just the vertex v in common.
Example
Figure:6
CUT EDGE
An edge set E of a graph G is a cut edge of G if W(G-e)>W(G). In particular, the removal of a cut edge from a connected graph makes the graph disconnected.
Example
Figure:7
BLOCK
A connected graph that has no cut vertices is called a Block.
TOUR
A Tour of G is a closed walk of G which includes every edge of G at least once.
EULER TOUR
An Euler Tour of G is a tour which includes each edge of G exactly once.
EULERIAN
A graph G is called Eulerian or Euler if it has an Euler Tour.
Example
Figure:8
PLANAR GRAPH
A graph G is planar if it can be drawn in the plane in such a way that no two edges meet except at a vertex with which they both are incident. Any such drawing is a plane drawing of G. A graph G is non-planar if no plane drawing of G exists.
Example
OUTER PLANAR
A Planar graph is an Outer Planar graph if it has an embedding on the plane such that every vertex of the graph is a vertex belonging to the same (usually exterior) region.
FACES
A plane graph G partitions the rest of the plane into a number of arc-wise connected open sets. The sets are called the faces of G.
Example
Figure:10
DUAL GRAPHS
Let G be a connected planar graph. Then a dual graph G* is constructed from a plane drawing of G, as follows. Draw one vertex in each face of the plane drawing: these are vertices of G*. For each edge e of a plane drawing, draw a line joining the vertices of G* in faces on either side of e: these lines are the edges of G*.
REMARK
We always assume that we have been presented with a plane drawing of G. The procedure is illustrated below.
Figure:1
G*
Also if G is a plane drawing of a connected planar graph, then so its dual G*, and we can thus construct (G*)*, the dual of G*.
(G*)*
Figure: 2
G*
The above diagrams demonstrated that the construction that gives rise to G* from G can be reversed to give G from G*. It follows that (G*)* is isomorphic to G.
Figure: 3
PROPERTIES
(1)The dual of a plane graph is planar multi graph- a graph that may have loops and multiple edges. (2)If G is a connected graph and if G* is a dual of G then G is a dual of G*.
G1
G1*
G2
G2*
RESULT
A graph is plane if and only if it has a combinatorial dual.
WEAK DUAL
The weak dual of an embedded planar graph is the sub graph of the dual graph whose vertices correspond to the bounded faces of the primal graph.
SOME RESULTS
A planar graph is outer planar if and only if its weak dual is a forest. A planar graph is a Halin graph if and only if its weak dual is bi-connected and outer planar.
PROPOSITION 1
The dual of any plane graph is connected.
PROOF
Let G be a plane graph and G* a plane dual of G. consider any two vertices of G*. There is a curve in the plane connecting them which avoids all vertices of G. The sequence of faces and edges of G traversed by this curve corresponds in G* to a walk connecting the two vertices.
DEFINITION
A simple connected plane graph in which all faces have degree three is called a plane triangulation or, for a short triangulation.
PROPOSITION 2
A simple connected plane graph is a triangulation if and only if its dual is cubic.
DELETION-CONTRACTION DUALITY
Let G be a planar graph and G be a plane embedding of G. For any edge e of G, a plane embedding of G\e can be obtained by simply deleting the line e from G. Thus deletion of an edge from a planar graph results in a planar graph. Although less obvious, the contraction of an edge of a planar graph also results in a planar graph. Indeed, given any edge e of a planar graph G and a planar embedding G of G, the line e of G can be contracted to a single point (and the lines incident to its ends redrawn). So, that the resulting plane graph is a planar embedding of G\e. The following two propositions show that the operations of contracting and deleting edges in plane graphs are related in a natural way under duality.
PROPOSITION 3
Let G be a connected plane graph, and let e be an edge of G that is not a cut edge. Then (G\e)*G*/e*.
PROOF
Because e is not a cut edge, the two faces of G incident with e are distinct; denote them by f1 and f2 . Deleting e from G results in a amalgamation of f1 andf2 into a single face f (see Figure: 1).
Any face of G that is adjacent to f1 or f2 is adjacent in G\e to f; all other faces and adjacencies between them are unaffected by the deletion of e. Correspondingly, in the dual, the two verticesf1* andf2 * of G* which correspond to the faces f1 and f2 of G are now replaced by a single vertex of (G\e)*, which we may denote by f*, and all other vertices of G* are vertices of (G\e)*. Furthermore, any vertex of G* that is adjacent to f1* and f2* is adjacent in (G\e)* to f*, and adjacencies between vertices of (G\e)* other than v are the same as in G*. The assertion follows from these observations.
a) G and G* Figure:1
PROPOSTITION 4
Let G be a connected plane graph and let e be a link of G.
Then (G/e)*G*\e*.
PROOF
Because, G is connected G**G. Also because e is not a loop of G, the edge e* is not a cut edge of G*, so G*\e* is connected by proposition:3,(G*\e*)*G**/e**G/e. The proposition follows on taking duals. We now apply Propositions 1 and 2 to show that non separable plane graphs have non separable duals. This fact turns out to be very useful.
THEOREM 5
The dual of a non separable plane graph is non separable.
PROOF
By induction on the number of edges, Let G be a non separable plane graph. The theorem is clearly true if G has at most one edge, so we may assume that G has at least two edges, hence no loops or cut edges. Let e be an edge of G. Then either G\e or G/e is non separable. If G\e is non separable so is (G\e)*G*/e*, by the induction hypothesis and proposition 3. And we deduce that G* is non separable. The case where G/e is non separable can be established by an analogous argument.
PROOF
Since the minimal cuts of G are the minimal separating sets of G, We now have: (A) If E E(G) is the edge set of a cycle in G, then E* is cut in H. (B) If E is the edge set of a forest in G, then H-E* is connected. Imply that H is a combinatorial dual of G. In particular, H is 2-connected contains at least three vertices (Otherwise, G is a cycle and the claims are easy to verify). To prove that G is a geometric dual of H, it sufficies to prove that, for each facial cycle C* in H, has only one vertex in the face F of H bounded by C*, (clearly, G has no edge inside F). But, if G has two or more vertices in F, then some two vertices of C* can be joined by a simple arc inside F having only its ends in common with GH. But, this is impossible by the definition of H. Whitney [wh33a] proved that combinatorial duals are geometric duals. This gives rise to another characterization of planar graphs.
PROOF
By proposition 1, it sufficies to prove the second part of the theorem. The proof will be done by induction on the number of edges of G. If G is a cycle, then any two edges of G*are in a 2-cycle and hence G* has only two vertices. Clearly, G and G* can be represented as a geometric dual pair. If G is not a cycle, then G is the union of a 2-connected sub graph G and a path P such that GP consists of the two end vertices of P. By the induction hypothesis and by the proposition, If G* is a combinatorial dual of G and E E(G) is a set of edges of G such that G-E has only one component containing edges, then G*/e* is a combinatorial dual of G-e(minus isolated vertices), H=G* /E(P*) is a combinatorial dual of G. By the induction hypothesis, G and H can be represented as a geometric dual pair, and G is also a combinatorial dual of H. If e1,e2 are two edges of P, then e1*,e2* are two edges of G* which belong to a cycle C* of G*. If C* has length at least 3, then it is easy to find a minimal cut in G* containing e, but not e2.
But, this is impossible since any cycle in G containing e1 also contains e2. Hence, all edges of E (P)* are parallel in G* and join two vertices z1,z2 say, in G*. Let z0 be the vertex in H which corresponds to z1,z2. The edges in H incident with z0 form a minimal cut in H. Let C be the corresponding cycle in G. As E(C)* separates z0 from H-z0 in H, C is a simple closed curve separating z0 from H-z0. In particular, C is facial in G. Let C1,C2 be the two cycles in CUP containing P such that E (Ci )* is the minimal cut consisting of the edges incident with zi , for i=1,2. Now we draw P inside the face F of G bounded by C and represent zi inside Ci for i=1,2. This way we obtain a representation of G*as a geometric dual of G.
PROPOSITION 3
Let G be a 2-connected multi graph and let G* be its combinatorial dual. Then G* is 3-connected if and only if G is 3-connected.
PROOF
By Theorem 2, it sufficies to prove that G is 3-connected whenever G* is 3-connected. Suppose that this is not a case if G has a vertex of degree 2, then G* has parallel edges, a contradiction. So, G has minimum degree at least 3. Then we can write G = G1G2 where G1G2 consists of two vertices, E(G1)E(G2) = , and each of G1,G2 contains at least three vertices. By Theorem 2, G is planar.
Then G has a facial cycle C such that CGi is path Pi for i=1,2. Clearly, G/E(C) has two edges which are not in the same block. By proposition, If, G* is a combinatorial dual of G and EE (G) is a set of edges of G such that G-E has only one component containing edges, then G*/E* is a combinatorial dual of G-E (minus isolated vertices), and Theorem 2, G*- E(C)* has two edges which are not in the same block. As E(C)* is the set of edges incident with a vertex of G*, G* is not3-connected.
PROOF
Let us consider a plane representation of a planar graph G. Let us also draw (geometrically) a dual G* of G. Then consider an arbitrary circuit in G. Clearly, will form some closed simple curve in the plane representation of Gdividing the plane into two a r e a s ( J o r d a n c u r v e T h e o r e m ) . Thus the vertices of G* are partitioned into non -empty, mutually exclusive subsets- one and the other outside. In other words, the set of edges * in G* corresponding to the set in G is a cutset i n G * . ( N o p r o p e r s u b s e t o f * w i l l b e a c u t - s e t i n G * ) . L i k e w i s e i t i s a p p a r e n t t h a t corresponding to a cut-set S* in G* there is a unique circuit consisting of the corresponding edge-set S in G such that S is a circuit. This proves the necessity of the theorem. To prove the sufficiency, let G be a planar graph and let G be the graph for which there is a one-to-one correspondence between the cut-sets of G and circuits of G, and vice-versa.
Let G* be a dual graph of G. There is a one-to-one correspondence between the circuits of G and cut-sets of G, and also between the cut-sets of G and circuits of G*. Therefore, there is one-to-one correspondence between the circuits of G and G*, implying that G and G* are 2-isomorphic.By a theorem, All duals of a planar graph G are 2-isomorphic; and every graph 2-isomorphic to a dual of G is also a dual of G,G must be a dual of G.
THEOREM 2
Edges in a plane graph G form a cycle in G if and only if the corresponding dual edges form a bond in G*.
PROOF
Consider DE(G). If D contains no cycle in G, then D encloses no region. It remains possible to reach the unbounded face of G from every face without crossing D. Hence, G*-D*connected, and D* contains no edge cut. If D is the edge set of a cycle in G, then the corresponding e d g e s e t D * E(G*)contains all dual edges joining faces inside D to faces outside D. Thus D* contains an edge cut. If D contains a cycle and more, then D* contains an edge cut and more
Figure:1
THEOREM 3
The following are equivalent for a plane graph G.(A) G is bipartite.(B) Every face of G has even length.(C) The dual graph G* is Eulerian. PROOF AB. A face boundary consists of closed walks. Every odd closed walk contains an odd cycle. Therefore, in a bipartite plane graph the contributions to the length of faces are all even. BA . L e t C b e a c y c l e i n G . S i n c e G h a s n o c r o s s i n g s , C i s l a i d o u t a s a s i m p l e closed curve; let F be the region enclosed by C. Every region of G is wholly within F or w h o l l y o u t s i d e F . I f w e s u m t h e f a c e l e n g t h s f o r t h e r e g i o n s i n s i d e F , w e o b t a i n a n e v e n number. Since each face length is even. This sum counts each edge of C once. It also counts each edge inside F twice, since each such edge belongs twice to faces in F. Hence, the parity of the length of C is the same as the parity of the full sum, which is even. BC. The dual graph G* is connected and its vertex degrees are the face lengths of G.
Figure:2
THOREM 4
A graph has a dual if and only if it is planar.
PROOF
We need to prove just the only if part. That is, we have only to prove that a non- planar graph does not have a dual. Let G be a non-planar graph. Then G contains K5 or K3,3 or a graph homeomorphic to either of these. We have already seen that a graph G can have a dual only if every sub graph g of G and every homeomorphic to g has a dual. Thus if we can show that neither K5 nor K3,3 has a dual, we have proved the theorem. This we shall prove by contradiction as follows: (a) Suppose that K3,3 has a dual D. Observe that the cut-sets in K3 correspond to circuits in D and vice versa, since K3,3 has no cut-set consisting of two edges, D h a s n o circuit consisting of two edges. D contains no pair of parallel edges. Since every circuit in K3,3 is of length four or six, D has no
cut-set with less than four edges. Therefore, the degree of every vertex in D is at least four. As D has no parallel edges and the degree of every vertex is at least four, D must have at least (54)/2= 10 edges. This is a contradiction, because K3,3 has nine edges and so must its dual. Thus K3,3 cannot have a dual. Likewise, (b) Suppose that the graph K5 has a dual H. Note that K5 has (1) 10 edges, (2) no pair of parallel edges, (3) no cut -set with two edges, and (4) cut-sets with only four or six edges. Consequently, graph H must have (1) 10 edges, (2) no vertex with degree less than three, (3) no pair of parallel edges, and (4) circuits of length four and six only. Now graph H contains a hexagon ( a circuit of length six ), and no more than three edges can be added to a hexagon without creating a circuit of length three or a pair of parallel edges. Since both of these are forbidden in H and H has 10 edges, there must be at least seven vertices in at least three. The degree of each of these vertices is at least three. This leads to H having at least 11edges. A contradiction.
DEFINITION
A planar graph is isomorphic to its own dual is called a self-dual graph.
Example
K4 is a Self-dual graph.
Figure: 1
DEFINITION
Given a map M, we form the dual map, M* by placing a vertex f* in the centre of each face f, and for each edge e of M bounding two faces f1 and f2 , we draw a dual edge e*connecting the vertices f1* and f2* and crossing e once transversely. Each vertex v of M will then correspond to a face v* of M* and we write M* = (F*, E*, V*). If, the graph G has distinguishable embeddings, then G may have more than one dual graph, see Figure: 2. In this example a portion of the map (V, E, F) is flipped over on a separating set of two vertices to form (V, E,F).
(V, E,F) * (F*, E*, V*) Figure:2 Such a move is called Whitney flip, and the duals of (V, E, F) and (V, E,F ) are said t o d i f f e r b y a W h i t n e y t w i s t . I f t h e g r a p h ( V , E ) i s 3 c o n n e c t e d , t h e n t h e r e i s a u n i q u e embedding in the plane and so the dual is determined by the graph alone. Given a map X = (V, E, F) and its dual X* = (F*, E*, V*), there are three notions of self-duality. The strongest, map self-duality, requires that X and X* are isomorphic as maps, that is, there is an isomorphism : (V, E, F)(F*, E*, V*) preserving incidences. A weaker notion requires only a graph isomorphism
: (V, E) (F*, E*), in which case we say that the map (V, E, F) is graph self-dual, and we say that G =(V, E) is a self-dual graph.
DEFINITION
A geometric duality is a bijection g: E(G)E(G*) such that eE is the edge dual tog(e)E(G*). If M is 2-cell, then M is connected; so if M is a 2-cell embedding, then (M*)*M (we use * to indicate the geometric dual operation).
DEFINITION
An algebraic duality is a bijection g: E(G)E(G ) such that P is a circuit of G if and only if g(p) is a minimal edge-cut of G . Given a graph G =(V,E), an algebraic dual of G is a graph G ^ for which there exist an algebraic duality g:E(G)E(G).
The geometric duals are shown in dotted lines. Embedding b) is map selfdual, c) is graphically self-dual and d) is algebraically self-dual. We now define several forms of self-duality. Let G =(V, E) be a graph and let M=(V, E, F) be a fixed map of G, with geometric dual M* =(F*, E*, V*).
DEFINITION
1. M is map self-dual if MM*. 2. M is graphically self-dual if (V, E)(F*, E*). 3. G is algebraically self-dual if GG*, where G is some algebraic dual of G.
REMARK
In the literature, the term ma troidal or abstract is s o m e t i m e s u s e d w h e r e w e u s e algebraic. We will use the geometric duality operation and, unless specified, we will describe a graph as self-dual if it is graphically self-dual. Since, the dual of a graph is always connected, we know that a self-dual graph is connected. The following are a few known results about self-dual graphs.
COROLLARY 1
Let M =(V, E, F) be a 2-cell embedding on an orientable surface. If M is self-dual, then E is even.
PROOF
Since M is self-dual, By Theorem (Euler), Let M =(V, E, F) be a 2-cell embedding of a graph in the orientable surface of genus k. Then, |V| -|E| +|F| = 2-2k. |E| = 2-2k-|V| |F| = 2(1-k-|V|).
THEOREM 2
The complete graph Kn has a self-dual embedding on an orientable surface, if and only if n0 or 1 (mod 4). THEOREM 3 For w1, there exists a self-dual embedding of some graph G of order n on( 1) 1n wS +if and only if n4w+1. Note that a self-dual graph need not be self-dual on the surface of its genus. A single loop is planar; however it has a (non 2-cell) self-dual embedding on the torus. Also note that there are infinitely many self-dual graphs. One such infinite family for the plane is the wheels. A wheel nW consists of cycle of length n and a single vertex adjacent to each vertex on the cycle by means of a single edge called a Spoke. The complete graph on four vertices is also W3 . See Figure: 4 for W6.
MATROIDS
Matroids may be considered a natural generalization of graphs. Thus when discussing a family of graphs, we should also consider the matroidal implications.
DEFINITION
Let S be a finite set, the ground set, and let I be a set of subsets of S, the independent sets. Then M=(S, I) is a matroid if: 1. I ; 2. If J JI, then JI; and 3. For all A S , all maximal independent subsets of A have the same cardinality. An isomorphism between two matroids M1=(S1,I1) and M2=(S2,I2) is a bijection :S1 S 2 such that II1 if and only if (I)I2. If such a exists, then M1 and M2 are isomorphic denoted M1M2
Given a graph G = (V, E), the cycle matroid M(G) of G is the matroid with ground set E, and FE is independent if and only if F is a forest. A matroid M is graphic if there exists a graph G such that M=M(G). For a matroid M= (S,I) the dual matroid M *=(S,I*) has ground set S and I S in I* if there is a maximal independent set B in M such that IS\B. A matroid M is co-graphic if M*is graphic. It is easily shown that if G is a connected planar graph, then M* (G) = M(G*). It is well known that G is algebraically self-dual if and only if cycle matroids of G and G* are isomorphic.
It is clear that for a map (V, E, F) we have, Map self-dualityGraph self-dualityMatroid self-duality. However, In general, these implications cannot be reversed, as shown by Figure: 3. But, we are concerned to what extent these implications can be reversed. The next two theorems assert that, in the most general sense, they cannot.
THEOREM 1
There exist a map (V, E, F) such that (V, E)(E*, V*), but (V, E, F)(F*, E*, V*).
THEOREM 2
There exist a map (V, E, F) such that M(E)M(E*)*, but (V, E)(F*, E*).
So self-dual 3-connected graphs, as well as self-dual 3-connected graphic matroids, reduce to the case of self-dual maps. Since, the examples in Figure:3 are only 1-connected, we must consider the 2-connected case. In Figure: 5 we see an example of a graphically self-dual map whose graph is 2-connected which is not map self-dual. One might hope that, as was the c a s e i n F i g u r e : 3 , that such examples can be corrected by re -embedding or r e a r r a n g i n g , however we have the following strong result.
THEOREM 3
There exists a 2-connected map (V, E, F) which is graphically self-dual, so that(V, E) (F*, V*), but for which every map ( V , E , F ) such that M(E) M(E ) is not map self-dual.
PROOF
Consider the map in Figure:5 which is drawn on an unfolded cube. The graph is obtained by gluing two 3-connected self-dual maps together along an edge (a,b) and
Figure: 5.
erasing the common edge. One map has only two reflections as self-dualities, both fixing the glued edge; the other has only two rotations of order four as dualities, again fixing the glued edge. The graph self-duality is therefore a combination of both, an order 4 rotation followed by a Whitney twist of the reflective hemisphere. It is easy to see that all the embeddings of this graph, as well as the graph obtained after the Whitney flip have the same property. We also have the following.
THEOREM 4
There is a graphically self-dual map (V, E, F) with (V, E) 1-connected and having only 3-connected blocks, but for which every map ( V , E , F ) such that M(E )M(E ) is not map self- dual.
PROOF
Consider the 3-connected self-dual maps in Figure: 6. X1 has only self-dualities of order 4, two rotations and two flip rotations, while X2 has only a left-right reflection and a 180 rotation as a self-duality. Form a new map X by gluing two copies of X2 toX1 in the q u a d r i l a t e r a l m a r k e d w i t h q s , w i t h t h e g l u i n g a t t h e v e r t i c e s m a r k e d v a n d v * . X i s graphically self-dual, as can easily be checked, but no gluing of two copies of X2 can give map self-duality since every quadrilateral in X1 has order 4 under any self-duality .
Figure: 6
In particular, self-dual graphs of connectivity less than 3 cannot in general be reembedded as self-dual maps.
THEOREM 1
There exists a self-dual graphic matroid M such that for any graph G =(V,E) with M(G) =M, and any embedding (V, E, F) of G, (V, E)(F*, E*).
PROOF
Consider M1 and M2 , the cycle matroids of two distinct 3-connected self-dual maps X1 and X2 whose only self-dualities are the antipodal map. T h e m a t r o i d M1M2 is selfdual, but its only map realizations are as the1 v e r t e x u n i o n o f X1 and X2 , w h i c h c a n n o t b e s e l f - d u a l s i n c e t h e c u t v e r t e x c a n n o t simultaneously be sent to both antipodal faces. So for 1-connected graphs, the three notions of self-duality are all distinct. For 2connected graphs, however we have the following.
THEOREM 2
If G =(V, E) is a planar 2-connected graph such that M(E)M(E)*, then G has an embedding (V, E, F) such that (V, E)(F*, E*).
PROOF
Let (V, E, F) be any embedding of G. Then G is 2i s o m o r p h i c , i n t h e s e n s e o f Whitney [15] to (F*, E*), and thus there is a sequence of Whitney flips which transform(F*, E*, V*) into an isomorphic copy of G and act as re-embeddings of G. Thus the result is a new embedding (V,E,F) of G such that (V, E, F)(F*,E*,V*) . Thus, to describe 2-connected self-dual graphs it is enough up to embedding, to describe self-dual 2-connected graphic matroid.
THEOREM 3
Let M be a self-dual connected matroid with 3-block tree T. Let T b e t h e t r e e obtained from T by deleting all the pendant nodes, and let M be the 2-connected matroid determined byT . Then M is also self-dual.
PROOF
Let M be a self-dual connected matroid on a set E, so there is a matroid isomorphism : MM*, so is a permutation of E sending cycles to co-cycles. The 3-block tree of M*is obtained from that of M by replacing every label with the dual label, so corresponds to a bijection ( ,{}) of T onto itself, such that for each node of T, :M Mf() sends cycles of M to co-cycles of Mf(). The restriction of (,{}) to T has the same property and so corresponds to a self-dual permutation of M .
THEOREM 4
Suppose M is a self-dual 2-connected matroid with self-dual permutation and let e1M. Let {e1,e2,......ek} be the orbit of e1 under . Suppose one of the following: ( 1 ) k i s e v e n a n d M0 is a 3-connected matroid or a cycle and 0 i s a m a t r o i d automorphism of M0 fixing an edge e0. (2)k is odd and M0 is a 3-connected self-dual matroid with self-dual permutation 0 fixing an edge e0. For i =1, 2,., k set M2i+1 = M0 and M2i = M0*. Let M be the matroid obtainedfrom M by 2-sums with the matroids Mi , amalgamating e0 or e0* in Mi with ei. Let be defined by (e) for e M{e1,e2,..........,ek}, : Mi e0 Mi+1 e0 is induced by * for i =1, 2,., k and = 0:Mk M1. Then M is a 2-connected self-dualmatroid with self-dual permutation .
Moreover, every 2-connected self-dual matroid and its self-duality is obtained in this manner.
PROOF
The fact that this construction gives a 2-connected self-dual matroid follows at once, since to check if is a self-duality, it sufficies to check that () sends cycles to co-cycles on each 3-block. The fact that M0 must be self-dual if K is odd follows by considering that 1k is a self-duality and maps M0 = M1 onto itself. To see that all self-dualities arise this way, let : M M be a self-duality, let be a pendant node of T, and set M0 = M . Let M be the self-dual matroid that results fromremoving from T(M) the K nodes corresponding to the orbit of the node . induces : MM. Then the desired 0 is (k) .
THEOREM 5
Every 2-connected self-dual graph is 2-isomorphic to a g r a p h w h i c h m a y b e decomposed via 2-sums into self-dual maps such that the 2-sum on any two of the self-dual maps is along two edges, one of which is the pole of a rotation of order 4 and the other an edge fixed by a reflection.
PROOF
In case I of Theorem:4, we can always choose 0 to be the identity, and simply glue in the copies of the maps corresponding to M0 and M0* compatibly to make a self-dual map. In case 2 we must have that M0 is a self-dual 3-block containing a self-duality fixing e0, hence it corresponds to a self-dual map and 0 must be a reflection or an order 4 rotation fixing e0, and likewise the 3-block to which it is attached must be such an edge. If both are of the same kind, then the 3-blocks may be 2-summed into a self-dual map. This leaves only the mismatched pair.
Figure: 7
To see that 2-isomorphism is necessary in the above, consider the self-dual graph in F i g u r e : 7 . T h e m a p c a n n o t b e r e - e m b e d d e d a s a s e l f - d u a l m a p , n o r d o e s i t h a v e a 2 - s u m decomposition described as above, the graph is 2-isomorphic to a self-dual map.
(i)
(ii)
DEFINITION
An arrow marked ribbon graph G c o n s i s t s o f a r i b b o n g r a p h G e q u i p p e d w i t h a -collection of colored arrows, called marking arrows, on the boundaries of its vertices. The marking arrows are such that no marking arrow meets an edge of the ribbon graph, and there exactly two marking arrows of each other.
ILLUSTRATION
A ribbon graph can be obtained from an arrow-marked ribbon graph by adding edges in a way prescribed by the marking arrows, thus: take a disc and orient its boundary arbitrarily. Add this disc to the ribbon graph by choosing two non-interesting arcs on the boundary of the disc and two marking arrows on the same color, and then identifying the arcs with the marking arrows according to the orientation of the arrow. The disc that has been added forms an edge of a new ribbon graph. This process is illustrated in the diagram below, and an example of an arrow-marked ribbon graph and the ribbon graph it describes in figure 1 (i) and (ii).
Figure: 2
RESULT 2
An arrow-marked ribbon graph describes a ribbon graph. Conversely, every ribbon graph can be described as an arrow-marked spanning sub-ribbon graph.
PROOF
Suppose that G is a ribbon graph and B (G). To describe G as an arrow-marked ribbon graph G\B, start by arbitrarily orienting each edge in B. This induces an orientation on the boundary of each edge in B. To construct the marking arrows; for each e B, place an arrow on each of the two arcs where e meets vertices of G, the direction of this arrow should follow the orientation of the boundary e; color the two arrows with e; and delete the edge e. This gives a marked ribbon graph G\B. Moreover, the original ribbon graph G can be recovered from G\B by adding edges of G\B as prescribed by the marking arrows. Notice that, if G is a ribbon graph and H is any spanning sub-ribbon graph, then there is an arrow marked ribbon graph of H which describes G.
DEFINITION
An arrow presentation of a ribbon graph consists of a set of oriented (topological) circles (called cycles) that are marked with colored arrows called marking arrows, such that there are exactly two marking arrows of each color.
EXAMPLE
An example of a ribbon graph and its arrow presentation is given in below figure.
Figure: 3
Two arrow presentations are considered equivalent if one can be obtained from the other by reversing pairs of marking arrows of the same color.
SECTION-2 PARTIAL-DUALITY
As mentioned above, partial duality is a generalization of the natural dual of a ribbon graph. A key feature of partial duality is that it provides a way extend the well known relation T(G; x, y) =T(G*, y, x), relating the Tutte polynomial of a planar graph and its dual, to the weighted ribbon graph polynomial. In this section we give a definition of partial duality and then go on to discuss the relationship between partial duals and naturally dual arrow marked ribbon graphs.
PARTIAL DUALITY
Although the construction of the partial dual GA of g is perhaps a little lengthy to write down, in practice the formation of the partial dual is a straightforward process.
DEFINITION
Let G be a ribbon graph and A (G). The partial dual GA of G along A is defined below.
(Step P1): Give every edge in (G) orientation (this need not extend to an orientation of the whole ribbon graph). Construct a set of marked, oriented, disjoint paths on the boundary of the edges of G in the following way: (1) If eA then the intersection of the edge e with distinct vertices (or vertex if e is a loop) defines two paths. Mark each of these paths with an arrow which points in the direction of the orientation of the boundary of the edge. Color both of these marks with e. (2) If eA then the two sides of e which do not meet the vertices define the two paths. Mark each of these paths with an arrow which p o i n t s i n t h e d i r e c t i o n o f t h e orientation of the boundary of the edge. Color both of these marks with e. (Step P2): Construct a set of closed curves on the boundary of G \Ac by joining the marked paths constructed above by connecting them along the boundaries of G\Ac in the natural way. (Step P3): This defines a collection of non-interesting, closed curves on the boundary of G\Ac which are marked with colored, oriented arrows. This is precisely an arrow presentation of a ribbon graph. The corresponding ribbon graph is the partial dual of G*. The construction is shown locally at an edge e in Figure: 4
An untwisted edge e
If e A
If e A
A twisted edge e
If e A
EXAMPLE 1
G with A = {2, 3}
Steps P1 and P2
Step P3
GA
Figure: 5
Redrawing GA
EXAMPLE 2
G with A = {2,3}
Steps P1 and P2
Step P3
GA
Figure: 6 Notice that there is a correspondence between the edges G and GA: every edge of G gives rise to exactly two marking arrows of the same color, and
one edge of GA is attached between these two arrows. We will denote the resulting natural bijection between the edge sets by : (G) (GA).
.
NATURL DUALITY
Before continuing, we will record a few properties of p a r t i a l d u a l i t y . W e a r e particularly interested in the connection between partial and natural duality.
DEFINITION
Let G = ((G), (G) ) be a ribbon graph. We can regard G as a punctured surface. By f i l l i n g i n t h e p u n c t u r e s u s i n g a s e t o f d i s c s d e n o t e d (G*) . We obtain a surface without boundary. The natural dual (or Euler-Poincare dual) of G is the ribbon graph G* = ( (G*), (G)).
DUAL EMBEDDING
A dual embedding { G, H, } of G and H into a surface to be an embedding of G in a surface without boundary which has the property that H =\ (G) Note that a dual embedding is independent of the order of the ribbon graphs G and H (i.e. the dual embeddings { G, H, } and { H, G, } are equivalent).
NOTE
The ribbon graphs G and H are natural duals if and only if there exists a dual embedding { G, H, }.We can now describe a property of partial duality.
PROPERTY 3
Let G be a ribbon graph, A (G) and Ac = (G)\A. Then GA\(Ac) = (G\Ac)*.
PROOF
If eAc, then the cycles defining the vertices of GA follow the vertices incident with e in G (See Figure: 2). It then follows that we can delete the edges in Ac
before or after forming the partial dual and end up with the same ribbon graph. Thus GA\(Ac) = (G\Ac)A . But,(G \Ac )A = (G \ Ac )*. GA \ (Ac ) = G(Ac )*.
THEOREM 4
Let G and H be ribbon graphs. Then G and H are partial duals if and only if there exists a partial dual embedding { G%,H%,,M } with the property that \ (H%) M i s a n arrow-marked ribbon graph describing G, and \ (G%) M is a n arrowmarked ribbon graph describing H.
PROOF
First suppose that G and H are partial duals. Then there exists a set of edges A (G) such that GA = H. Then G can described as an arrow-marked ribbon graph G\Ac, where Ac = (A)\A. Let be the surface obtained from G\Ac by filling in the punctures.
Then {G\Ac , (G\Ac)*, } forms a natural dual embedding. The arrow markings on G\Ac induce a set of colored arrows on (G\Ac((G\Ac)*) with the property that there are exactly two arrows of each color. Denote this induced set of colored arrows by M. Then {G\Ac,(G\Ac)*, ,M} is a partial dual embedding. Moreover \((G\AC)*) describes G by construction, and \((G\Ac )) clearly describes GA = H i f w e u s e t h e construction of partial duality from the lemma, L e t G b e a r i b b o n g r a p h , A(G) and Ac (A)\A. Then the following construction gives GA : (Step1P ) : Present G as the arrow-marked ribbon graph G\Ac. (Step2P ): Take the natural dual of G\Ac. The marking arrows on G\Ac induce marking arrows on (G\Ac)*. (Step3P ):GA is the ribbon graph corresponding to the arrow-marked ribbon graph (G\Ac) * . Conversely, suppose that {G%,H%, %,M} is a partial dual embedding with the property that \ (H%) M is an arrow-marked ribbon graph describing G, and \(G%) M is an arrow marked ribbon graph describing H. Then G and H are precisely the naturally dual marked ribbon graphs described in step2P of the construction of partial dual. Here A is the set of edges of G that are also in G.
COROLLARY 5
Let G be a ribbon graph and A(G). Then (1) (GA) = p(G\ Ac) ,where()\cA G A = (G)\A (2) p(GA)= p(G\A); (3) when G is orientable, g(GA)=1/2(2k(G)+e(G)-p(G\Ac)-p(G\A)).
DEFINITION
We say that two graphs are partial duals if they are cores of partially dual ribbon graphs. Let G be a ribbon graph and A (G). By the notation GA we mean that GA is the core of GA where G is the core of G and A is the edge set of G that corresponds with A. We have seen that partially dual ribbon graphs can be characterized by the existence of an appropriate partially dual embedding. A corresponding result holds partial dual graphs. To describe the corresponding result, we make the following definition.
DEFINITION
A partial dual embedding of graphs is a set{G%,H%,,} Where is a surface without boundary, G%,H% are embedded graphs and E is a set of colored edges that are embedded in such that (1) Only the ends of each embedded edge in E meet G%H% ; (2) {G%, H%, } is dual embedding;
(3) Each edge in E is incident to one vertex in (G%) and one vertex in (H%); (4) There are exactly two edges of each color in E.
THEOREM 1
Two graphs G1 and G2 are partial duals if and only if there exists a partial dual embedding {G1,G2,,} such that for each i, Gi is obtained from Gi% by adding an edge between the vertices of Gi%, that are incident with the two edges in E that have the same color, for each color.
EXAMPLE 2
An example of partial dual embedding
Figure: 1
Where is the disjoint union of two spheres, G1% = ({%, %},{1} and G2% = ({a%, b%, c%},{1}). Following the recipe in the theorem we recover the graphs.
G Figure: 2
G{1}
These graphs are indeed partial duals as they are cores of the following graphs respectively.
Figure: 3 We will now prove theorem:1. The idea b e h i n d t h e p r o o f i s c o n s t r u c t a correspondence between partial dual embeddings of ribbon graphs and their (embedded)cores. It then follows by a theorem that the graphs constructed by this theorem are the cores of partially dual ribbon graphs.
PROOF
First suppose that G1 and G2 are partial duals, so G1 and G2 are the cores of partially dual ribbon graphs. Then by theorem: , there exists a partial dual embedding {G1%,G2%,,M} such that \(G2%) M is an arrow-marked ribbon graph describing G1 = \(G1%) M is an arrow-marked ribbon graph describing G2:G1 is the core of G1 ; and G2 is the core of G2 . A partial dual embedding of graphs {G1%,G2%, ,E} can be constructed from {G1%,G2%, ,M- in the following way: Let G1% be the canonically embedded core of G1% and G2% let be the canonically embedded core of G2% . Each arrow on meets exactly two vertices of G1% G2% . For each arrow, add an embedded edge between the two corresponding vertices of the graph G1% G2% which passes through this arrow. Color the edge with the color of the arrow that it passes through. The set of edges added in this way forms E. We need to show that {G1%,G2%, ,E- is indeed a partial dual embedding of graphs and the graphs G1 and G2 can be recovered from the partial dual embedding in the way described by the theorem. To see that{G1%,G2%, ,E} is a partial dual embedding, first note that by construction G1%,G2% and E are all embedded in , and that only the ends of the edges in E meet G1% or G2% .{G1%,G2%, } is a dual embedding since {G1%,G2%, - is. Since each arrow in M meets one vertex in V(G1) and one vertex in V(G2) , each edge in E is incident to vertex in V(G1%) and one vertex in V(G2%) . The coloring requirement follows since there are exactly two edges of each color in M and the edge colorings of E are induced from M. Finally, Gi can be recovered from Gi%M by adding edges between the marking arrows of the same color. Therefore, if u and v are vertices of Gi% which are marked with an arrow of the same color and u and v are vertices of Gi% which are marked with an arrow of the same color and u and v are the corresponding vertices of Gi% , then to construct the core of Gi we need to add an
edge between u and v. But since u and v are each incident with the edges inE of the same color we need to add an edge between the vertices of Gi% that are incident with the two edges in E of the same color. This is exactly the construction described in the statement of the theorem. Using this for each color gives Gi , completing the proof of necessity. Conversely, suppose that {G1%,G2%, ,E} is a partial dual embedding and that G1 and G2 are obtained as described in the statement of the theorem. Construct a partial dual embedding {G1%,G2%, ,M} of ribbon graph in the following way: take a small neighbourhood In of the embedded graph G1% to form G1% ; let G2 = (\G1%,(G1% )); wherever an edge in E meets a boundary of vertices add an arrow pointing in an arbitrary direction which is colored by the color of the edge in E. M is the set of such colored arrows. To see that {G1%,G2%, ,M} is a partial dual embedding, note that {G1%,G2%, } is a dual embedding since{G1%,G2%, } is, and that there exactly two arrows of each color since there are exactly two edges of each color in E. Let Gi denote the ribbon graph described by the arrow-marked ribbon graph Gi%M .Then Gi is the core of Gi (since whenever an edge is added between two vertices of Gi% in the formation of Gi , an edge is added between the corresponding vertices of Gi% in the formation of Gi ). Finally, G1 and G2 are partial dual graphs since, by Theorem: G1 and G2 are partial dual ribbon graphs. The corollary below follows from the construction of a partial dual embedding in the proof above.
COROLLARY 3
If G and GA are partial duals then the corresponding partial dual embedding as constructed by Theorem:, is {G\A c , G A \ (Ac), ,E}, where A = (G)\A. Moreover, G(respectively GA) is obtained from G\Ac (respectively GA\(Ac)) by
adding an edge between the vertices of G\Ac (respectively GA\(Ac ) that are incident with the two edges in E that have the same color for each color.
DEFINITION
If G and H are partially dual graphs that can be obtained from a partial dual embedding {G%,H%, ,E} in the way described by theorem, Two graphs G1 and G2 are partial duals if and only if there exists a partial dual embedding{G1%,G2%, ,E} such that for each i, Gi is obtained from Gi% by adding an edge between the vertices of Gi% , that are incident with the two edges in E that have the same color, for each color, then we say that{G%,H%, ,E} Is a partial dual embedding for G and H.
TABLE 1: GRAPH REPRESENTATIONS Type of General graph Descripti Representati on on Related Engineeri ng Discipline s Example of Engineeri ng System Representati on of the example Engineering System
Type of graphRepresentationGeneralDescriptionRelatedEngineeringdisciplinesExample of EngineeringSystemRepresentation of the exampleEngineeringsystemFlow GraphRepresentation(FGR).Each edge inFGR is associateda vector calledflow. Flows inFGR satisfy theflow law,stating that sumof flows in eachcut-set is equal tozero.Determinestructures,staticsystems,electriccircuits.PotentialGraphReprese ntation(PGR).Each vertex inPGR is associateda vector, calledpotential law,saying that thesum of potentialdifferences ineach circuit isequal to zero.Mechanisms,g e a r t r a i n s , electriccircuits.
SECTION-2
on two practical examples, to obtain a new engineering design by transferring a known one from some other field through mathematical relations. When facing a specific engineering design problem, the important issue to be resolved p r i o r t o c o m m e n c i n g a p r o c e s s i s t o d e c i d e w h a t k n o w n e n g i n e e r i n g s y s t e m f r o m o t h e r engineering domain should be transferred: The problem formulation is transferred from the domain in which the engineering system is to be found to the s e c o n d d o m a i n . T h e n i t i s checked what known engineering system satisfies the obtained requirements and if such s y s t e m i s f o u n d i t i s transferred to the original engineering domain. Following is t h e algorithmic description of the technique:
(7)The graph representation dual to the g r a p h o b t a i n e d i n s t e p 6 i s b u i l t t h e representation for the original design problem is obtained. (8)From the graph obtained in step 7, an e n g i n e e r i n g s y s t e m f r o m t h e o r i g i n a l engineering domain is built. The construction process can be performed gradually, by augmenting one element of the system at a time. Figure2:presents the flow chart describing above design.
DESIGN BY MEANS OF THE DUALITY RELATION BETWEEN MECHANISMS AND DETERMINATE TRUSSES
Flow graph representation is used to represent determine trusses and Potential graph representation is used to represent mechanisms, thus we can establish a knowledge transfer c h a n n e l b e t w e e n t h e t w o systems passing through duality relation between t h e i r representations. This channel makes possible designing new trusses, starting from known mechanisms, or conversely new mechanisms starting from known trusses. The terms of dual design technique for such a case are listed in Table: 2
TABLE 2: CORRESPONDENCE BETWEEN THE TERMINOLOGY OF DUAL GRAPH DESIGN TECHNIQUE AND THE CASE STUDY
Dual graph techniqueCurrent ExampleO r i g i n a l E n g i n e e r i n g d o m a i n T r u s s e s S e c o n d a r y e n g i n e e r i n g d o m a i n M e c h a n i s m s O r i g i n a g r a p h
r e p r e s e n t a t i o n F G R Secondary ( d u a l ) g r a p h r e p r e s e n t a t i o n P G R The correspondence between the terminologies of the graph representations and the two engineering domains is briefly described in Table: 3
TABLE 3: FGR AND PGR CONSTRUCTION RULES AND THE DUALITY RELATION BETWEEN THEM
Terminology of the originalTerminology of theoriginal graphTerminology in thesecondaryTerminology insecondary
t e x . K i n e m a t i c a l p a i r . Internal force of theelement.Flow through theedge.Potential differenceof the edge.Relative velocity of the link.C u t s e t . C i r c u i t .
Following is an example of applying the technique for solution of a specific truss design problem. Following four steps deal with transferring the problem formulation from trusses into the terminology of graph representation and then to mechanisms. This transfer process is schematically outlined in Figure: 3 Step 1: Starting the design problem in the terminology of the original domain. Step 2: Transferring the design problem into the terminology of the original graph. Step 3: Translating the problem to dual graph representation terminology. Step 4: Translating problem statement from dual graph to terminology of the secondary engineering domain.
Step 5: Solving the problem in the secondary domain. The solution for a mechanism design p r o b l e m , a s i t i s s t a t e d i n s t e p 3 , c a n b e o b t a i n e d i n a s t r a i g h t f o r w a r d m a n n e r t h r o u g h employing instant center method, as shown in Figure :4. Finally, the design of the mechanism can be translated through the graph representation into a new design of a truss. Steps 57 for obtaining the truss design complying to the original requirements are shown in Figure: 5.
Step 6: Constructing the graph for the design solution obtained in the secondary engineering domain. Step 7: Constructing graph dual obtained in step 6. Step 8: Building an engineering system for the original engineering design from the graph obtained in step 7.
Figure 5: Obtaining a new truss design from the known design of mechanism.
GRAPH COLORING
In Graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called colors to elements of a graph. In its simplest form, it is a way of coloring the vertices of a graph such that no two adjacent vertices share the same color; this is called a vertex coloring.
EXAMPLE
Figure: 1
A proper vertex coloring of the graph with 3-colors, the minimum number possible. The convection of using colors originates from coloring the numbers of a map, where each face is literally colored. This was generalized to coloring the faces of a graph embedded in the plane by planar duality it became coloring the vertices and in this form it generalizes to all graphs.
Figure: 2
For any given map, we can construct its dual graph as follows. Put a vertex inside e a c h r e g i o n o f t h e m a p a n d c o n n e c t t w o d i s t i n c t v e r t i c e s b y a n e d g e i f a n d o n l y i f t h e i r respective regions share a whole segment of their boundaries in common. Then, a proper vertex coloring of the dual graph yields a proper coloring of the regions of the original map.
Figure 4: The dual graph of the map of India. We use vertex coloring algorithm to find a proper coloring of the map of India with four colors.
countries. GSM is a cellular network with its entire geographical range divided into hexagonal cells. Each cell has a communication tower which connects with mobile phones within the cell. All mobile phone connect to the GSM network by searching for cells in the immediate vicinity. GSM networks operate in only four different frequency ranges. The reason why only four different frequencies suffice is clear: the map of the cellular regions can be properly colored by using only four different colors! That is the map of India is colored with a minimum of four colors only. Here regions sharing the same color to share the same frequency. So, the vertex coloring may be used for assigning at most four different frequencies for any GSM mobile phone network.
CONCLUSION
The dissertation on A STUDY ON DUAL GRAPHS in Graph theory deals with afew interesting topics in dual graphs. The first chapter covers the Introduction to Graph theory, Basic definitions, examples and dual graphs. Theorems on Dual graphs are dealt with in the second chapter. In the third chapter, a discussion on the self-dual graphs is done. The fourth chapter deals with the characterization of partially dual graphs. Applications of Dual graphs are dealt with in the fifth chapter.
BIBLIOGRAPHY
1. Arumugam.S and Ramachandran Invitation to Graph Theory, Scitech Publications, Edition 2001.78 2. Balakrishnan.V.K Graph Theory Schaums outlines Tata McGraw Hill Edition 2004. 3.Bela Bollabas Modern Graph Theory, Graduate Texts i n M a t h e m a t i c s , S p r i n g e r Verlag. 4. Bhisma Rao.G.S.S Discrete Mathematics and Graph Theory, Scitech Edition2001 5. Bondy.J.A and Murthy.U.S.R Graph Theory with Applications Mac. Millan London,1976. 6. Brigitte Servatius and Herman Servatius Self-Dual Graphs, Discrete Math., 1996. 7. Douglus B.West Introduction to Graph Theory, Pearson Education Ltd, Edition 2007. 8. Iain Moffatt A Characterization of Partially Dual Graphs, Google. 9. Narsingh Deo Graph Theory with Applications to Engineering and Computer Science Prentice Hall of India Pvt. Ltd 1974. 10. Dr. Offer Shai and Daniel Rubin Design Through Duality, Google. 11.Reinhard Diestel Graph Theory Graduate Texts in M a t h e m a t i c s , S p r i n g e r V e r l a g 1991. 12. Robin J.Wilson Introduction to Graph Theory, Pearson Education Ltd, Fourth Edition2007. 13. Shariefuddin Pirzada and Ashay Dharwadker Applications of Graph Theory, Journal of Korean Society for Industrial and Applied Mathematics, vol.11 2007.
14. Sooryanarayan.B and Ranganath.G.K Graph Theory and its Applications, Chands and Company Ltd. Edition 2001.
ACKNOWLEDGEMENT
I express my heartiest gratitude to the Almighty God, to whom I owe everything whose continuous inspiration and enlightment made me prepare this dissertation. I wish to express my sincere thanks to, Principal, Auxilium College (Autonomous),Vellore-6, for her enthusiastic words and constant encouragement which helped me very much to carry out this research activity. I express my sincere and deep sense of gratitude to my guide and Head of the department of Mathematics, Auxilium College (Autonomous), Vellore-6, for her valuable guidance and wise counsel in bringing out this dissertation. I offer my humble thanks to all the staff members of the department of Mathematics, Auxilium College (Autonomous), especially to, Vice Principal (Shift II), Auxilium College. I thank my beloved family members especially to my brothers and all well wishers for their help during the course of my work.
vff