## Journal of the Brazilian Computer Society

##
*Print version* ISSN 0104-6500*On-line version* ISSN 1678-4804

### J. Braz. Comp. Soc. vol.7 no.3 Campinas 2001

#### http://dx.doi.org/10.1590/S0104-65002001000200006

**ARTICLES**

**Edge-clique graphs and the l-coloring problem**

**Tiziana Calamoneri; Rossella Petreschi **

Dept. of Computer Science, University of Rome "La Sapienza" - Italy, via Salaria 113, 00198 Roma, Italy, e-mail address: {calamo, petreschi}@dsi. uniromal. it

**ABSTRACT**

This paper deals with *edge-clique graphs *and with the l*-coloring problem *when restricted to this class.

A characterization of edge-clique graphs of out-erplanar graphs is given; a complete description of edge-clique graphs of threshold graphs is presented and a linear time algorithm for l-coloring the edge-clique graph of a threshold graph is provided.

A survey on the l-coloring problem, when restricted to edge-clique graphs, is reported.

**keywords: **edge-clique graphs, l-coloring, out-erplanar graphs, threshold graphs.

**1 Introduction**

The *edge-clique graph K _{e}*(

*G*) of a graph G is a graph whose vertices correspond to the edges of

*G*and two vertices are adjacent whenever the corresponding edges of

*G*belong to a common clique.

Edge-clique graphs appeared implicitly in literature in 1978 in a paper by Kou, Stockmeyer and Wong concerning keyword conflicts [19], but the first systematic paper dealing with them is due to Albert-son and Collins and was published in 1984 [1].

In [1] edge-clique graphs are inspired by the graph representing the incidence system arisen by the following formulation of the four color theorem: *the edges of a triangulation of the plane can be 3-colored such that the edges incident with every triangle are colored distinctly.*

The fact that edge-clique graphs were born by a problem, perhaps the most famous, in the field of graph coloring [18], suggested us to explore, restricted to edge-clique graphs, a very actual coloring problem related to the design of wireless communication systems: the A l-coloring problem.

The l*-coloring problem *consists in an assignment of colors from the integer set (O..l) to the vertices of a graph *G *such that vertices at distance at most two get different colors and adjacent vertices get colors which are at least two apart. The aim is to minimize l.

This problem was born in the context of mobile computing (see, for instance [12, 14, 16]). The task is to assign radio frequencies to transmitters at different locations without causing interference. This situation is modeled by a graph, whose vertices are the radio transmitters/receivers, and the adjacencies indicate possible communications and, hence, interference. The aim is to minimize the frequency bandwidth, i. e. l.

In the general case, the l-coloring problem is NP-complete, as the most common problem of the *vertex coloring problem *is. Therefore it is interesting to investigate special classes of graphs for which it is possible to find either tight bounds for the number of necessary colors or approximating solutions.

This paper deals with the l-coloring problem restricted to edge-clique graphs. Namely, a linear time algorithm for l-coloring the edge-clique graph of a threshold graph is provided. Moreover, we characterize edge-clique graphs of outerplanar graphs as particular outerplanar graphs, so the same results concerning the l-coloring problem of outerplanar graphs [7] hold for their edge-clique graphs.

The paper is organized as follows.

In the next section terminology and definitions useful in the rest of the paper are recalled.

Edge-clique graphs are closely examined in Section 3 and their main properties are pointed out.

Section 4 characterizes edge-clique graphs of outerplanar graphs and shows that edge-clique graphs of outerplanar graphs are particular triangulated outerplanar graphs.

Section 5 surveys most of the known results concerning l-coloring problem and discusses those concerning edge-clique graphs of different classes of graphs.

Finally, in Section 6, an algorithm for l-coloring the edge-clique graph of a threshold graph is presented and the proofs of its correctness and linearity are provided.

**2 Background**

In all this paper we consider only finite, simple, loopless graphs *G = *(*V, E*)*, *where *V *is the vertex set and *E *is the edge set of *G; *for references see the book [5], when another one is not explicitly cited.

A vertex *x *Î *V *is called *universal *(*isolated*) if it is adjacent to all other vertices of *V *(no vertex in *V*)*; *if *x *is an universal (isolated) vertex, then its degree is *deg*(*x*)* = *ï*V*ï* – 1 *(*deg*(*x*)* = *0).

