SlideShare ist ein Scribd-Unternehmen logo
1 von 5
Downloaden Sie, um offline zu lesen
International Journal on Computational Sciences & Applications (IJCSA) Vol.3, No.3, June 2013
DOI:10.5121/ijcsa.2013.3302 19
ON THE 1-2-3-EDGE WEIGHTING AND
VERTEX COLORING OF COMPLETE GRAPH
Mohammad Reza Farahani1
1
Department of Applied Mathematics, Iran University of Science and Technology (IUST)
Narmak, Tehran, Iran
Mr_Farahani@Mathdep.iust.ac.ir
ABSTRACT
A WEIGHTING OF THE EDGES OF A GRAPH IS CALLED VERTEX-COLORING IF THE LABELED DEGREES OF THE
VERTICES YIELD A PROPER COLORING OF THE GRAPH. IN OTHER WORDS, FOR SOME ,k ∈ LET
F:E(G)→{1,2,…,K} BE AN INTEGER WEIGHTING OF THE EDGES OF A GRAPH G=(V(G);E(G)) WHICH HAVE N
VERTICES AND IMPLIES THAT A VERTEX-COLORING
( )
: ( )v v V G
S f vu∈
= ∑ FOR EVERY VERTEX V∈V(G). IN THIS
PAPER WE OBTAIN FOR K=3 A PROPER 1-2-3-EDGE WEIGHTING AND VERTEX COLORING A FAMILY OF COMPLETE
GRAPHS.
KEYWORDS
Network Protocols, Edge-labeling; Vertex-coloring; Complete Graph.
1. INTRODUCTION
For a graph G=(V(G);E(G)), there exist a function f:E(G)→{1,2,…,k} be an edge weighting of the
edges of G. In other words, for any two arbitrary vertices u,v∈V(G) and edge uv∈E(G) we will
have f(uv)∈{1,2,…,k}. Also, ( )
: ( )v u V G
S f vu∈
= ∑ is a color for a vertex v∈V(G) such that Su≠Sv for
any two arbitrary distinct vertices u,v of G (consider S={Sv}v
∈V(G)) and therefore, a function
s:V(G)→S is a proper vertex-coloring for G.
In 2002, Karonski, Łuczak and Thomason conjectured that such a weighting with k=3 is possible
for all such graphs (see Conjecture 1 and references [8,10]). For k=2 is not sufficient as seen for
instance in complete graphs and cycles of length not divisible by 4. A first constant bound of
k=30 was proved by Addario-Berry, et.al in 2007 [1], which was later improved to K=16 by
Addario-Berry's group in [2] and k=13 by T. Wang and Q. Yu in 2008, [13]. Recently, its new
bounds are k=5 and k=6 by Kalkowski, et.al [8, 9].
In this note we show that there is a proper1-2-3-edge weighting and vertex coloring for a family
K3q for all integer number q of complete graphs and obtain two above functions f and s for K3q
,q∀ ∈ exactly. Thus, we have following theorem that is the main result of this paper.
Theorem 1.1. Consider complete graph K3q with the vertex set V(K3q)={v1,v2,…,v3q} and
the edge set E(K3q)={eij=vivj|vi,vj∈V(K3q)} for every integer number q. Thus there are a
edge weighting f :E(K3q)→ {1,2,3} a vertex coloring s:V(K3q)→S={9q-3,9q-4,…,7q-2,7q-
International Journal on Computational Sciences & Applications (IJCSA) Vol.3, No.3, June 2013
20
3,7q-6,7q-10,…,3q+10,3q+6,3q+3}, such that the induced vertex weights
Si:= 1,
( )j j
n
j i if v v= ≠∑ ∈S.
2. MAIN RESULTS
At first, before prove Theorem 1.1, we contribute the following definition, which is useful to
proving.
Definition 2.1. Let f be a function that obtained from k-edge weighting and vertex coloring of a
connected graph G as order n. By using f, we can part the edge set E(G) into k important sets
E(G)i, k∀ ∈ and are equal to E(G)i={vivj
∈E(G)|f(vivj)=i} ⇒|E(G)i|=γi. Therefore m=|E(G)|=Σi
γi and E(G)= ( )i
.i
E G
In particular, for a 1-2-3-edge weighting and vertex coloring of complete graph Kn, we have three
partitions E(Kn)1, E(Kn)2 and E(Kn)3 as follows:
E(Kn)1={vivj∈E(Kn)|f(vivj)=1}⇒|E(Kn)1|=γn,
E(Kn)2={vivj
∈E(Kn)|f(vivj)=2}⇒|E(Kn)2|=βn,
E(Kn)3={vivj
∈E(Kn)|f(vivj)=3}⇒|E(Kn)3|=αn.
such that mn=|E(Kn)|=γ+β+α and E(Kn)1
∪ E(Kn)2
∪ E(Kn)3=E(Kn) (obviously, mn=( )2
( 1)
2
n n n −
= ).
Proof of Theorem 1.1. Consider the complete graph K3q ,q∀ ∈ with 3q vertices and 3
2
q(3q-
1) edges. For obtain all aims in Theorem 1.1, we present an algorithm for weighting all edges of
K3q with labels 1, 2 and 3.
2.1. ALGORITHM FOR 1-2-3-EDGE WEIGHTING AND VERTEX COLORING OF K3q (q ≥5):
1- Choose an arbitrary vertex v∈V(K3q) and label all inside edges to v with 3. If we name v by v1,
then ∀ u∈V(K3q) f(v1u)=3 and S1=3(3q-1).
2- Choose one of adjacent vertices with v1 (we name v2) and label all inside edges to v2 with 3;
except an edge v2u (that we name u by v3q), then for all u∈V(K3q), u≠v3q f(v2u)=3 and f(v2v3q)=2.
Thus S2=S1-1=9q-4.
3- Choose one of adjacent vertices with v1,v2 and name v3. We label all inside edges to v3 with 3;
except two edges v3v3q,v3u, then ∀ w∈V(K3q), w≠v3q,u f(v3w)=3 and f(v3v3q)=f(v3u)=2 (we name u
by v3q-1). Thus S3=S2-1=9q-5.
4- Choose one of adjacent vertices with v1,v2,v3 and name v4. We label all inside edges to v4 with
3; except two edges v4v3q,v4v3q-1 then ∀ w∈V(K3q), w≠v3q,v3q-1 f(v4w)=3, f(v4v3q-1)=2 and
f(v4v3q)=1. Thus S4=S3-1=9q-6.
I- (2≤I≤2q+1) Choose an arbitrary vertex v∈V(K3q) that didn't choose above (we name vi). So
If I be even, then we label all edge vivj with 3 for 1≤j≤3q-
[
2
]
1i +
, all edge vivj with 1 for 3q≥j≥3q-
[
2
]
1i +
+2 and label vivh (h=3q-
[
2
]
1i +
+1) with 2.
Else, I be odd, then we label all edge vivj with 3 for 1≤j≤3q-1-
[
2
]
1i +
, all edge vivj with 1 for
3q≥j≥3q-
[
2
]
1i +
+3 and label vivh (h=3q-
[
2
]
1i +
+1, 3q-
[
2
]
1i +
+2) with 2.
In other words,
International Journal on Computational Sciences & Applications (IJCSA) Vol.3, No.3, June 2013
21
( )1 3q3q 3q+1 3q+2
2 2 2
2,...,2 1 ... ( ) 3, ( ) 2, ( ) ... ( ) 1.i ii i i i ii
i q f v v f v v f v v f v v f v v     − − −
     
