SlideShare a Scribd company logo
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.

More Related Content

What's hot

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
Waqas Tariq
 
Randomized algorithms all pairs shortest path
Randomized algorithms  all pairs shortest pathRandomized algorithms  all pairs shortest path
Randomized algorithms all pairs shortest path
Mohammad 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 OPERATIONS
mathsjournal
 
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)
 
On Cubic Graceful Labeling
On Cubic Graceful LabelingOn Cubic Graceful Labeling
On Cubic Graceful Labeling
rahulmonikasharma
 
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 report
JamesMa54
 
Solovay Kitaev theorem
Solovay Kitaev theoremSolovay Kitaev theorem
Solovay Kitaev theorem
JamesMa54
 
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
ieijjournal
 
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)r2
eSAT Journals
 
Split block domination in graphs
Split block domination in graphsSplit block domination in graphs
Split block domination in graphs
eSAT Publishing House
 

What's hot (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
 

Similar to 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 GRAPHS
graphhoc
 
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
GiselleginaGloria
 
Magicness in Extended Duplicate Graphs
Magicness  in Extended Duplicate GraphsMagicness  in Extended Duplicate Graphs
Magicness in Extended Duplicate Graphs
IRJET 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 GRACEFUL
Fransiskeran
 
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
Saurabh Kaushik
 
graph theory
graph theorygraph theory
graph theory
Shashank Singh
 
Odd Harmonious Labelings of Cyclic Snakes
Odd Harmonious Labelings of Cyclic SnakesOdd Harmonious Labelings of Cyclic Snakes
Odd Harmonious Labelings of Cyclic Snakes
GiselleginaGloria
 
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 Development
IJERD Editor
 
Further pure mathmatics 3 vectors
Further pure mathmatics 3 vectorsFurther pure mathmatics 3 vectors
Further pure mathmatics 3 vectors
Dennis 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-Aal
GiselleginaGloria
 
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
iosrjce
 
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
IJERA 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 Transform
IJERA Editor
 
Bn31231239
Bn31231239Bn31231239
Bn31231239IJMER
 
Optimisation random graph presentation
Optimisation random graph presentationOptimisation random graph presentation
Optimisation random graph presentation
Venkat Sai Sharath Mudhigonda
 
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
 

Similar to 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)
 

Recently uploaded

DevOps and Testing slides at DASA Connect
DevOps and Testing slides at DASA ConnectDevOps and Testing slides at DASA Connect
DevOps and Testing slides at DASA Connect
Kari Kakkonen
 
FIDO Alliance Osaka Seminar: FIDO Security Aspects.pdf
FIDO Alliance Osaka Seminar: FIDO Security Aspects.pdfFIDO Alliance Osaka Seminar: FIDO Security Aspects.pdf
FIDO Alliance Osaka Seminar: FIDO Security Aspects.pdf
FIDO Alliance
 
GenAISummit 2024 May 28 Sri Ambati Keynote: AGI Belongs to The Community in O...
GenAISummit 2024 May 28 Sri Ambati Keynote: AGI Belongs to The Community in O...GenAISummit 2024 May 28 Sri Ambati Keynote: AGI Belongs to The Community in O...
GenAISummit 2024 May 28 Sri Ambati Keynote: AGI Belongs to The Community in O...
Sri Ambati
 
State of ICS and IoT Cyber Threat Landscape Report 2024 preview
State of ICS and IoT Cyber Threat Landscape Report 2024 previewState of ICS and IoT Cyber Threat Landscape Report 2024 preview
State of ICS and IoT Cyber Threat Landscape Report 2024 preview
Prayukth K V
 
Monitoring Java Application Security with JDK Tools and JFR Events
Monitoring Java Application Security with JDK Tools and JFR EventsMonitoring Java Application Security with JDK Tools and JFR Events
Monitoring Java Application Security with JDK Tools and JFR Events
Ana-Maria Mihalceanu
 
From Siloed Products to Connected Ecosystem: Building a Sustainable and Scala...
From Siloed Products to Connected Ecosystem: Building a Sustainable and Scala...From Siloed Products to Connected Ecosystem: Building a Sustainable and Scala...
From Siloed Products to Connected Ecosystem: Building a Sustainable and Scala...
Product School
 
JMeter webinar - integration with InfluxDB and Grafana
JMeter webinar - integration with InfluxDB and GrafanaJMeter webinar - integration with InfluxDB and Grafana
JMeter webinar - integration with InfluxDB and Grafana
RTTS
 
When stars align: studies in data quality, knowledge graphs, and machine lear...
When stars align: studies in data quality, knowledge graphs, and machine lear...When stars align: studies in data quality, knowledge graphs, and machine lear...
When stars align: studies in data quality, knowledge graphs, and machine lear...
Elena Simperl
 
LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...
LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...
LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...
DanBrown980551
 
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
Ramesh Iyer
 
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Albert Hoitingh
 
Elevating Tactical DDD Patterns Through Object Calisthenics
Elevating Tactical DDD Patterns Through Object CalisthenicsElevating Tactical DDD Patterns Through Object Calisthenics
Elevating Tactical DDD Patterns Through Object Calisthenics
Dorra BARTAGUIZ
 
Assuring Contact Center Experiences for Your Customers With ThousandEyes
Assuring Contact Center Experiences for Your Customers With ThousandEyesAssuring Contact Center Experiences for Your Customers With ThousandEyes
Assuring Contact Center Experiences for Your Customers With ThousandEyes
ThousandEyes
 
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
Thierry Lestable
 