A graph *G – *({*v*_{1}*, v*_{2}*,...v _{k}*}, ) is a

*null graph*if its edge set is empty, independently by the dimension of the vertex set, i. e. if all its vertices are isolated.

A graph *G *is *planar *if it can be drawn in the plane without crossings. Such a drawing is called *embedding. *A graph is *outerplanar *if it can be embedded in the plane so that every vertex lies on the boundary of the outer face.

A graph *I* = (*V _{I}*, E

*), where*

_{I}*V*Í

_{I}*V*and

*Ej = E*Ç (

*V*x

_{I}*V*) is said to be

_{I}*induced*by

*V*A graph / induced by the subset

_{I}.*V*Í

_{I}*V*is called:

*complete *or *clique *if any two distinct vertices in *V _{I}* are adjacent in

*G;*

*stable *or *independent *if no two vertices in *V _{I} *are adjacent in

*G.*

We call *q*(*G*) the number of maximal cliques in a graph *G.*

A graph *G *is said to be *split *if there is a partition *V = V _{K }*È

*V*of its vertices such that the induced subgraphs

_{S }*K*and

*S*are complete and stable, respectively.

For any graph *G, *let *N*(*x*) be the set of *x's *adjacent vertices. Then, the *vicinal preorder * on *V *is defined as follows: *x * *y *iff *N*(*x*)* – y *Í *N*(*y*)* – x.*

A graph *G = *(*V, E*) is a *threshold graph *if and only if it is a split graph and all its vertices are in vicinal preorder (see Fig. 9. a).

Let *F* be a family of subsets of some sets. The *intersection graph *of *F* is a graph whose vertices are associated to the subsets of *F, *two vertices being adjacent if the corresponding pair of subsets intersect.

A graph *K*(*G*) is said the *clique graph of the *graph *G, *if it is the intersection graph of the maximal cliques of *G *(see Fig. 1), [4, 22, 23].

A graph *K _{e}*(

*G*) is said the

*edge-clique graph*of the graph

*G,*if its vertices are the edges of

*G*and two vertices in

*K*(

_{e}*G*) are joined by an edge if the corresponding edges in

*G*are contained in the same clique (see Fig. 2), [1].

From 1984 to nowadays much work has been done on edge-clique graphs; a not exhaustive list of papers is [9, 10, 11, 13, 21, 25, 26]. In the next section we summarize some results on edge-clique graphs useful for the rest of the paper.

**3 Edge-clique graphs**

From the definition of edge-clique graph the following two facts hold:

**Fact 3. 1 ***If G is a clique, its edge-clique graph K _{e}*(

*G*)

*is a*clique,

*too.*

**Fact 3. 2 ***If G is either a path, or a bipartite graph, or an hexagonal or squared tiling, or a cycle with at least *4 *vertices, then its edge-clique graph K _{e}*(

*G*)

*is a*null graph.

Notice that, in Fact 3. 2, cycles with 3 vertices are omitted because they are cliques. Furthermore, they are the only fixed point with respect to *K _{e }*transformation.

**Theorem 3. 3 **[*25*]* The edge-clique graph K _{e}*(

*G*)

*of a chordal*(

*strongly chordal*)

*graph G is still chordal*(

*strongly chordal*)

*.*

Observe that non-isomorphic graphs may have isomorphic edge-clique graphs, as shown in Fig. 2 [9].

**Theorem 3. 4 **[*1*]* If G is a planar graph and it contains cliques of dimension not greater than 3, then its edge-clique graph K _{e}*(

*G*)

*is planar.*

The hypothesis that cliques with more than 3 vertices do not exist is substantial for Theorem 3. 4. Indeed, if cliques of dimension 4 are present in *G, *not only *K _{e}*(

*G*) is not planar anymore, but it may also be very complicated, as shown in Fig. 3.a and 3.b. Cliques of higher dimension cannot be in

*G*since are not planar. Finally we have to underline that the converse of Theorem 3. 4 does not hold, see Petersen graph (Fig. 3.c) as an example.

**Fact 3. 5 **[*1*]* If in G there is a clique of dimension k in its edge-clique graph K _{e}*(

*G*)

*there is a clique of dimension*.

*Viceversa holds.*

From the previous fact, it follows that cliques in an edge-clique graph can have only dimension equal to a binomial coefficient, then cliques of dimension 2, 4, 5, 7, 8, 9,... cannot be in. Consequently, since *K _{S}*(

*G*) cannot have cliques of dimension 2, then