∀ = = = = = = = =
( )1 3q3q 3q 3q+1 3q+2
2 2 2 2
3,...,2 1 ... ( ) 3, ( ) ( ) 2, ( ) ... ( ) 1.i i ii i i i iiii q f v v f v v f v v f v v f v v f v v       − − − −
       
∀ = + = = = = = = = =
And obviously, Si= Si-1-1=9q-2-i.
2Q+2- Choose one of adjacent vertices with v1,v2,…,v2q+1 and name v2q+2. Label two edges
v2q+2v3q-1 and v2q+2v3q with label 2, 1 respectively and other inside edges to v2q+2 with 3, that
haven't a label. Therefore S2q+2=S2q+1-3=7q-6.
J- (3q-2≥J≥2q+3=3q-(q-3)) Choose a remaining vertex and name vj. Now, let j=3q-h (q-3≥h≥2)
and label three edges vjvk for k=2h+1, 2h+2, 2h+3 with label 2. Also, label all edges vjvk with
label 3 for 1≤k≤2h=6q-2j and other edge vjvk give label 1 (6q-2j+4=2h+4≤k≤3q). Then obviously
Sj=Sj-1-4=7q-6-4(j-(2q+2)) and vertex-color of vj is Sj=15q+2-4j.
3Q-2- For v3q-2, there are f(v3q-2v1)=f(v3q-2v2)=f(v3q-2v3)=f(v3q-2v4)=3, f(v3q-2v5)=f(v3q-2v6)=f(v3q-
2v7)=2 and f(v3q-2v8)=…= f(v3q-2v3q)=1. Thus S3q-2=S3q-3-4=3q+10.
3Q-1- For v3q-1, there are f(v3q-1v1)=f(v3q-1v2)=3, f(v3q-1v3)= f(v3q-1v4)= f(v3q-1v5)=2 and f(v3q-
1v6)=…= f(v3q-1v3q)=1. Thus S3q-1=S3q-2-4=3q+6.
Figure 1. The example of a 1-2-3-edge weighting and vertex coloring of K3 and K6.
3Q- Finally, for vertex v3q, the edge v3qv1 labeled with 3 and v3qv2 and v3qv3 labeled with 2. Also
all edge v3qvi (i=4,…,3q-1) labeled with one. Thus S3q=S3q-1-3=3q+3.
It is obvious that by running this algorithm on complete graph K3q for q=5,6,…, we can obtain its
1-2-3-edge weighting and vertex coloring. For small number 1,2,3,4, reader can see following
figures. The 1-2-3-edge weighting and vertex coloring of K3, K6, K9 and K12 aren't taken some
steps of above algorithm. These graphs are shown in Figure 1 and Figure 2. Also, reader can see
the running algorithm on K15 in Figure 3. Thus, by obtaining two functions
The edge weighting f :E(K3q)→ {1,2,3} and the vertex coloring s:V(K3q)→S={9q-3,9q-4,…,7q-
2,7q-3,7q-6,7q-10,…,3q+10,3q+6,3q+3}, proof of Theorem 1.1 is completed. □
International Journal on Computational Sciences & Applications (IJCSA) Vol.3, No.3, June 2013
22
Figure 2. Two example of algorithm to attain a 1-2-3-edge weighting and vertex coloring of K9 and K12.
Figure 3. An example of algorithm to attain a 1-2-3-edge weighting and vertex coloring of K15.
3. OPEN PROBLEMS AND CONJECTURES
In this section, we calculate some result that concluded from Theorem 1.1 and the algorithm for
1-2-3-edge weighting and vertex coloring of K3q. In continue, we introduce some open problem
and conjectures, which some of them maybe could be solved in the near future, by other reader.
Lemma 3.1. Consider the 1-2-3-edge weighting and vertex coloring of K3q= that obtained from
above algorithm and using denotations of Definition 2.1, we have γ3q=
2
3q 5q 2
,
2
− +
β3q=3q-2
and α3q=3q2
-2q+1.
Proof. The proving of lemma is easy; by refer to the algorithm for 1-2-3-edge weighting and
vertex coloring of K3q in proof of Theorem 1.1. Since obviously, q and 2q edges with weight 2 are
inside to the vertices v2,v4,…,v2q and v3,v6,…,v2q+1, respectively. Also, 3 edges with weight 2 are
inside the vertex vi (i=2q+2,…,3q-1) and two edges with weight 2 are inside to v3q. Thus
β3q=
2 3( 2) 2
2
q q q+ + − +
=3q-2.□
International Journal on Computational Sciences & Applications (IJCSA) Vol.3, No.3, June 2013
23
Conjecture 3.2. (The 1-2-3-conjecture [6,8,10]) Every connected graph G=(V,E) non-isomorph
to K2 (with at least two edges) has an edge weighting f:E→{1,2,3} and vertex coloring s:V→{n-
1,...,3n-3}.
Conjecture 3.3. (n vertex coloring) There are distinct numbers of Sv's, v∈V(G) of a graph G of
order n, for a 1-2-3-edge weighting and vertex coloring.
Conjecture 3.4. (The 1,2-conjecture [7,11,12]) Every graph G has a coloring chip configuration
c:V ∪ E→{1,2}.
Conjecture 3.5. (Antimagic weighting [3,5]) For every connected graph G (with at least two
edges) there is a bijection c:E→{1,2,…,|E|} such that no two vertices of G have the same
potential.
Conjecture 3.6. (Proper vertex coloring) For all graph G of order n, there are χ(G) numbers of
Sv's, v∈V(G) with this 1-2-3-edge weighting and vertex coloring. Where χ(G) is the number
colors of the vertices on the graph G.
Conjecture 3.7. (Lucky weighting, [3,4]) For every graph G, there is a vertex weighting
c:V→{1,2,...,χ(G)}, whose vertex potential ( )
( )v u N v
q c u∈
=∑ is a proper coloring of G.
ACKNOWLEDGEMENTS
The authors are thankful to Dr. Mehdi Alaeiyan and Mr Hamid Hosseini of Department of
Mathematics, Iran University of Science and Technology (IUST) for their precious support and
suggestions.
REFERENCES
[1] L. Addario-Berry, K. Dalal, C. McDiarmid, B.A. Reed, A. Thomason, Vertex-colouring edge-
Weithings, Combinatorica 27 (2007) 1–12.
[2] L. Addario-Berry, K. Dalal, B.A. Reed, Degree constrained subgraphs, Discrete Appl. Math. 156
(2008) 1168–1174.
[3] M. Borowiecki, J. Grytczuk, and M. Pilsniak, Coloring chip configurations on graphs and digraphs,
Preprint Nr MD, 043 (2009).
[4] S. Czerwinski, J. Grytczuk and W. Zelazny, Lucky labelings of graphs, manuscript (2008).
[5] J. Grytczuka, K. Dalal and B.A. Reed, Thue type problems for graphs, Discrete Mathematics J. 308,
(2008), 4419-4429.
[6] N. Hartseld and G. Ringel, Pearls of graph theory, Academic Press, (1990).
[7] M. Kalkowski and M. Karonski, A note on the 1,2-conjecture, submitted for publication.
[8] M. Kalkowski and M. Karonski and F. Pfender, Vertex-coloring edge-Weithings: To wards the1-2-3-
conjecture, Combinatorial Theory Series B J. 100, (2010), 347-349.
[9] M. Kalkowski, M. Karonski and F. Pfender, Vertax-Coloring Edge-Weithings With Integer Weights
At Most 6, Rostock. Math. Kolloq. 64 (2009), 3943.
[10] M. Karonski, T. Łuczak, A. Thomason, Edge weights and vertex colours, J. Combin. Theory Ser. B,
91 (2004) 151–157.
[11] J. Przybylo and M. Wozniak, 1,2 conjecture, Preprint Nr MD, 024, (2007).
[12] J. Przybylo and M. Wozniak, On a 1,2 Conjecture, Discrete Mathematics and Theoretical Computer
Science, 12(1), (2010), 101-108.
[13] T. Wang and Q. Yu, On vertex-coloring 13-edge-weighting, Front. Math. China. 3, (2008), 1-7.

