arxiv: v2 [math.co] 30 Jun 2013

Similar documents
arxiv: v1 [math.co] 11 Jul 2016

Some results on the reduced power graph of a group

The power graph of a finite group, II

HW Graph Theory SOLUTIONS (hbovik) - Q

Unmixed Graphs that are Domains

Reverse mathematics of some topics from algorithmic graph theory

STRUCTURE OF THE SET OF ALL MINIMAL TOTAL DOMINATING FUNCTIONS OF SOME CLASSES OF GRAPHS

arxiv: v1 [math.ac] 11 Dec 2013

USING GRAPHS AND GAMES TO GENERATE CAP SET BOUNDS

Independent Transversals in r-partite Graphs

A Creative Review on Integer Additive Set-Valued Graphs

ON THE SET OF REDUCED φ-partitions OF A POSITIVE INTEGER

Antoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS

Graph fundamentals. Matrices associated with a graph

On the chromatic number of the lexicographic product and the Cartesian sum of graphs

Centralizers of Coxeter Elements and Inner Automorphisms of Right-Angled Coxeter Groups

Generating p-extremal graphs

DECOMPOSITIONS OF MULTIGRAPHS INTO PARTS WITH THE SAME SIZE

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

Some Nordhaus-Gaddum-type Results

DEPTH OF FACTORS OF SQUARE FREE MONOMIAL IDEALS

Math 354 Transition graphs and subshifts November 26, 2014

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms

On shredders and vertex connectivity augmentation

Extremal Graphs Having No Stable Cutsets

Combinatorial Optimization

The Exquisite Integer Additive Set-Labeling of Graphs

Proof of a Conjecture on Monomial Graphs

Efficient Reassembling of Graphs, Part 1: The Linear Case

Polynomials, Ideals, and Gröbner Bases

Chordal Graphs, Interval Graphs, and wqo

On the classication of algebras

Strongly Regular Graphs, part 1

(Rgs) Rings Math 683L (Summer 2003)

The structure of bull-free graphs II elementary trigraphs

arxiv: v2 [math.co] 31 Jul 2015

where c R and the content of f is one. 1

arxiv:math/ v1 [math.co] 3 Sep 2000

T -choosability in graphs

Erdös-Ko-Rado theorems for chordal and bipartite graphs

arxiv: v1 [math.co] 5 Sep 2016

arxiv: v2 [math.co] 19 Jun 2018

GRAPH CHOOSABILITY AND DOUBLE LIST COLORABILITY. Hamid-Reza Fanaï

Paths and cycles in extended and decomposable digraphs

Decomposing dense bipartite graphs into 4-cycles

Induced subgraphs of prescribed size

Graph homomorphism into an odd cycle

Claw-Free Graphs With Strongly Perfect Complements. Fractional and Integral Version.

Strongly Regular Decompositions of the Complete Graph

Even Cycles in Hypergraphs.

Divisor matrices and magic sequences

Cycles through 23 vertices in 3-connected cubic planar graphs

Self-complementary circulant graphs

A Polarization Operation for Pseudomonomial Ideals

The Algorithmic Aspects of the Regularity Lemma

On the hardness of losing width

ON THE ORDER OF ARC-STABILISERS IN ARC-TRANSITIVE GRAPHS, II

Arithmetic Progressions with Constant Weight

arxiv: v2 [math.gr] 17 Dec 2017

Learning from Sensor Data: Set II. Behnaam Aazhang J.S. Abercombie Professor Electrical and Computer Engineering Rice University

Algebra Homework, Edition 2 9 September 2010

3-Chromatic Cubic Graphs with Complementary Connected Domination Number Three

Preliminaries and Complexity Theory

Multilevel Distance Labelings for Paths and Cycles

NOTES ON DIOPHANTINE APPROXIMATION

DISTINGUISHING PARTITIONS AND ASYMMETRIC UNIFORM HYPERGRAPHS