Connector Corner: Automate dynamic content and events by pushing a button
Connector Corner: Automate dynamic content and events by pushing a buttonConnector Corner: Automate dynamic content and events by pushing a button
Connector Corner: Automate dynamic content and events by pushing a button
DianaGray10
 
Neuro-symbolic is not enough, we need neuro-*semantic*
Neuro-symbolic is not enough, we need neuro-*semantic*Neuro-symbolic is not enough, we need neuro-*semantic*
Neuro-symbolic is not enough, we need neuro-*semantic*
Frank van Harmelen
 
To Graph or Not to Graph Knowledge Graph Architectures and LLMs
To Graph or Not to Graph Knowledge Graph Architectures and LLMsTo Graph or Not to Graph Knowledge Graph Architectures and LLMs
To Graph or Not to Graph Knowledge Graph Architectures and LLMs
Paul Groth
 
PCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase TeamPCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase Team
ControlCase
 
Designing Great Products: The Power of Design and Leadership by Chief Designe...
Designing Great Products: The Power of Design and Leadership by Chief Designe...Designing Great Products: The Power of Design and Leadership by Chief Designe...
Designing Great Products: The Power of Design and Leadership by Chief Designe...
Product School
 
Knowledge engineering: from people to machines and back
Knowledge engineering: from people to machines and backKnowledge engineering: from people to machines and back
Knowledge engineering: from people to machines and back
Elena Simperl
 

Recently uploaded (20)

DevOps and Testing slides at DASA Connect
DevOps and Testing slides at DASA ConnectDevOps and Testing slides at DASA Connect
DevOps and Testing slides at DASA Connect
 
FIDO Alliance Osaka Seminar: FIDO Security Aspects.pdf
FIDO Alliance Osaka Seminar: FIDO Security Aspects.pdfFIDO Alliance Osaka Seminar: FIDO Security Aspects.pdf
FIDO Alliance Osaka Seminar: FIDO Security Aspects.pdf
 
GenAISummit 2024 May 28 Sri Ambati Keynote: AGI Belongs to The Community in O...
GenAISummit 2024 May 28 Sri Ambati Keynote: AGI Belongs to The Community in O...GenAISummit 2024 May 28 Sri Ambati Keynote: AGI Belongs to The Community in O...
GenAISummit 2024 May 28 Sri Ambati Keynote: AGI Belongs to The Community in O...
 
State of ICS and IoT Cyber Threat Landscape Report 2024 preview
State of ICS and IoT Cyber Threat Landscape Report 2024 previewState of ICS and IoT Cyber Threat Landscape Report 2024 preview
State of ICS and IoT Cyber Threat Landscape Report 2024 preview
 
Monitoring Java Application Security with JDK Tools and JFR Events
Monitoring Java Application Security with JDK Tools and JFR EventsMonitoring Java Application Security with JDK Tools and JFR Events
Monitoring Java Application Security with JDK Tools and JFR Events
 
From Siloed Products to Connected Ecosystem: Building a Sustainable and Scala...
From Siloed Products to Connected Ecosystem: Building a Sustainable and Scala...From Siloed Products to Connected Ecosystem: Building a Sustainable and Scala...
From Siloed Products to Connected Ecosystem: Building a Sustainable and Scala...
 
JMeter webinar - integration with InfluxDB and Grafana
JMeter webinar - integration with InfluxDB and GrafanaJMeter webinar - integration with InfluxDB and Grafana
JMeter webinar - integration with InfluxDB and Grafana
 
When stars align: studies in data quality, knowledge graphs, and machine lear...
When stars align: studies in data quality, knowledge graphs, and machine lear...When stars align: studies in data quality, knowledge graphs, and machine lear...
When stars align: studies in data quality, knowledge graphs, and machine lear...
 
LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...
LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...
LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...
 
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
 
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
 
Elevating Tactical DDD Patterns Through Object Calisthenics
Elevating Tactical DDD Patterns Through Object CalisthenicsElevating Tactical DDD Patterns Through Object Calisthenics
Elevating Tactical DDD Patterns Through Object Calisthenics
 
Assuring Contact Center Experiences for Your Customers With ThousandEyes
Assuring Contact Center Experiences for Your Customers With ThousandEyesAssuring Contact Center Experiences for Your Customers With ThousandEyes
Assuring Contact Center Experiences for Your Customers With ThousandEyes
 
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
 
Connector Corner: Automate dynamic content and events by pushing a button
Connector Corner: Automate dynamic content and events by pushing a buttonConnector Corner: Automate dynamic content and events by pushing a button
Connector Corner: Automate dynamic content and events by pushing a button
 
Neuro-symbolic is not enough, we need neuro-*semantic*
Neuro-symbolic is not enough, we need neuro-*semantic*Neuro-symbolic is not enough, we need neuro-*semantic*
Neuro-symbolic is not enough, we need neuro-*semantic*
 
To Graph or Not to Graph Knowledge Graph Architectures and LLMs
To Graph or Not to Graph Knowledge Graph Architectures and LLMsTo Graph or Not to Graph Knowledge Graph Architectures and LLMs
To Graph or Not to Graph Knowledge Graph Architectures and LLMs
 
PCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase TeamPCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase Team
 
Designing Great Products: The Power of Design and Leadership by Chief Designe...
Designing Great Products: The Power of Design and Leadership by Chief Designe...Designing Great Products: The Power of Design and Leadership by Chief Designe...
Designing Great Products: The Power of Design and Leadership by Chief Designe...
 
Knowledge engineering: from people to machines and back
Knowledge engineering: from people to machines and backKnowledge engineering: from people to machines and back
Knowledge engineering: from people to machines and back
 

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.