*K*(

*G*) cannot have cliques neither of dimension 2 nor of dimension 1, while

*K*(

*G*)

*= K*

^{–}^{1}(

*G*) for

*r*3.

__>__Summarizing:

**Corollary 3. 6 ***q*(*G*)* > q*(

*K*(

_{e}*G*))

*.*

It is to notice that Fact 3. 5 implies that two different cliques in *K _{e}*(

*G*) may share a number of vertices equal to a binomial coefficient. Let us consider in

*G*two cliques of dimension

*h*and fc, respectively, sharing í vertices. These vertices induce a clique in

*G,*hence in

*K*(

_{e}*G*) the two cliques become two cliques of dimension and , and they share vertices.

The correlation between the chromatic number of a graph *G *and the chromatic number of its edge-clique graph follows the same rule of the correlation between the corresponding cliques of these graphs.

**Theorem 3. 7 **[*1*]* The chromatic number of an edge-clique graph K _{e}*(

*G*)

*has as upper bound the value*

*, where*c(

*G) is the chromatic number of G.*

From Theorem 3. 7 it is possible to derive that if in *G *there are not cliques of dimension greater than 3:

c*IK _{e}*(

*G*})

__<__c(

*G*)

*;*

* *c(*K _{e}*(

*G*))

*<*c(

*G*) if c(

*G*) is even (see Fig. 4).

**4 Edge-clique graph of an outerplanar graph**

In this section we study the edge-clique graph of an outerplanar graph.

First, we recall a characterization of outerplanar graphs:

**Theorem **4. 1 [*5*]* A graph is outerplanar if and only if it contains no subgraph homeomorphic to K*_{4}* or K*_{2,3}* by a homeomorphism that contracts degree-2 vertices.*

As consequence of Theorem 4. 1, a triangle is the biggest clique an outerplanar graph can contain as subgraph. From Theorem 3. 4 and from the fact that an outerplanar graph is *K*_{4}free, we deduce that its edge-clique graph is planar. Here we prove that it remains an outerplanar graph and we characterize its special structure.

**Lemma 4. 2 ***Let G be an outerplanar graph and let K _{E}*(

*G*)

*be its edge-clique graph. Then, two triangles in K*(

_{e}can share at most one vertex*see Fig. 5.a*)

*.*

**Proof: **Let us suppose by contradiction that two triangles sharing an edge exist in *K _{e}*(

*G*)

*,*then in

*G*the corresponding triangles would share a pair of edges, i. e. they would be the same triangle, against the initial hypothesis that

*G*is simple (see Fig. 5.b).

**Lemma 4. 3 ***Given an outerplanar graph G, its edge-clique graph K _{e}*(

*G*)

*does not contain cycles longer than three.*

**Proof: **Let us suppose, by contradiction, that a *k-*cycle, *k > *3, exists in *K _{e}*(

*G*)

*.*This implies that in

*G*there is a wheel of

*k*triangles, each one sharing an edge with its neighbors contradicting the fact that

*G*is outerplanar (see Fig. 5.c).

**Definition 4.4** *A *tree of triangles *is a simple graph in which:*

*every edge is involved in exactly one triangle *(*three vertices and three edges*)*;*

*two triangles can share only one vertex and each vertex belongs to at most two triangles;*

*the clique graph of a tree of triangles is a tree *(*see Fig. 6*)*.*

It is straightforward to see that:

**Fact 4. 5 ***A tree of triangles is an outerplanar graph and each vertex has degree either 2 or 4.*

**Theorem 4. 6 ***Let H = K _{e}*(

*G*)

*. Then G is an outerplanar graph G if and only if H is the disjoint union of isolated vertices, isolated triangles and trees of triangles.*

**Proof: **In view of Fact 3. 5, cliques of dimension 2 and 3 in G become isolated vertices and triangles, respectively, in *K _{e}*(

*G*)

*.*Theorem 4. 1 guarantees that cliques of dimension 4 cannot exist.

Lemma 4. 2 and Lemma 4. 3 specify that groups of connected triangles in *K _{e}*(

*G*) can only constitute trees of triangles.

The converse is straightforward.

**Theorem 4.7** *Given an outerplanar graph G, its edge-clique graph K _{e}*(

*G*)