MULTIPLICITIES OF MONOMIAL IDEALS

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

The Lefthanded Local Lemma characterizes chordal dependency graphs

On the stable set of associated prime ideals of monomial ideals and square-free monomial ideals

Zero sum partition of Abelian groups into sets of the same order and its applications

Representations of disjoint unions of complete graphs

Vertex colorings of graphs without short odd cycles

Co-intersection graph of submodules of a module

C-Perfect K-Uniform Hypergraphs

arxiv: v1 [math.co] 20 Dec 2016

SEMI-STRONG SPLIT DOMINATION IN GRAPHS. Communicated by Mehdi Alaeiyan. 1. Introduction

1.10 Matrix Representation of Graphs

Complexity Theory VU , SS The Polynomial Hierarchy. Reinhard Pichler

L(2,1)-Labeling: An Algorithmic Approach to Cycle Dominated Graphs

Outline. Complexity Theory EXACT TSP. The Class DP. Definition. Problem EXACT TSP. Complexity of EXACT TSP. Proposition VU 181.

A GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis

MATH 326: RINGS AND MODULES STEFAN GILLE

DISTANCE LABELINGS: A GENERALIZATION OF LANGFORD SEQUENCES. 1. Introduction

The structure of bull-free graphs I three-edge-paths with centers and anticenters

NEW CLASSES OF SET-THEORETIC COMPLETE INTERSECTION MONOMIAL IDEALS

A characterization of graphs by codes from their incidence matrices

Laplacian Integral Graphs with Maximum Degree 3

HAMILTONICITY AND FORBIDDEN SUBGRAPHS IN 4-CONNECTED GRAPHS

Further Studies on the Sparing Number of Graphs

Near-domination in graphs

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Chapter 8. P-adic numbers. 8.1 Absolute values

arxiv: v1 [math.co] 17 Jan 2019

Some hard families of parameterised counting problems

Number Theory and Graph Theory. Prime numbers and congruences.

Markov Independence (Continued)

MATH SOLUTIONS TO PRACTICE MIDTERM LECTURE 1, SUMMER Given vector spaces V and W, V W is the vector space given by

arxiv: v1 [math.co] 29 Jul 2010

Four-coloring P 6 -free graphs. I. Extending an excellent precoloring

Transcription:

A polynomial representation and a unique code of a simple undirected graph arxiv:1304.5847v2 [math.co] 30 Jun 2013 Shamik Ghosh, Raibatak Sen Gupta, M. K. Sen Abstract In this note we introduce a representation of simple undirected graphs in terms of polynomials and obtain a unique code for a simple undirected graph. AMS Subject Classifications: 05C62, 05C60. Keywords: Graph, simple graph, undirected graph, graph representation, graph isomorphism. Let M be the set of all positive integers greater than 1. Let n M and V (n) be the set of all divisors of n, greater than 1. Define a simple undirected graph G(n) = (V, E) with the vertex set V = V (n) and any two distinct vertices a, b V are adjacent if and only if gcd(a, b) > 1. From an observation in [1] it follows that any simple undirected graph is isomorphic to an induced subgraph of G(n) for some n M. For the sake of completeness and further use of the construction we provide a sketch of the proof below. Throughout the note by a graph we mean a simple undirected graph. Theorem 1. Let G be a graph. Then G is isomorphic to an induced subgraph of G(n) for some n M. Proof. Let G = (V, E) be a graph. Let {C 1, C 2,..., C k } be the set of all maximal cliques of G. For i = 1, 2,..., k, let p i be the i th prime. For each v V, define s 1 (v) = {p j v C j }. Now in order to make the values of s 1 (v) distinct for distinct vertices we modify s 1 (v) by using different powers of primes p j, if required. For each v V, let s(v) be the modified value of s 1 (v). Let n be the least common multiple of {s(v) v V }. Now it is clear that for any u, v V, u is adjacent to v in G u, v C i for some i {1, 2,..., k} p i is a factor of both s(u) and s(v) for some i {1, 2,..., k} gcd(s(u), s(v)) > 1 u is adjacent to v in G(n). Thus G is isomorphic to the subgraph of G(n) induced by the set {s(v) v V } of vertices of G(n). Department of Mathematics, Jadavpur University, Kolkata-700032, India. sghosh@math.jdvu.ac.in (Communicating author) Department of Mathematics, Jadavpur University, Kolkata-700032, India. raibatak sengupta@yahoo.co.in Department of Pure Mathematics, University of Calcutta, Kolkata-700019, India. senmk6@yahoo.com 1