Weitere ähnliche Inhalte

Was ist angesagt?

Embedding and np-Complete Problems for 3-Equitable Graphs
Embedding and np-Complete Problems for 3-Equitable GraphsEmbedding and np-Complete Problems for 3-Equitable Graphs
Embedding and np-Complete Problems for 3-Equitable GraphsWaqas Tariq
 
Randomized algorithms all pairs shortest path
Randomized algorithms  all pairs shortest pathRandomized algorithms  all pairs shortest path
Randomized algorithms all pairs shortest pathMohammad Akbarizadeh
 
EDGE-NEIGHBOR RUPTURE DEGREE ON GRAPH OPERATIONS
EDGE-NEIGHBOR RUPTURE DEGREE ON GRAPH OPERATIONSEDGE-NEIGHBOR RUPTURE DEGREE ON GRAPH OPERATIONS
EDGE-NEIGHBOR RUPTURE DEGREE ON GRAPH OPERATIONSmathsjournal
 
Steven Duplij, Raimund Vogl, "Polyadic braid operators and higher braiding ga...
Steven Duplij, Raimund Vogl, "Polyadic braid operators and higher braiding ga...Steven Duplij, Raimund Vogl, "Polyadic braid operators and higher braiding ga...
Steven Duplij, Raimund Vogl, "Polyadic braid operators and higher braiding ga...Steven Duplij (Stepan Douplii)
 
International Journal of Engineering and Science Invention (IJESI)
International Journal of Engineering and Science Invention (IJESI)International Journal of Engineering and Science Invention (IJESI)
International Journal of Engineering and Science Invention (IJESI)inventionjournals
 
A coefficient inequality for the starlike univalent functions in the unit dis...
A coefficient inequality for the starlike univalent functions in the unit dis...A coefficient inequality for the starlike univalent functions in the unit dis...
A coefficient inequality for the starlike univalent functions in the unit dis...Alexander Decker
 
Steven Duplij, Raimund Vogl, "Polyadic Braid Operators and Higher Braiding Ga...
Steven Duplij, Raimund Vogl, "Polyadic Braid Operators and Higher Braiding Ga...Steven Duplij, Raimund Vogl, "Polyadic Braid Operators and Higher Braiding Ga...
Steven Duplij, Raimund Vogl, "Polyadic Braid Operators and Higher Braiding Ga...Steven Duplij (Stepan Douplii)
 
Solving the energy problem of helium final report
Solving the energy problem of helium final reportSolving the energy problem of helium final report
Solving the energy problem of helium final reportJamesMa54
 