*is an outerplanar graph.*

**Proof: **The statement descends from Theorem 4. 6 and Fact 4. 5.

**5 The l-coloring problem**

The *radio frequency assignment *problem consists in assigning radio frequencies to transmitters at different locations without causing interference. This situation can be modeled by a graph, whose vertices are the radio transmitters/receivers, and the adjacencies indicate possible communications and, hence, interference. On this model, the radio frequency assignment problem is then transformed into a coloring problem, where colors represent possible frequencies.

In the l*-coloring problem *[16] 'close' transmitters must receive different frequencies and 'very close' transmitters must receive frequencies that are at least two apart. The aim is to minimize the number of used frequencies. In terms of graphs, two vertices are 'very close' if they are adjacent, while they are 'close' if lie at distance two in the graph.

More formally:

**Definition 5.1 **[*3*]* A *l-coloring *of a graph G is a function f from the vertex set V*(*G*)* to the set of all nonnegative integers such that*

*1. *ê*f*(*x*)* – f*(*y*)ê* > *2

*if d*(

*x, y*)

*=*1

*and*

*2. *ê*f*(*x*)* – f*(*y*)ê* > 1 if d*(

*x, y*)

*= 2.*

*The *l -number *of G* (*simply *l (G) *or *l *for short, when no confusion arises*)* is the smallest number of colors necessary to *l*-color G minus one, i.e. the biggest used color in any optimal *l*-coloring.*

The l-coloring problem has been very studied in the last decade, for its interesting applications in the field of mobile computing, so many results are present in the literature. Namely, for some classes of graphs - such as paths, cycles, tilings, wheels and *k*-partite graphs - tight bounds for the number of colors necessary for a l-coloring are known and such a coloring can be computed efficiently. Nevertheless, in general both determining the minimum number of necessary colors [16] and determining if this number is < *k *for every fixed *k > *4 [14] is NP-complete. Therefore, for many classes of graphs -such as chordal graphs [24], interval graphs [12], un-igraphs [8] - approximate bounds have been looked for.

In Table 1 most of the known results related to l-coloring of specific classes of graphs are summarized.

In this paper we investigate on l-coloring of edge-clique graphs. First, we can observe that a translation of Theorem 3. 7 for l does not hold. Indeed, l(G) = l(*K _{e}*(

*G*))

*when G is a*triangle, as it is the fixed point for the

*K*operator. On the contrary, l(G) < l(

_{e}*K*(

_{e}*G*)) for any

*G*clique of dimension greater than 3. Finally, l(G) > l(

*K*(

_{e}*G*)) whenever

*G*is a non trivial graph with no cliques (e. g. G is a simple cycle). Hence, it seems not possible to derive general bounds on A; on the contrary, we have to handle the l-coloring problem separately on each class of graphs.

Looking at the table and considering Theorem 3. 3 it is easy to assert that results concerning the l-coloring problem on chordal and strongly chordal graphs hold for *K _{e}*(

*G*)

*,*too. From the other hand, the edge-clique graph of a clique is still a clique (see Fact 3. 1) and for it we can compute an optimal l-coloring. In the previous section we have proven that the edge-clique graph of an outerplanar graph is outerplanar; it follows that the results given in [7] hold. More in general, results on l-coloring are extended to edge-clique graphs for all classes of graphs such that if

*G*is in so is its edge-clique graphs. Concerning planar graphs, the results on l-coloring planar graphs can be applied to edge-clique graphs of planar graphs without cliques of dimension 4 (see Theorem 3. 4). Nothing we axe able to say about edge-clique graphs of planar graphs with cliques of dimension 4 (cf. Fig. 3).

The edge-clique graph of a path, of a cycle with more than 3 vertices, of a hexagonal or squared tiling, of a tree and of a bipartite graph is a set of isolated vertices (see Fact 3. 2), and hence it makes no sense to study the l-coloring of such a graph because one color is trivially sufficient.

The edge-clique graph of a triangular tiling is a subgraph of a triangular tiling (see Fig. 8), then for it we can consider the bound relative to triangular tiling, even if it is not tight. In fact, using techniques similar to those in [6], it is possible to show that 6 __<__ l __<__ 7 (see Fig. 8.b). It remains an open problem to understand which is the exact value of l. Concluding, for almost all the classes for which bounds on l are known, it is possible to determine bounds on l for their edge-clique graph. In Section 6 we take a step forward on completing Table 1 providing a linear time algorithm computing a l-coloring of the edge-clique graph of a threshold graph.