Example 2. Consider the graph G = (V, E) in Figure 1. The maximal cliques of G are C 1 = {v 1, v 2, v 3, v 4 }, C 2 = {v 2, v 3, v 4, v 5, v 6 }, C 3 = {v 7, v 8, v 10 }, C 4 = {v 9, v 10 } and C 5 = {v 10, v 11 }. We assign the i th prime to the clique C i for i = 1, 2,..., 5. Then for each v V we compute s 1 (v) and s(v) as in the proof of Theorem 1. v v 1 v 2 v 3 v 4 v 5 v 6 v 7 v 8 v 9 v 10 v 11 s 1 (v) 2 2 3 2 3 2 3 3 3 5 5 7 5 7 11 11 s 1 (v) 2 6 6 6 3 3 5 5 7 385 11 s(v) 2 2 3 2 2 3 2 3 2 3 3 2 5 5 2 7 385 11 s(v) 2 6 12 18 3 9 5 25 7 385 11 v 4 v 6 v 8 v 11 v 1 v 2 v 10 v 5 v 7 v 9 v 3 Figure 1: The graph G in Example 2 So G is isomorphic to the subgraph of G(n) induced by the set {2, 3, 5, 6, 7, 9, 11, 12, 18, 25, 385} of vertices of G(n), where n = 2 2 3 2 5 2 7 11 = 69300. It is important to note that instead of taking all maximal cliques of G in Theorem 1, it is sufficient to consider a set of cliques of G which covers both vertices and edges of G. Definition 3. Let G = (V, E) be a graph. A set S of cliques of G is called a total clique covering of G if S covers both V and E. The minimum size of a total clique covering of G is called the total clique covering number of G. We denote it by θ t (G). On the other hand, given a finite sequence of positive integers, one can construct a simple undirected graph as follows : Definition 4. Let σ = (a 1, a 2,..., a m ) be a finite sequence of positive integers. Then corresponding to this sequence, define a graph G[σ] = (V, E), where V = {v 1, v 2,..., v m }, v i corresponds to a i (a i is called the label of v i ) for i = 1, 2,..., m, and v i v j E if and only if i j and gcd(a i, a j ) > 1. The graph G[σ] is said to be realized by the sequence σ. Now by Theorem 1, every graph can be realized by some sequence of positive integers. Also in Definition 4, it is sufficient to take the entries a i of σ square-free if a i > 1. Thus for convenience we specify the sequence in the following manner. 2