Solovay Kitaev theorem
Solovay Kitaev theoremSolovay Kitaev theorem
Solovay Kitaev theoremJamesMa54
 
Hosoya polynomial, wiener and hyper wiener indices of some regular graphs
Hosoya polynomial, wiener and hyper wiener indices of some regular graphsHosoya polynomial, wiener and hyper wiener indices of some regular graphs
Hosoya polynomial, wiener and hyper wiener indices of some regular graphsieijjournal
 
machinelearning project
machinelearning projectmachinelearning project
machinelearning projectLianli Liu
 
Magic graphs
Magic graphsMagic graphs
Magic graphsSpringer
 
On homogeneous biquadratic diophantineequation x4 y4=17(z2-w2)r2
On homogeneous biquadratic diophantineequation x4 y4=17(z2-w2)r2On homogeneous biquadratic diophantineequation x4 y4=17(z2-w2)r2
On homogeneous biquadratic diophantineequation x4 y4=17(z2-w2)r2eSAT Journals
 

Was ist angesagt? (17)

Embedding and np-Complete Problems for 3-Equitable Graphs
Embedding and np-Complete Problems for 3-Equitable GraphsEmbedding and np-Complete Problems for 3-Equitable Graphs
Embedding and np-Complete Problems for 3-Equitable Graphs
 
Randomized algorithms all pairs shortest path
Randomized algorithms  all pairs shortest pathRandomized algorithms  all pairs shortest path
Randomized algorithms all pairs shortest path
 
EDGE-NEIGHBOR RUPTURE DEGREE ON GRAPH OPERATIONS
EDGE-NEIGHBOR RUPTURE DEGREE ON GRAPH OPERATIONSEDGE-NEIGHBOR RUPTURE DEGREE ON GRAPH OPERATIONS
EDGE-NEIGHBOR RUPTURE DEGREE ON GRAPH OPERATIONS
 
Steven Duplij, Raimund Vogl, "Polyadic braid operators and higher braiding ga...
Steven Duplij, Raimund Vogl, "Polyadic braid operators and higher braiding ga...Steven Duplij, Raimund Vogl, "Polyadic braid operators and higher braiding ga...
Steven Duplij, Raimund Vogl, "Polyadic braid operators and higher braiding ga...
 
On Cubic Graceful Labeling
On Cubic Graceful LabelingOn Cubic Graceful Labeling
On Cubic Graceful Labeling
 
International Journal of Engineering and Science Invention (IJESI)
International Journal of Engineering and Science Invention (IJESI)International Journal of Engineering and Science Invention (IJESI)
International Journal of Engineering and Science Invention (IJESI)
 
A coefficient inequality for the starlike univalent functions in the unit dis...
A coefficient inequality for the starlike univalent functions in the unit dis...A coefficient inequality for the starlike univalent functions in the unit dis...
A coefficient inequality for the starlike univalent functions in the unit dis...
 
50120130406004 2-3
50120130406004 2-350120130406004 2-3
50120130406004 2-3
 
Steven Duplij, Raimund Vogl, "Polyadic Braid Operators and Higher Braiding Ga...
Steven Duplij, Raimund Vogl, "Polyadic Braid Operators and Higher Braiding Ga...Steven Duplij, Raimund Vogl, "Polyadic Braid Operators and Higher Braiding Ga...
Steven Duplij, Raimund Vogl, "Polyadic Braid Operators and Higher Braiding Ga...
 
Solving the energy problem of helium final report
Solving the energy problem of helium final reportSolving the energy problem of helium final report
Solving the energy problem of helium final report
 
Solovay Kitaev theorem
Solovay Kitaev theoremSolovay Kitaev theorem
Solovay Kitaev theorem
 
Hosoya polynomial, wiener and hyper wiener indices of some regular graphs
Hosoya polynomial, wiener and hyper wiener indices of some regular graphsHosoya polynomial, wiener and hyper wiener indices of some regular graphs
Hosoya polynomial, wiener and hyper wiener indices of some regular graphs
 
machinelearning project
machinelearning projectmachinelearning project
machinelearning project
 
Connectivity of graph
Connectivity of graphConnectivity of graph
Connectivity of graph
 
Magic graphs
Magic graphsMagic graphs
Magic graphs
 
On homogeneous biquadratic diophantineequation x4 y4=17(z2-w2)r2
On homogeneous biquadratic diophantineequation x4 y4=17(z2-w2)r2On homogeneous biquadratic diophantineequation x4 y4=17(z2-w2)r2
On homogeneous biquadratic diophantineequation x4 y4=17(z2-w2)r2
 
Split block domination in graphs
Split block domination in graphsSplit block domination in graphs
Split block domination in graphs
 

Ähnlich wie On the 1-2-3-edge weighting and Vertex coloring of complete graph

DISTANCE TWO LABELING FOR MULTI-STOREY GRAPHS
DISTANCE TWO LABELING FOR MULTI-STOREY GRAPHSDISTANCE TWO LABELING FOR MULTI-STOREY GRAPHS
DISTANCE TWO LABELING FOR MULTI-STOREY GRAPHSgraphhoc
 
On the Odd Gracefulness of Cyclic Snakes With Pendant Edges
On the Odd Gracefulness of Cyclic Snakes With Pendant EdgesOn the Odd Gracefulness of Cyclic Snakes With Pendant Edges
On the Odd Gracefulness of Cyclic Snakes With Pendant EdgesGiselleginaGloria
 
Magicness in Extended Duplicate Graphs
Magicness  in Extended Duplicate GraphsMagicness  in Extended Duplicate Graphs
Magicness in Extended Duplicate GraphsIRJET Journal
 
LADDER AND SUBDIVISION OF LADDER GRAPHS WITH PENDANT EDGES ARE ODD GRACEFUL
LADDER AND SUBDIVISION OF LADDER GRAPHS WITH PENDANT EDGES ARE ODD GRACEFULLADDER AND SUBDIVISION OF LADDER GRAPHS WITH PENDANT EDGES ARE ODD GRACEFUL
LADDER AND SUBDIVISION OF LADDER GRAPHS WITH PENDANT EDGES ARE ODD GRACEFULFransiskeran
 