**6 l-coloring the edge-clique graph of a threshold graph**

In this section we completely describe the edge-clique graph *K _{e}*(

*G*) of a threshold graph

*G*, and then we study the l-coloring problem on

*K*(

_{e}*G*)

*,*providing a linear time algorithm that l-colors

*K*(

_{e}*G*)

*.*

Let us consider the edge-clique graph *K _{e}*(

*G*)

*=*(

*V', E'*) of a threshold graph G = (

*V*È

_{K}*V*)

_{S}, E*.*As

*G*is defined and from Fact 3. 5,

*K*(

_{e}*G*) contains a clique

*K'*of dimension .

For what concerns the edges between *K *and *S, *consider the general vertex *v _{i} *Î

*V*and its neighborhood

_{S}*N*(

*v*)

_{i}*= u*

_{1}

*, u*

_{2}

*... u*

_{deg}_{() }Í

*V*(see Fig. 7. a). The subgraph induced in

_{K }*G*by {

*v*} È

_{i}*N*(

*v*) is a clique of dimension

_{i}*deg*(

*v*)

_{i}*+*1. Therefore, such a clique corresponds to a clique

*K*in

*K*(

_{e}*G*) of dimension This clique has

*deg*(

*vi*) vertices outside

*K',*while shares all its other vertices with

*K'*(see Fig. 7.b).

The previous reasonings must be replicated for each vertex in *V _{S}*(see Fig. 9). It follows that

*K*(

_{e}*G*) is constituted by:

a clique *K' *of dimension (comming out from *K *in *G*);

|*V _{S}*| cliques

*K'*

_{i }of dimension

*i*= 1, 2,..., |