Definition 5. Let G = (V, E) be a graph. Let V > 1 and the graph G 1 be obtained from G by deleting isolated vertices of G, if there is any. Let σ 1 be a finite non-decreasing sequence of square-free positive integers greater than 1 such that G 1 = G[σ1 ]. If G has s isolated vertices, then we prefix s number of 1 s in σ 1 to obtain the sequence σ. For s = 0, σ = σ 1. If G is a graph with a single vertex, then σ = (1). Then G = G[σ] and the sequence σ is called a coding sequence of G. The entries of σ, which are greater than 1, are called non-trivial. Let λ(σ) be the least common multiple of all non-trivial entries of σ. Lemma 6. Let σ = (λ 1, λ 2,..., λ m ) be a coding sequence of a graph G = (V, E). Let V = {v 1, v 2,..., v m }, where v i corresponds to λ i for all i = 1, 2,..., m (we write λ i = µ(v i )). Let {p 1, p 2,..., p k } be the set of all distinct prime factors of λ(σ). Suppose G has s 0 isolated vertices. Define S j = {v j } for j = 1, 2,..., s and for each j = 1, 2,..., k, define S s+j = {v i V p j divides µ(v i ) = λ i }. Then S = {S j j = 1, 2,..., s + k} is a total clique covering of G such that v S i1 S i2 S ir (i t > s, t = 1, 2,..., r) and v / S j for all j {s + 1, s + 2,..., s + k} {i 1, i 2,..., i r } if and only if µ(v) = p i1 p i2 p ir and for each j = 1, 2,..., s, v S j if and only if µ(v) = 1. Proof. We first note that S j is a clique containing only the vertex v j for j = 1, 2,..., s. Now for each j {1, 2,..., k}, p j divides λ i for some i {s + 1, s + 2,..., m} as p j divides λ(σ). Thus v i S s+j. So S j, for all j = 1, 2,... s+k. Also for any two vertices v r, v t S s+j, p j divides both λ r and λ t. So v r and v t are adjacent in G. Thus each S j is a clique of G. Again since {p 1, p 2,..., p k } is the set of all prime factors of λ(σ), each vertex v V belongs to S j for some j {1, 2,..., s + k}. So S covers V. Moreover, two vertices v i and v j are adjacent if and only if gcd(λ i, λ j ) > 1. So λ i and λ j must have at least one common prime factor, say, p r and hence v i and v j both lie in S s+r. So S also covers E and hence S is a total clique covering of G. Now v S i1 S i2 S ir (i t > s, t = 1, 2,..., r) and v / S j for all j {s + 1, s + 2,..., s + k} {i 1, i 2,..., i r } if and only if p i1 p i2 p ir divides µ(v) but p j does not divide µ(v) for all j {s + 1, s + 2,..., s + k} {i 1, i 2,..., i r }. Now since non-trivial entries of σ are square-free integers, µ(v) is a product of distinct primes and hence µ(v) = p i1 p i2 p ir. By Definition 5, for each j = 1, 2,..., s, v S j if and only if µ(v) = 1. Definition 7. Let σ = (λ 1, λ 2,..., λ m ) be a coding sequence of a graph G. Then the total clique covering S of G as defined in Lemma 6 is called the total clique covering of G corresponding to the sequence σ and is denoted by S σ. Lemma 8. Let G = (V, E) be a graph and S be a total clique covering of G. Then there exists a coding sequence σ of G such that S = S σ. Proof. Let S = {C 1, C 2,..., C s+k }, where C i = 1 for i = 1, 2,..., s, s 0. Let p i denote the i th prime. We define a map f : V N by f(v) = 1 if v C 1 C 2 C s and f(v) = p i1 p i2 p ir if v C s+i1 C s+i2 C s+ir (where 1 r k) and v / C j for all j {s + 1, s + 2,..., s + k} {s + i 1, s + i 2,..., s + i r }. Now S being a total clique covering, every vertex is assigned a label in 3