Graph Theory,Graph Terminologies,Planar Graph & Graph Colouring
Graph Theory,Graph Terminologies,Planar Graph & Graph ColouringGraph Theory,Graph Terminologies,Planar Graph & Graph Colouring
Graph Theory,Graph Terminologies,Planar Graph & Graph ColouringSaurabh Kaushik
 
Odd Harmonious Labelings of Cyclic Snakes
Odd Harmonious Labelings of Cyclic SnakesOdd Harmonious Labelings of Cyclic Snakes
Odd Harmonious Labelings of Cyclic SnakesGiselleginaGloria
 
SUPER MAGIC CORONATIONS OF GRAPHS
SUPER MAGIC CORONATIONS OF GRAPHS SUPER MAGIC CORONATIONS OF GRAPHS
SUPER MAGIC CORONATIONS OF GRAPHS IAEME Publication
 
Appendix b 2
Appendix b 2Appendix b 2
Appendix b 2Loc Tran
 
International Journal of Engineering Research and Development
International Journal of Engineering Research and DevelopmentInternational Journal of Engineering Research and Development
International Journal of Engineering Research and DevelopmentIJERD Editor
 
Further pure mathmatics 3 vectors
Further pure mathmatics 3 vectorsFurther pure mathmatics 3 vectors
Further pure mathmatics 3 vectorsDennis Almeida
 
New Classes of Odd Graceful Graphs - M. E. Abdel-Aal
New Classes of Odd Graceful Graphs - M. E. Abdel-AalNew Classes of Odd Graceful Graphs - M. E. Abdel-Aal
New Classes of Odd Graceful Graphs - M. E. Abdel-AalGiselleginaGloria
 
i(G)-Graph - G(i) Of Some Special Graphs
i(G)-Graph - G(i) Of Some Special Graphsi(G)-Graph - G(i) Of Some Special Graphs
i(G)-Graph - G(i) Of Some Special Graphsiosrjce
 
Radix-3 Algorithm for Realization of Type-II Discrete Sine Transform
Radix-3 Algorithm for Realization of Type-II Discrete Sine TransformRadix-3 Algorithm for Realization of Type-II Discrete Sine Transform
Radix-3 Algorithm for Realization of Type-II Discrete Sine TransformIJERA Editor
 
Radix-3 Algorithm for Realization of Type-II Discrete Sine Transform
Radix-3 Algorithm for Realization of Type-II Discrete Sine TransformRadix-3 Algorithm for Realization of Type-II Discrete Sine Transform
Radix-3 Algorithm for Realization of Type-II Discrete Sine TransformIJERA Editor
 
Bn31231239
Bn31231239Bn31231239
Bn31231239IJMER
 
Welcome to International Journal of Engineering Research and Development (IJERD)
Welcome to International Journal of Engineering Research and Development (IJERD)Welcome to International Journal of Engineering Research and Development (IJERD)
Welcome to International Journal of Engineering Research and Development (IJERD)IJERD Editor
 

Ähnlich wie On the 1-2-3-edge weighting and Vertex coloring of complete graph (20)

DISTANCE TWO LABELING FOR MULTI-STOREY GRAPHS
DISTANCE TWO LABELING FOR MULTI-STOREY GRAPHSDISTANCE TWO LABELING FOR MULTI-STOREY GRAPHS
DISTANCE TWO LABELING FOR MULTI-STOREY GRAPHS
 
On the Odd Gracefulness of Cyclic Snakes With Pendant Edges
On the Odd Gracefulness of Cyclic Snakes With Pendant EdgesOn the Odd Gracefulness of Cyclic Snakes With Pendant Edges
On the Odd Gracefulness of Cyclic Snakes With Pendant Edges
 
Magicness in Extended Duplicate Graphs
Magicness  in Extended Duplicate GraphsMagicness  in Extended Duplicate Graphs
Magicness in Extended Duplicate Graphs
 
LADDER AND SUBDIVISION OF LADDER GRAPHS WITH PENDANT EDGES ARE ODD GRACEFUL
LADDER AND SUBDIVISION OF LADDER GRAPHS WITH PENDANT EDGES ARE ODD GRACEFULLADDER AND SUBDIVISION OF LADDER GRAPHS WITH PENDANT EDGES ARE ODD GRACEFUL
LADDER AND SUBDIVISION OF LADDER GRAPHS WITH PENDANT EDGES ARE ODD GRACEFUL
 
Graph Theory,Graph Terminologies,Planar Graph & Graph Colouring
Graph Theory,Graph Terminologies,Planar Graph & Graph ColouringGraph Theory,Graph Terminologies,Planar Graph & Graph Colouring
Graph Theory,Graph Terminologies,Planar Graph & Graph Colouring
 
graph theory
graph theorygraph theory
graph theory
 
Odd Harmonious Labelings of Cyclic Snakes
Odd Harmonious Labelings of Cyclic SnakesOdd Harmonious Labelings of Cyclic Snakes
Odd Harmonious Labelings of Cyclic Snakes
 
SUPER MAGIC CORONATIONS OF GRAPHS
SUPER MAGIC CORONATIONS OF GRAPHS SUPER MAGIC CORONATIONS OF GRAPHS
SUPER MAGIC CORONATIONS OF GRAPHS
 
Appendix b 2
Appendix b 2Appendix b 2
Appendix b 2
 
International Journal of Engineering Research and Development
International Journal of Engineering Research and DevelopmentInternational Journal of Engineering Research and Development
International Journal of Engineering Research and Development
 
Further pure mathmatics 3 vectors
Further pure mathmatics 3 vectorsFurther pure mathmatics 3 vectors
Further pure mathmatics 3 vectors
 
New Classes of Odd Graceful Graphs - M. E. Abdel-Aal
New Classes of Odd Graceful Graphs - M. E. Abdel-AalNew Classes of Odd Graceful Graphs - M. E. Abdel-Aal
New Classes of Odd Graceful Graphs - M. E. Abdel-Aal
 