*Vs*|(coming out from each {

*v*} È

_{i}*N*(

*v*).

_{i} Cerioli and Szwarcfiter [11] show that this is also a sufficient condition, i. e. if *K _{e}*(

*G*) has these properties, then

*G*is a threshold graph.

**Observation 6.1 ***As a threshold graph is defined, it must be *(*K* Ç*K'*) Ê (*K* Ç*K'*) Ê... Ê(*K* Ç*K'*)*.*

Now we describe a new algorithm to l-color an edge-clique graph *K _{e}*(

*G*) of a threshold graph

*G*by giving first an high level view and then all the details.

For our aim it is not restrictive to suppose that each vertex *v _{i} *Î

*V*has degree

_{S}*deg*(

*v*)

_{i}*2. Indeed, if*

__>__*deg*(

*v*)

_{i}*=*1 for some

*v*Î

_{i}*V*the unique edge

_{S}s,*e*, incident to

_{i}*v*in

_{i}*G*produces a clique of dimension 1, i. e. an isolated vertex, in

*K*(

_{e}*G*)

*.*The l-coloring of this vertex does not increase the value of l . Under this assumption and from Observation 6. 1 it follows that all vertices in

*K*Ç

*K'*are universal vertices, i. e. they are connected to all vertices in the graph; then, each vertex of

*K*(

_{e}*G*) must receive a different color.

Let *S' *be *V' – K'. *As an edge-clique graph is defined, degree of each vertex in *K' *is never less than degree of any vertex in *S'. *Hence, it is possible to sort all vertices of *K _{e}*(

*G*) according to their degree. From now on let us call

*x*

_{1},

*x*

_{2}

*,..., X*

_{|K'| }vertices in

*K'*and

*w*

_{1},

*w*

_{2},...

*w*

_{|S'|}vertices in

*S',*so that the higher is their degree, the smaller is their index.

The algorithm labels vertices in *K _{e}*(

*G*) one by one, starting from vertices in

*K'*and going on with vertices in |

*S'*|

*. K'*is l-colored with the first |

*K'*| even colors [16], starting from the universal vertices to vertex

*X*

_{|K'|}

*.*The l-coloring of vertices in

*S'*works clique by clique, moving from vertices in

*K*

*,*to vertices in

*K*

*,*and requires a final adjustment phase in order to improve the l-coloring.

Namely, working on vertices in *K', *the not used (odd) colors are put in a queue. Let *c* be a color in the queue. If either *c* – 1 or c + 1 are (even) colors assigned to a universal vertex, then *c *is thrown out, because each vertex *w *Î* S' is *adjacent to each universal vertex and therefore *w *cannot be labeled with *c. *Otherwise, *c *is assigned to any vertex *w *Î *K* Ç *S' *such that neither *c –* 1 nor c + 1 are used to label some vertex in *K* Ç *K'. *If this is not the case, *c *is thrown out. After the queue is emptied, new colors must be used. Of course, if a color *c *is assigned to a vertex *w w *Î *K*Ç *S', *neither color *c* – 1 nor c+1 can be used in the same clique *K* *, *then they are enqueued. After all vertices of *K _{e}(G) *have been labeled, queue may be empty or may be not. If the queue contains some colors, the adjustment phase must be run, in order to decrease the number of used colors. In particular, the algorithm visits all vertices in

*S',*and looks for vertices whose colors can be replaced so that colors in queue are used and the biggest colors are thrown out.

Now, we trace the details of the previous algorithm.

Before presenting the theorem that prove the correctness and complexity of the previous algorithm, we want to better clarify Step 2. Namely, boolean variable *new *is necessary for correctly labeling one at a time vertices in clique *K* *. *when queue is empty, a new color *c *must be considered and, if it is feasible, *new *guarantees that colors *c* + 2, *c* + 4,... are used to label next vertices in the same clique *K* * _{+1} *nevertheless, when the algorithm moves to clique

*K*

*switches its values so that colors*

_{+1}, new*c+*1,

*c +*3,... are extracted by queue.

**Theorem 6. 2 ***Algorithm *l *-COL-K _{e}- THRESHOLD correctly computes a *l

*-coloring of the edge-clique graph K*(

_{e}*G*)

*of a threshold graph G in O*(|

*V'*|)

*time using no more than*|

*V'*|

*+*|

*K*Ç

*K'*|

*+*|

*K*Ç

*K'*|

*colors.*

**Proof: **As the algorithm is designed, the produced coloring is a feasible l-coloring.

In order to show that the algorithm uses no more than |*V'*|* + *|*K* Ç *K'*|* + *|*K* Ç *K'*|colors, notice that - as all vertices in *K* Ç *K' *are universal -no color can be reused, hence algorithm l *-COL-K _{e}- *THRESHOLD uses at least |

*V'*|colors. Furthermore, the algorithm throws out all (odd) colors close to colors used to label the universal vertices, i. e.

*K*Ç

*K'*colors. Finally, if the current vertex

*w*cannot be labeled with the dequeued color

*c,*we observe that no other unlabeled vertex

*w'*can, in view of Obs. 6.1, and therefore we throw

*c*out. In such a case, if

*w*Î

*K*for some

*i, c*must be close to a color used to label a node

*v*Î

*K*Ç

*K'.*It follows that -globally - no more than

*max*|

_{i}*K*Ç

*K'*|

*=*|

*K*Ç

*K'*|colors can be thrown out. Up to now, no more than a

*=*|

*V'*|

*+*|

*K*Ç

*K'*|

*+*|

*K*Ç

*K'*|colors are used. To conclude the proof, we have to show that algorithm l -COL-if

_{e}-THRESHOLD uses no more than a colors, i. e. that Step 3 always empties queue. If the number |

*S*| of cliques

*K*is |

*S*|> 1, then Step 3 always runs successfully, since the colors close to enqueued colors have been assigned by Step 2 to vertices in the biggest

*K*

*s*(i. e. smallest values of

*i);*therefore, it is always possible to find vertices

*w*in the smaller

*K*

*s*willing to swap their colors. The worst case happens when |

*S*|= 1 and the unique resulting clique

*K*is as bigger as possible. In this case, |

*K'*|and |

*K*| are both equal to , if

*deg*(

*v*

_{1})

*=*|

*K*|

*–*1, that is the maximum possible.

Observe that *K* can be partitioned into *K* Ç* K' *and *K* Ç* S' = S'. *As the algorithm works, exactly |*K* Ç *K'*| colors are thrown out, and in queue there are |*K'*|*– *1 – |*K* Ç *K'*| *. *A problem arises if |*K* Ç *K'*| is much bigger than the number of enqueued colors. Indeed, in this case, the algorithm would use many odd colors and would enqueue the corresponding even colors, but these enqueued colors could not be used in any way. As edge-clique graph of a threshold graph is defined, in this case, |*K* Ç *K'*| is exactly equal to | *K' – K* | *, *and then all vertices in *S' *can be labeled with enqueued colors, but one; this last vertex uses a new consecutive color and hence Step 3 does not need to be executed because queue is empty.

To prove that the time complexity is linear in the number of vertices of *K _{e} *(

*G*)

*,*let us do the following considerations. Step 1 and 2 take time proportional to |

*K'*|and |

*S'*|

*,*respectively, hence

*O*(|

*V'*|) time, globally. Also Step 3 can be carried on in linear time, if the data structures are implemented in appropriate way, e.g. with a set of links connecting each used color

*c*with the vertex labeled

*c*and with the position (in queue or on vertices of

*S'*) of

*c*– 1 and

*c +*1. In this way, it is sufficient to visit at most once all vertices in

*S',*starting from vertices labeled with smaller colors, and this is equivalent to visit them following their numbering in decreasing fashion (from

*w*

_{|S'|}to

*w*

_{1})

*.*

Before concluding with an example showing how algorithm l -COL-if_{e}-THRESHOLD works, we want to highlight that, for the structure of *K _{e}*(

*G*)

*,*it always hold: l (

*K*(

_{e}*G*))

__>__|

*V'*|

*+*|

*K*Ç

*K'*|

*–*1. This observation implies that, if the

*else*statement in Step 2 is never executed, the algorithm finds the optimal solution; in any case, it always guarantees a number of colors linear in the degree of

*K*(

_{e}*G*)

*.*

**6.1 An example**

Let *G = *(*V _{K} *Ç

*V*) be a threshold graph with |

_{S}, E*V*|

_{K}*=*5 and

*deg*(

*v*)

_{1}*= deg*(

*v*)

_{2}*=*4 and

*deg*(

*v*)

_{3}*=*2 and with the resulting edge-clique graph depicted in Fig. 10. a. Step 1 of the algorithm labels all vertices in

*K'*with consecutive even colors, throw color 1 out and enqueue all other odd colors from 3 to

*2*|

*K'*|

*- 1*(see Fig. 10. a and Fig. 10.b).

Step 2 labels vertices in *S' *starting from *K* *: *it dequeues colors 3 and 5 and assigns them to vertices *inK* Ç* S' *(see Fig. 10.c).

When *K* is considered, enqueued color 7 is not feasible; the same holds for colors 9 and 11; therefore they are thrown out (see Fig. 10.d). Vertices in *K* Ç* S'* are labeled with the next four colors in queue and queue is empty (see Fig. 10.e).

New colors are used to l-color vertices in *K* Ç* S, *and consequently three close new colors are enqueued (see Fig. 10.e and 10.f).

Since queue is not empty, Step 3 must be run: vertex labeled with 26 is selected as *w _{cmax} *and vertex labeled with 13 is selected as

*w;*so

*w*is relabeled with 13 and

_{cmax}*w*with the first color in queue, i. e. 21; color 25 is dequeued. Since queue is not empty, this step is executed again, as shown in Fig. 10.e. At the end of Step 3 maximum used color is decreased from 26 to 23.

**References**

[1] M. O. Albertson and K. L. Collins: Duality and Perfection for Edges in Cliques. *J. of Combinatorial Theory., ***B/36**: 298-309, 1984. [ Links ]

[2] A. A. Bertossi, C. M. Pinotti and R. B. Tan: Efficient Use of Radio Spectrum in Wireless Networks with Channel separation between Close Stations. In Proceedings of *4th ACM Int. Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL M), *2000. [ Links ]

[3] H. L. Bodlaender, T. Kloks, R. B. Tan and J. van Leeuwen: l-Coloring of Graphs. In Proceedings of *STAGS 2000, *pages 395-406. Lectures Notes in Computer Science 1770, 2000. [ Links ]

[4] C. F. Bornstein and J. L. Szwarcfiter: Clique Graphs of Chordal and Path graphs. *SIAM J. Disc. Math., ***9**: 331-336, 1996. [ Links ]

[5] A. Brandstadt, V. B. Le and J. P. Spinrad: *Graph Classes: A Survey. *SIAM Monographs on Discrete Mathematics and Applications, Philadelphia, 1999. [ Links ]

[6] T. Calamoneri and R. Petreschi: l-Coloring of Regular Tiling. In Proceedings of *First Cologne-Twente Workshop (CTW). *Electronic Notes in Discrete Mathematics, 8, 2001. http://www.elsevier.nl/locate/endmCTW2001. [ Links ]

[7] T. Calamoneri and R. Petreschi: *L*(2, 1)-Labeling of Planar Graphs (Extended Abstract). In Proceedings of *5th ACM Int. Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL M), *2001, pages 28-33. [ Links ]

[8] T. Calamoneri and R. Petreschi: l*-Coloring Unigraphs. *In Proceedings of *LATIN 2002. *Lectures Notes in Computer Science, 2002 (to appear). [ Links ]

[9] M. R. Cerioli: Grafos Clique de Arestas. Tech. Rep. ES438/97, Dept. of Engineering and Computer Systems, Fed. Univ. of Rio de Janeiro, 1997. [ Links ]

[10] M. R. Cerioli and J. L. Szwarcfiter: A Characterization of Edge-Clique Graphs. *Ars Combinatoria, ***60**: 287-292, 2001. [ Links ]

[11] M. R. Cerioli and J. L. Szwarcfiter: Edge Clique Graphs and Some Classes of Chordal Graphs. *Discrete Mathematics, ***242**: 31-39, 2002. [ Links ]

[12] G. J. Chang and D. Kuo: The *L(2, *l)-labeling Problem on Graphs. *SIAM J. Disc. Math., *9: 309-316, 1996. [ Links ]

[13] G. Chartrand, S. F. Kapoor, T. A. McKee and F. Saba: Edge clique Graphs. *Graphs and Combinatorics, ***7***: *253-264, 1991. [ Links ]

[14] J. Fiala, T. Kloks and J. Kratochvíl: Fixed-parameter Complexity of l-Labelings. In Proceedings of *Graph-Theoretic Concepts of Compu. Sci. (WG99), *Lectures Notes in Computer Science 1665, pages 350-363, 1999. [ Links ]

[15] D. A. Fotakis, S. E. Nikoletseas, V. G. Pa-padoulou and P. G. Spirakis: NP-completeness Results and Efficient Approximations for Ra-diocoloring in Planar Graphs. In Proceedings of *25th Int. l Symp. on Math. Foundations of Compu. Sci. (MFCS 2000), *2000. [ Links ]

[16] J. R. Griggs and R. K. Yeh: Labeling graphs with a Condition at Distance 2. *SIAM J. Disc. Math, ***5**: 586-595, 1992. [ Links ]

[17] J. van den Heuvel and S. McGuinnes: Colouring the square of a planar graphs. *Report LSE-CDAM-99-06, *Centre for Discrete and Applicable Mathematics, London School of Economics, London, U. K., 1999. [ Links ]

[18] T. R. Jensen and B. Toft: *Graph Coloring Problems. *John Wiley & Sons, New York, 1995. [ Links ]

[19] L. T. Kuo, L. J. Stockmeyer and C. K. Wong: Covering Edges by Cliques with regard to key-work conflicts and intersection graphs. *Communication of the ACM., ***21**: 135-139, 1978. [ Links ]

[20] M. Molloy and M. R. Salavatipour. *Frequency channel assignment on planar networks. *Manuscript, 2001. [ Links ]

[21] E. Prisner: Line graphs and generalizations - a survey. *Congressus Numerantium, ***67**: 197-204, 1996. [ Links ]

[22] E. Prisner and J. L. Szwarcfiter: Recognizing Clique Graphs of Directed and Rooted Path graphs. *Discr. Appl. Math., ***94**: 321-328, 1999. [ Links ]

[23] N. Robertson and J. H. Spencer: A Characterization of Clique Graphs. *J. of Combinatorial Theory, ***B/10**: 102-108, 1971. [ Links ]

[24] D. Sakai: Labeling Chordal Graphs: Distance Two Condition. *SIAM J. Disc. Math, ***7**: 133-140, 1994. [ Links ]

[25] A. Raychaudhuri: Intersection Number and Edge-Clique Graphs of chordal and strongly chordal graphs. *Congressus Numerantium, ***67**: 197-204, 1988. [ Links ]

[26] A. Raychaudhuri: Edge-Clique Graphs of some important classes of graphs. *Ars Combinatorica , ***32**: 269-278, 1991. [ Links ]