this way. Also note that two vertices u, v are adjacent in G if and only if they lie in some C s+j S and consequently, if and only if f(u) and f(v) have a common prime factor p j. Let us arrange the vertices of G according to the non-decreasing order of {f(v) v V } and define the sequence σ by σ = (f(v 1 ), f(v 2 ),..., f(v m )), where f(v 1 ) f(v 2 ) f(v m ). Then clearly σ is a coding sequence of G and S = S σ. Theorem 9. Let G be a graph with s 0 isolated vertices and k be the minimum number of prime factors of λ(σ) among all coding sequences σ of G. Then θ t (G) = k + s. Proof. Let σ be a coding sequence of G such that the number of prime factors of λ(σ) is k. Then by Lemma 6, k + s = S σ θ t (G). Again let S be a total clique covering of G such S = θ t (G). Then by Lemma 8, there is a coding sequence σ of G such that S = S σ and it follows from the proof of Lemma 8 that there are S s prime factors of λ(σ). Thus k S s = θ t (G) s. Therefore θ t (G) = k + s. Definition 10. Let G = (V, E) be a graph with V = m and s 0 isolated vertices. Let k = θ t (G) s. Let S = {C 1, C 2,..., C k+s } be a total clique covering of G such S = θ t (G) and C i = 1 for i = 1, 2,..., s. Now as in the proof of Lemma 8, there are k! ways of assigning first k primes to the cliques C s+1, C s+2,..., C s+k to obtain at most k! different coding sequences. Let σ[s] be the least among them in the lexicographic ordering in R m. Then σ[s] is called the coding sequence of G with respect to S. Let {S 1, S 2,..., S r } be the set of all total clique coverings of G such that S i = θ t (G) for all i = 1, 2,..., r. Let σ(g) be the least element of {σ[s i ] i = 1, 2,..., r} in the lexicographic ordering in R m. Then σ(g) is called the code of the graph G. For example, (2, 3, 3, 5, 5, 6, 6, 6, 7, 11, 385) and (2, 3, 3, 5, 5, 7, 10, 10, 10, 11, 231) are two coding sequences of the graph G in Example 2 with respect to the total clique covering S = {C 1, C 2,..., C 5 }. It is easy to see that θ t (G) = 5 and S is the only total clique covering with 5 cliques. The code of G is (2, 2, 3, 3, 5, 7, 10, 10, 10, 11, 231). Note that for any graph G, we have G = G[σ(G)]. Theorem 11. Let G 1 and G 2 be two graphs. Then G 1 = G2 if and only if σ(g 1 ) = σ(g 2 ). Proof. The proof follows from Definition 10. Definition 12. Let G = (V, E) be a graph with s 0 isolated vertices. Let S = {C 1, C 2,..., C s+k } be a total clique covering of G, where C i = 1 for i = 1, 2,..., s. If v / C 1 C 2 C s, let m(v) = {x j v C s+j } be a monomial in the polynomial semiring Z + 0 [x 1, x 2,..., x k ] of k variables over the semiring of non-negative integers with usual addition and multiplication. For any v C i, i = 1, 2,..., s, define m(v) = 1. Now we define f(g, S) = f(x 1, x 2,..., x k ) = m(v). v V Then f(g, S) is said to be a polynomial representation of G with respect to S. 4