Appendix b 2
Appendix b 2Appendix b 2
Appendix b 2
 
i(G)-Graph - G(i) Of Some Special Graphs
i(G)-Graph - G(i) Of Some Special Graphsi(G)-Graph - G(i) Of Some Special Graphs
i(G)-Graph - G(i) Of Some Special Graphs
 
Radix-3 Algorithm for Realization of Type-II Discrete Sine Transform
Radix-3 Algorithm for Realization of Type-II Discrete Sine TransformRadix-3 Algorithm for Realization of Type-II Discrete Sine Transform
Radix-3 Algorithm for Realization of Type-II Discrete Sine Transform
 
Radix-3 Algorithm for Realization of Type-II Discrete Sine Transform
Radix-3 Algorithm for Realization of Type-II Discrete Sine TransformRadix-3 Algorithm for Realization of Type-II Discrete Sine Transform
Radix-3 Algorithm for Realization of Type-II Discrete Sine Transform
 
Bn31231239
Bn31231239Bn31231239
Bn31231239
 
Optimisation random graph presentation
Optimisation random graph presentationOptimisation random graph presentation
Optimisation random graph presentation
 
AJMS_487_23.pdf
AJMS_487_23.pdfAJMS_487_23.pdf
AJMS_487_23.pdf
 
Welcome to International Journal of Engineering Research and Development (IJERD)
Welcome to International Journal of Engineering Research and Development (IJERD)Welcome to International Journal of Engineering Research and Development (IJERD)
Welcome to International Journal of Engineering Research and Development (IJERD)
 

Kürzlich hochgeladen

Maximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxMaximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxOnBoard
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationRadu Cotescu
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxMalak Abu Hammad
 
Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsHandwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsMaria Levchenko
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsMemoori
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonetsnaman860154
 
How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?XfilesPro
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitecturePixlogix Infotech
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsEnterprise Knowledge
 
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Patryk Bandurski
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024Rafal Los
 
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationFrom Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationSafe Software
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking MenDelhi Call girls
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...shyamraj55
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreternaman860154
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsMark Billinghurst
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j
 
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024Scott Keck-Warren
 
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...HostedbyConfluent
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking MenDelhi Call girls
 

Kürzlich hochgeladen (20)

Maximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptxMaximizing Board Effectiveness 2024 Webinar.pptx
Maximizing Board Effectiveness 2024 Webinar.pptx
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organization
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
 
Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsHandwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed texts
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC Architecture
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
 
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024
 
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time AutomationFrom Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreter
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
 
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
Neo4j - How KGs are shaping the future of Generative AI at AWS Summit London ...
 
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024
 
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
Transforming Data Streams with Kafka Connect: An Introduction to Single Messa...
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
 