Consider the graph G in Example 2. Then f(g, S) = x 1 + 2x 2 + 2x 3 + x 4 + x 5 + 3x 1 x 2 + x 3 x 4 x 5 is a polynomial representation of G with respect to S = {C 1, C 2, C 3, C 4, C 5 }. Now let G = (V, E) be a graph and σ = (λ 1, λ 2,..., λ m ) be a coding sequence of G. From the construction of S σ (cf. Lemma 6, Definition 7) and by Definition 12 it follows that f(g, S σ ) can also be obtained from σ by replacing primes p i by x i (i < j p i < p j ) and commas by the addition symbol. It is important to note that the constant term of f(g, S) in Definition 12 is the number of isolated vertices of G. Definition 13. Let G be a graph and σ(g) be the code of G. Then the polynomial representation of G corresponding to σ(g), i.e., f(g, S σ(g) ) is called the normal polynomial representation or the canonical polynomial representation of G and is denoted by F (G). The normal polynomial representation of the graph G in Example 2 is given by F (G) = 2x 1 + 2x 2 + x 3 + x 4 + x 5 + 3x 1 x 3 + x 2 x 4 x 5. The following interesting observations are immediate from Definition 13. Observation 14. A graph G is disconnected if and only if F (G) = f 1 + f 2, where f 1 and f 2 are polynomials with no common variables between them. The same is true for f(g, S) for any total clique covering S of G. Observation 15. A graph G is bipartitie if and only if F (G) = f 1 +f 2, where monomials belonging to the same f i have no common variables, for i=1,2. The same is true for f(g, S) for any total clique covering S of G. We now proceed to obtain a formula for F (G(n)). Theorem 16. Let n = p r 1 1 pr 2 2 pr k k M, where p i s are distinct primes. Then θ t (G(n)) = k and there is only one total clique covering of G(n) with precisely k cliques. Proof. If n is prime then the result is obvious. Suppose n is not a prime number. Now the vertices of G(n) correspond to all the divisors of n, greater than 1. So there are k vertices labeled p i, i = 1, 2,..., k. Clearly, no two of them can lie in the same clique as gcd(p i, p j ) = 1 for all i j. So in any total clique covering of G(n), these k vertices will be in k different cliques. In other words, any total clique covering has at least k cliques. Now let C i = {v V (G(n)) p i divides v}. Then S = {C i i = 1, 2,..., k} is easily seen to be a total clique covering of G(n). So we have a total clique covering consisting of precisely k cliques. Hence θ t (G(n)) = k. Now we show that there is only one total clique covering of G(n) containing precisely k cliques. Suppose there is another total clique covering D = {D 1, D 2,..., D k } of G with exactly k cliques. Here also, the vertices labeled p i, i = 1, 2,..., k, are in distinct cliques. Without loss of generality, let p i D i for i = 1, 2,..., k. Now for any i, p i is not adjacent to those vertices which are not in C i. So D i C i for all i = 1, 2,..., k. Now suppose that for some j, there is a vertex v in C j which is not in D j. Now D being a total clique covering, v has to lie in at least one D l, where 5

l j. Since a total clique covering covers all the edges, the edge between v and p j will be covered. v D j implies that v and p j both lie in some D l, where l j. But this contradicts the fact that p j is not adjacent to p l. So D i = C i for all i = 1, 2,..., k and hence D = S. Let α(g) denote the maximum size of an independent set in a graph G. In general θ t (G) α(g) for any graph G. The proof of the following proposition is similar to that of Theorem 16 and so omitted. Proposition 17. Let G be a graph with α(g) = k. If {v 1, v 2,..., v k } is an independent set and S = {S 1, S 2,..., S k } is a total clique covering of G such that each v i lies only in S i among cliques in S for each i = 1, 2,..., k, then θ t (G) = α(g) = k and S is the only total clique covering containing exactly k cliques. Now we provide a formula for F (G(n)). Theorem 18. Let n = p r 1 1 pr 2 2 pr k k M, where p i s are distinct primes and r 1 r 2 r k 1, k 1. Then F (G(n)) contains all the monomials x i1 x i2 x is, where {i 1, i 2,..., i s } {1, 2,..., k}, s 1 with the coefficient r i1 r i2 r is, i.e., F (G(n)) = i 1 <i 2 < <is {i 1,i 2,...,is} {1,2,...,k} unless n is prime. If n is prime, then F (G(n)) = 1. r i1 r i2 r is x i1 x i2 x is. Proof. If n is prime, then G(n) = K 1 and so F (G(n)) = 1. Suppose n is not prime. Now by Theorem 16, θ t (G(n)) = k and there is only one total clique covering, say, S of G(n) with precisely k cliques. Let S = {C 1, C 2,..., C k } where C i = {v V (G(n)) p i divides v} for i = 1, 2,..., k. So σ(g(n)) is σ[s]. First, let k > 1. Now σ[s] is the least (in the lexicographic ordering) among the coding sequences of G obtained from S. By Definition 10, any such coding sequence involves the primes {t 1, t 2,..., t k }, where t i is the i th prime. Now for any p i, there are r i elements (namely, p i, p 2 i,..., pr i i ) which belongs to only the clique C i. So considering the labellings and the fact that r 1 r 2 r k 1, it is easy to see that the coding sequence will be the least in the lexicographic ordering if we assign t i to the clique C i. So the vertex corresponding to a number p q i 1 i 1 p q i 2 i 2 p q is i s, (1 q ij r ij for j = 1, 2,..., s where 1 s k), is assigned the label t i1 t i2 t is. In other words, to find out σ(g(n)), we first consider the set of all divisors {m 1, m 2,..., m r } (say) of n, greater than 1, where r = (r 1 + 1)(r 2 + 1) (r k + 1) 1. Then in each m j, we first replace p i by t i, then make the resultant entries square-free and arrange them in non-decreasing order. This gives us σ(g(n)) = (λ 1, λ 2,..., λ r ), where each λ i is a product of primes of the form t i1 t i2 t is, (1 s k) and this particular number repeats, say, ν times in the sequence σ(g(n)), where ν is the number of divisors of n (greater than 1) which are of the form p q i 1 s j = 1, 2,..., s, i.e., ν = r ij. j=1 6 i 1 p q i 2 i 2 p q is i s, 1 q ij r ij for

Thus by Definition 13 we have F (G(n)) = i 1 <i 2 < <is {i 1,i 2,...,is} {1,2,...,k} r i1 r i2 r is x i1 x i2 x is. Finally, if k = 1, r 1 > 1, then G(n) = K r1. So F (G(n)) = r 1 x 1, which satisfies the above formula. This completes the proof. For example, F (G(p 2 qr)) = F (G(60)) = 2x 1 +x 2 +x 3 +2x 1 x 2 +2x 1 x 3 +x 2 x 3 +2x 1 x 2 x 3, where p, q, r are distinct primes. Further one may easily verify codes and normal polynomial representations for the following special classes of graphs. (i) σ(k 1 ) = (1), F (K 1 ) = 1, σ(k n ) = (2, 2,..., 2) (n times), F (K n ) = nx 1 for n 2, n 3 (ii) σ(p n ) = (p 1, p 2, p 1 p 3, p 2 p 4,..., p n 3 p n 1, p n 2 p n 1 ), F (P n ) = x 1 +x 2 + x i x i+2 +x n 2 x n 1 for n 3, n 2 (iii) σ(c n ) = (p 1 p 2, p 1 p 3, p 2 p 4,..., p n 2 p n, p n 1 p n ), F (C n ) = x 1 x 2 + x 1 x 3 + x i x i+2 + x n 1 x n for n 4, where p i is the i th prime for i = 1, 2,..., n and K n, P n and C n are respectively the complete graph, the path and the cycle with n vertices. Conclusion There are various representations of simple undirected graphs in terms of adjacency matrices, adjacency lists, unordered pairs etc. But none of them is unique for isomorphic graphs except the one described in the nauty algorithm by McKay [2]. But this is, in fact, a canonical isomorph [3] which is a graph rather than a sequence of integers as the code of a graph introduced here. The importance of the code σ(g) is its uniqueness and its simple form. It is same for any set of isomorphic graphs. The determination of σ(g) is not always easy, but once it is obtained for a graph it becomes the characteristic of the graph. Authors believe that further study of the code and the normal polynomial representation of a simple undirected graph will be helpful in further research on graph theory. The purpose of this note is to communicate these interesting observations to all graph theorists. i=1 i=1 References [1] Ivy Chakrabarty, Shamik Ghosh, T. K. Mukherjee and M. K. Sen, Intersection graphs of ideals of rings, Discrete Math. 309 (2009), 5381 5392. [2] B. D. McKay, Practical graph isomorphism, Congr. Numer., 30 (1981), 45 65. [3] Stephen G. Hartke and A. J. Radcliffe, McKay s canonical graph labeling algorithm, Contemporary Mathematics, 479 (2009), 99 111. 7