On the 1-2-3-edge weighting and Vertex coloring of complete graph

  • 1. International Journal on Computational Sciences & Applications (IJCSA) Vol.3, No.3, June 2013 DOI:10.5121/ijcsa.2013.3302 19 ON THE 1-2-3-EDGE WEIGHTING AND VERTEX COLORING OF COMPLETE GRAPH Mohammad Reza Farahani1 1 Department of Applied Mathematics, Iran University of Science and Technology (IUST) Narmak, Tehran, Iran Mr_Farahani@Mathdep.iust.ac.ir ABSTRACT A WEIGHTING OF THE EDGES OF A GRAPH IS CALLED VERTEX-COLORING IF THE LABELED DEGREES OF THE VERTICES YIELD A PROPER COLORING OF THE GRAPH. IN OTHER WORDS, FOR SOME ,k ∈ LET F:E(G)→{1,2,…,K} BE AN INTEGER WEIGHTING OF THE EDGES OF A GRAPH G=(V(G);E(G)) WHICH HAVE N VERTICES AND IMPLIES THAT A VERTEX-COLORING ( ) : ( )v v V G S f vu∈ = ∑ FOR EVERY VERTEX V∈V(G). IN THIS PAPER WE OBTAIN FOR K=3 A PROPER 1-2-3-EDGE WEIGHTING AND VERTEX COLORING A FAMILY OF COMPLETE GRAPHS. KEYWORDS Network Protocols, Edge-labeling; Vertex-coloring; Complete Graph. 1. INTRODUCTION For a graph G=(V(G);E(G)), there exist a function f:E(G)→{1,2,…,k} be an edge weighting of the edges of G. In other words, for any two arbitrary vertices u,v∈V(G) and edge uv∈E(G) we will have f(uv)∈{1,2,…,k}. Also, ( ) : ( )v u V G S f vu∈ = ∑ is a color for a vertex v∈V(G) such that Su≠Sv for any two arbitrary distinct vertices u,v of G (consider S={Sv}v ∈V(G)) and therefore, a function s:V(G)→S is a proper vertex-coloring for G. In 2002, Karonski, Łuczak and Thomason conjectured that such a weighting with k=3 is possible for all such graphs (see Conjecture 1 and references [8,10]). For k=2 is not sufficient as seen for instance in complete graphs and cycles of length not divisible by 4. A first constant bound of k=30 was proved by Addario-Berry, et.al in 2007 [1], which was later improved to K=16 by Addario-Berry's group in [2] and k=13 by T. Wang and Q. Yu in 2008, [13]. Recently, its new bounds are k=5 and k=6 by Kalkowski, et.al [8, 9]. In this note we show that there is a proper1-2-3-edge weighting and vertex coloring for a family K3q for all integer number q of complete graphs and obtain two above functions f and s for K3q ,q∀ ∈ exactly. Thus, we have following theorem that is the main result of this paper. Theorem 1.1. Consider complete graph K3q with the vertex set V(K3q)={v1,v2,…,v3q} and the edge set E(K3q)={eij=vivj|vi,vj∈V(K3q)} for every integer number q. Thus there are a edge weighting f :E(K3q)→ {1,2,3} a vertex coloring s:V(K3q)→S={9q-3,9q-4,…,7q-2,7q-
  • 2. International Journal on Computational Sciences & Applications (IJCSA) Vol.3, No.3, June 2013 20 3,7q-6,7q-10,…,3q+10,3q+6,3q+3}, such that the induced vertex weights Si:= 1, ( )j j n j i if v v= ≠∑ ∈S. 2. MAIN RESULTS At first, before prove Theorem 1.1, we contribute the following definition, which is useful to proving. Definition 2.1. Let f be a function that obtained from k-edge weighting and vertex coloring of a connected graph G as order n. By using f, we can part the edge set E(G) into k important sets E(G)i, k∀ ∈ and are equal to E(G)i={vivj ∈E(G)|f(vivj)=i} ⇒|E(G)i|=γi. Therefore m=|E(G)|=Σi γi and E(G)= ( )i .i E G In particular, for a 1-2-3-edge weighting and vertex coloring of complete graph Kn, we have three partitions E(Kn)1, E(Kn)2 and E(Kn)3 as follows: E(Kn)1={vivj∈E(Kn)|f(vivj)=1}⇒|E(Kn)1|=γn, E(Kn)2={vivj ∈E(Kn)|f(vivj)=2}⇒|E(Kn)2|=βn, E(Kn)3={vivj ∈E(Kn)|f(vivj)=3}⇒|E(Kn)3|=αn. such that mn=|E(Kn)|=γ+β+α and E(Kn)1 ∪ E(Kn)2 ∪ E(Kn)3=E(Kn) (obviously, mn=( )2 ( 1) 2 n n n − = ). Proof of Theorem 1.1. Consider the complete graph K3q ,q∀ ∈ with 3q vertices and 3 2 q(3q- 1) edges. For obtain all aims in Theorem 1.1, we present an algorithm for weighting all edges of K3q with labels 1, 2 and 3. 2.1. ALGORITHM FOR 1-2-3-EDGE WEIGHTING AND VERTEX COLORING OF K3q (q ≥5): 1- Choose an arbitrary vertex v∈V(K3q) and label all inside edges to v with 3. If we name v by v1, then ∀ u∈V(K3q) f(v1u)=3 and S1=3(3q-1). 2- Choose one of adjacent vertices with v1 (we name v2) and label all inside edges to v2 with 3; except an edge v2u (that we name u by v3q), then for all u∈V(K3q), u≠v3q f(v2u)=3 and f(v2v3q)=2. Thus S2=S1-1=9q-4. 3- Choose one of adjacent vertices with v1,v2 and name v3. We label all inside edges to v3 with 3; except two edges v3v3q,v3u, then ∀ w∈V(K3q), w≠v3q,u f(v3w)=3 and f(v3v3q)=f(v3u)=2 (we name u by v3q-1). Thus S3=S2-1=9q-5. 4- Choose one of adjacent vertices with v1,v2,v3 and name v4. We label all inside edges to v4 with 3; except two edges v4v3q,v4v3q-1 then ∀ w∈V(K3q), w≠v3q,v3q-1 f(v4w)=3, f(v4v3q-1)=2 and f(v4v3q)=1. Thus S4=S3-1=9q-6. I- (2≤I≤2q+1) Choose an arbitrary vertex v∈V(K3q) that didn't choose above (we name vi). So If I be even, then we label all edge vivj with 3 for 1≤j≤3q- [ 2 ] 1i + , all edge vivj with 1 for 3q≥j≥3q- [ 2 ] 1i + +2 and label vivh (h=3q- [ 2 ] 1i + +1) with 2. Else, I be odd, then we label all edge vivj with 3 for 1≤j≤3q-1- [ 2 ] 1i + , all edge vivj with 1 for 3q≥j≥3q- [ 2 ] 1i + +3 and label vivh (h=3q- [ 2 ] 1i + +1, 3q- [ 2 ] 1i + +2) with 2. In other words,
  • 3. International Journal on Computational Sciences & Applications (IJCSA) Vol.3, No.3, June 2013 21 ( )1 3q3q 3q+1 3q+2 2 2 2 2,...,2 1 ... ( ) 3, ( ) 2, ( ) ... ( ) 1.i ii i i i ii i q f v v f v v f v v f v v f v v     − − −       ∀ = = = = = = = = ( )1 3q3q 3q 3q+1 3q+2 2 2 2 2 3,...,2 1 ... ( ) 3, ( ) ( ) 2, ( ) ... ( ) 1.i i ii i i i iiii q f v v f v v f v v f v v f v v f v v       − − − −         ∀ = + = = = = = = = = And obviously, Si= Si-1-1=9q-2-i. 2Q+2- Choose one of adjacent vertices with v1,v2,…,v2q+1 and name v2q+2. Label two edges v2q+2v3q-1 and v2q+2v3q with label 2, 1 respectively and other inside edges to v2q+2 with 3, that haven't a label. Therefore S2q+2=S2q+1-3=7q-6. J- (3q-2≥J≥2q+3=3q-(q-3)) Choose a remaining vertex and name vj. Now, let j=3q-h (q-3≥h≥2) and label three edges vjvk for k=2h+1, 2h+2, 2h+3 with label 2. Also, label all edges vjvk with label 3 for 1≤k≤2h=6q-2j and other edge vjvk give label 1 (6q-2j+4=2h+4≤k≤3q). Then obviously Sj=Sj-1-4=7q-6-4(j-(2q+2)) and vertex-color of vj is Sj=15q+2-4j. 3Q-2- For v3q-2, there are f(v3q-2v1)=f(v3q-2v2)=f(v3q-2v3)=f(v3q-2v4)=3, f(v3q-2v5)=f(v3q-2v6)=f(v3q- 2v7)=2 and f(v3q-2v8)=…= f(v3q-2v3q)=1. Thus S3q-2=S3q-3-4=3q+10. 3Q-1- For v3q-1, there are f(v3q-1v1)=f(v3q-1v2)=3, f(v3q-1v3)= f(v3q-1v4)= f(v3q-1v5)=2 and f(v3q- 1v6)=…= f(v3q-1v3q)=1. Thus S3q-1=S3q-2-4=3q+6. Figure 1. The example of a 1-2-3-edge weighting and vertex coloring of K3 and K6. 3Q- Finally, for vertex v3q, the edge v3qv1 labeled with 3 and v3qv2 and v3qv3 labeled with 2. Also all edge v3qvi (i=4,…,3q-1) labeled with one. Thus S3q=S3q-1-3=3q+3. It is obvious that by running this algorithm on complete graph K3q for q=5,6,…, we can obtain its 1-2-3-edge weighting and vertex coloring. For small number 1,2,3,4, reader can see following figures. The 1-2-3-edge weighting and vertex coloring of K3, K6, K9 and K12 aren't taken some steps of above algorithm. These graphs are shown in Figure 1 and Figure 2. Also, reader can see the running algorithm on K15 in Figure 3. Thus, by obtaining two functions The edge weighting f :E(K3q)→ {1,2,3} and the vertex coloring s:V(K3q)→S={9q-3,9q-4,…,7q- 2,7q-3,7q-6,7q-10,…,3q+10,3q+6,3q+3}, proof of Theorem 1.1 is completed. □
  • 4. International Journal on Computational Sciences & Applications (IJCSA) Vol.3, No.3, June 2013 22 Figure 2. Two example of algorithm to attain a 1-2-3-edge weighting and vertex coloring of K9 and K12. Figure 3. An example of algorithm to attain a 1-2-3-edge weighting and vertex coloring of K15. 3. OPEN PROBLEMS AND CONJECTURES In this section, we calculate some result that concluded from Theorem 1.1 and the algorithm for 1-2-3-edge weighting and vertex coloring of K3q. In continue, we introduce some open problem and conjectures, which some of them maybe could be solved in the near future, by other reader. Lemma 3.1. Consider the 1-2-3-edge weighting and vertex coloring of K3q= that obtained from above algorithm and using denotations of Definition 2.1, we have γ3q= 2 3q 5q 2 , 2 − + β3q=3q-2 and α3q=3q2 -2q+1. Proof. The proving of lemma is easy; by refer to the algorithm for 1-2-3-edge weighting and vertex coloring of K3q in proof of Theorem 1.1. Since obviously, q and 2q edges with weight 2 are inside to the vertices v2,v4,…,v2q and v3,v6,…,v2q+1, respectively. Also, 3 edges with weight 2 are inside the vertex vi (i=2q+2,…,3q-1) and two edges with weight 2 are inside to v3q. Thus β3q= 2 3( 2) 2 2 q q q+ + − + =3q-2.□
  • 5. International Journal on Computational Sciences & Applications (IJCSA) Vol.3, No.3, June 2013 23 Conjecture 3.2. (The 1-2-3-conjecture [6,8,10]) Every connected graph G=(V,E) non-isomorph to K2 (with at least two edges) has an edge weighting f:E→{1,2,3} and vertex coloring s:V→{n- 1,...,3n-3}. Conjecture 3.3. (n vertex coloring) There are distinct numbers of Sv's, v∈V(G) of a graph G of order n, for a 1-2-3-edge weighting and vertex coloring. Conjecture 3.4. (The 1,2-conjecture [7,11,12]) Every graph G has a coloring chip configuration c:V ∪ E→{1,2}. Conjecture 3.5. (Antimagic weighting [3,5]) For every connected graph G (with at least two edges) there is a bijection c:E→{1,2,…,|E|} such that no two vertices of G have the same potential. Conjecture 3.6. (Proper vertex coloring) For all graph G of order n, there are χ(G) numbers of Sv's, v∈V(G) with this 1-2-3-edge weighting and vertex coloring. Where χ(G) is the number colors of the vertices on the graph G. Conjecture 3.7. (Lucky weighting, [3,4]) For every graph G, there is a vertex weighting c:V→{1,2,...,χ(G)}, whose vertex potential ( ) ( )v u N v q c u∈ =∑ is a proper coloring of G. ACKNOWLEDGEMENTS The authors are thankful to Dr. Mehdi Alaeiyan and Mr Hamid Hosseini of Department of Mathematics, Iran University of Science and Technology (IUST) for their precious support and suggestions. REFERENCES [1] L. Addario-Berry, K. Dalal, C. McDiarmid, B.A. Reed, A. Thomason, Vertex-colouring edge- Weithings, Combinatorica 27 (2007) 1–12. [2] L. Addario-Berry, K. Dalal, B.A. Reed, Degree constrained subgraphs, Discrete Appl. Math. 156 (2008) 1168–1174. [3] M. Borowiecki, J. Grytczuk, and M. Pilsniak, Coloring chip configurations on graphs and digraphs, Preprint Nr MD, 043 (2009). [4] S. Czerwinski, J. Grytczuk and W. Zelazny, Lucky labelings of graphs, manuscript (2008). [5] J. Grytczuka, K. Dalal and B.A. Reed, Thue type problems for graphs, Discrete Mathematics J. 308, (2008), 4419-4429. [6] N. Hartseld and G. Ringel, Pearls of graph theory, Academic Press, (1990). [7] M. Kalkowski and M. Karonski, A note on the 1,2-conjecture, submitted for publication. [8] M. Kalkowski and M. Karonski and F. Pfender, Vertex-coloring edge-Weithings: To wards the1-2-3- conjecture, Combinatorial Theory Series B J. 100, (2010), 347-349. [9] M. Kalkowski, M. Karonski and F. Pfender, Vertax-Coloring Edge-Weithings With Integer Weights At Most 6, Rostock. Math. Kolloq. 64 (2009), 3943. [10] M. Karonski, T. Łuczak, A. Thomason, Edge weights and vertex colours, J. Combin. Theory Ser. B, 91 (2004) 151–157. [11] J. Przybylo and M. Wozniak, 1,2 conjecture, Preprint Nr MD, 024, (2007). [12] J. Przybylo and M. Wozniak, On a 1,2 Conjecture, Discrete Mathematics and Theoretical Computer Science, 12(1), (2010), 101-108. [13] T. Wang and Q. Yu, On vertex-coloring 13-edge-weighting, Front. Math. China. 3, (2008), 1-7.