arxiv: v1 [math.co] 10 Aug 2016

Transcription

1 LOWER BOUNDS FOR ON-LINE INTERVAL COLORING WITH VECTOR AND CARDINALITY CONSTRAINTS GRZEGORZ GUTOWSKI AND PATRYK MIKOS arxiv: v1 [ath.co] 10 Aug 2016 Abstract. We propose two strategies for Presenter in the on-line interval graph coloring gaes. Specifically, we consier a setting in which each interval is associate with a -iensional vector of weights an the coloring nees to satisfy the -iensional banwith constraint, an the k-carinality constraint. Such a variant was first introuce by Epstein an Levy an it is a natural oel for resource-aware task scheuling with ifferent share resources where at ost k tasks can be scheule siultaneously on a single achine. The first strategy forces any on-line interval coloring algorith to use at least (5 3) log+3 ifferent colors on an ( k +log+3) -colorable set of intervals. The secon strategy forces any on-line interval coloring algorith to use at least 5 2 log+3 ifferentcolorsonan( k +log+3) -colorablesetofunitintervals. 1. Introuction A proper coloring of a graph G is an assignent of colors to the vertices of the graph such that ajacent vertices receive istinct colors. A k-boune coloring of G is a proper coloring of G such that the nuber of vertices that receive any single color is at ost k. For a graph G, let χ(g) enote the chroatic nuber of G, that is the iniu nuber of colors in a proper coloring of G, an let ω(g) enote the clique nuber of G, that is, the axiu size of a subset of vertices such that any two vertices in the subset are ajacent. An on-line graph coloring gae is a two-person gae, playe by Presenter an Algorith. In each roun Presenter introuces a new vertex of a graph with its ajacency status to all vertices presente earlier. Algorith assigns a color to the incoing vertex in such a way that the coloring of the presente graph is proper. The color of the new vertex is assigne before Presenter introuces the next vertex an the assignent is irrevocable. The goal of Algorith is to iniize the nuber of ifferent colors use uring the gae. In the k-boune variant of the gae, the coloring constructe by Algorith nees to be a k-boune coloring of the presente graph. For an interval I = [l,r] on the real line, we say that l is the left enpoint, an r is the right enpoint of I. The length of interval I is the ifference between its right enpoint an its left enpoint. A set of intervals on the real line represents a graph in the following way. Each interval represents a vertex an any two vertices 1

2 are joine by an ege whenever the corresponing intervals intersect. A graph which aits such a representation is an interval graph. An on-line interval coloring gae is a two-person gae, again playe by Presenter an Algorith. In each roun Presenter introuces a new interval on the real line. Algorith assigns a color to the incoing interval in such a way that the coloring of the presente interval graph is proper, i.e. all intervals of the sae color are pairwise isjoint. The color of the new interval is assigne before Presenter introuces the next interval an the assignent is irrevocable. The goal of Algorith is to iniize the nuber of ifferent colors use uring the gae. We consier a few variants of the on-line interval coloring gae. In the unit variant of the gae, all intervals presente by Presenter are of length exactly 1. In the -iensional variant of the gae, Presenter associates a -iensional vector of weights fro [0, 1] with each presente interval. Moreover, the coloring constructe by Algorith nees to satisfy a ifferent conition. The conition is that for each color γ an any point p on the real line, the su of weights of intervals containing p an colore γ oes not excee 1 in any of the coorinates. In the k-carinality variant of the gae, the coloring constructe by Algorith nees to satisfy that for each color γ an any point p on the real line, the nuber of intervals containing p an colore γ oes not excee k. We are ost intereste in the on-line (k,) interval coloring, a variant in which each interval has a -iensional vector of weights an the coloring ust satisfy constraints of both -iensional an k-carinality variant. That is, for each color γ an any point p, the nuber of intervals containing p an colore γ oes not excee k, an the su of weights of those intervals oes not excee 1 in any coorinate. In the context of various on-line coloring gaes, the easure of the quality of a strategy for Algorith is given by copetitive analysis. A coloring strategy for Algorith is r-copetitive if it uses at ost r c colors for any c-colorable graph, or set of intervals, presente by Presenter. The copetitive ratio for a proble is the infiu of all values r such that there exists an r-copetitive strategy for Algorith for this proble. In this paper we give lower bouns on copetitive ratios for ifferent probles. We obtain these results by presenting explicit strategies for Presenter that force any Algorith strategy to use any colors while the presente graph, or set of intervals, is colorable with a saller nuber of colors. We say that a strategy for Presenter in an on-line coloring proble is transparent if after each tie Algorith assigns a color to a vertex, or interval, Presenter colors the vertex with his own color an reveals that color to Algorith. The coloring constructe by Presenter ust satisfy the sae conitions as the coloring constructe by Algorith. The nuber of colors use by a transparent strategy for Presenter gives an upper boun on the iniu nuber of colors that can be use in a coloring. 2

3 1.1. Previous work. There is a siple strategy for Presenter in on-line graph coloring gae that forces Algorith to use any nuber of colors while the constructe graph is 2-colorable. Thus, the copetitive ratio for this proble is unboune. Nevertheless, it is an interesting question what is the copetitive ratio when the on-line gae is playe only for at ost n rouns. Hallórsson an Szegey [4] presente a transparent strategy for Presenter that forces Algorith to use at least 2 n (1+o(1)) ifferent colors in n rouns of the gae while the constructe logn ( graph is logn(1+o(1))-colorable. The best known upper boun of O n log n the copetitive ratio for the n-roun on-line graph coloring proble was given by Lovasz, Saks an Trotter [6]. The copetitive ratio for the on-line interval coloring proble was establishe by Kierstea an Trotter [5]. They constructe a strategy for Algorith that uses at ost 3ω 2 colors while the clique size of the constructe graph is ω. They also presente a atching lower boun a strategy for Presenter that forces Algorith to use at least 3ω 2 colors. Unit variant of the on-line interval coloring proble was stuie by Epstein an Levy [2]. They presente a strategy for Presenter that forces Algorith to use at least 3ω 2 colors while the clique size of the constructe graph is ω. Moreover, they showe that First-Fit algorith uses at ost 2ω 1 colors. Epstein an Levy [3] introuce any variants of the on-line interval coloring proble. The best known lower boun on the copetitive ratio for the on-line (k,) interval coloring is 3 for sall k an 24 for large k. For unit 7 variant of this proble the best known lower boun is 3. 2 Hallórsson an Szegey ieas were aopte by Azar et al. [1] to show lower bouns on copetitive ratio for on-line -vector bin packing. This proble is equivalent to a variant of -iensional on-line interval coloring where all presente intervals are the interval [0, 1] with ifferent vectors of weights. Their strategy for Presenter shows that the copetitive ratio for the on-line -iensional unit interval coloring proble is at least 2 (1+o(1)). log Our results. We generalize Hallórsson an Szegey [4] strategy into the setting of the k-boune coloring, an using the technique siilar to the one by Azar et al. [1] we aopt it to the on-line (k,) interval coloring proble. We present how to cobine this technique with classical results by Kierstea an Trotter [5], an by Epstein an Levy [2, 3] to obtain a new lower boun of 5 log( +log)(1+o(1)) on the copetitive ratio for the on-line (k,) interval coloring, an a lower boun of 5 k 2 +log)(1+o(1)) for unit variant of this proble. log( k 2. Graph coloring Theore 1. For every n 2 an k N +, there is a transparent strategy for n Presenter that forces Algorith to use at least 2 ifferent colors in the n- logn+3 roun, k-boune on-line graph coloring gae an uses n +logn+3 colors. k 3 ) on

4 Proof. Let b = logn +3. The state of a k-boune on-line graph coloring gae is represente by a progress atrix M. Each cell M[i,j] is either epty or it contains exactly one vertex. At the beginning of the gae, all cells are epty. A vertex in M[i,j] is colore by Algorith with color j an by Presenter with color i. Each player can use a single color γ to color at ost k vertices, so there are at ost k vertices in any colun, an in any row of the progress atrix. We say that a row with k vertices is eplete. Presenter can no longer use colors corresponing to eplete rows. Presenter aintains a set of exactly b active rows, enote A, that contains all nonepty non-eplete rows an aitionally soe epty rows ({i : 1 j M[i,j] < k} A an A = b). At the beginning of the gae there are no eplete rows an A = {1,...,b}. When soe row becoes eplete then it is reove fro A an a new epty row is ae to A. A pattern is a subset of rows. We say that a pattern p represents a colun j if i : i p M[i,j]. A pattern p is active if it is a nonepty subset of A such that p b 2. An active pattern p is present in M if at least one colun of M is represente by p v 1 v 3 v 5 v 7 2 v 2 v 10 v 12 3 v 15 v 4 v 9 v 13 4 v 6 v 11 5 v 8 v Table 1. Exaple of a progress atrix after 15 rouns Table 1 shows a possible state of the progress atrix M after 15 rouns of the 4-boune on-line graph coloring gae with n = 4 an b = 4. In this exaple, the last introuce vertex v 15 is colore by Algorith with color 2 an by Presenter withcolor3. Rows1an3areepleteanthesetofactiverowsisA = {2,4,5,6}. There are10 ifferent active patterns, but only2of the arepresent inm: pattern {2,5} in colun 6, an pattern {5} in colun 9. The transparent strategy for Presenter for roun t is as follows: (1) Choose an active pattern p t that is not present in M. (2) Introuceanewvertexv t thatisajacenttoallverticescolorebypresenter with colors not in p t. (3) Algorith colors v t with color γ. (4) Color v t with any color such that p t an M[,γ] =. We clai that Presenter can follow this strategy as long as there is an active pattern not present in the progress atrix. To prove that, we nee to show that in 4

5 step (4) Presenter always can choose an appropriate color, an that the coloring constructe by Presenter is a k-boune coloring of the constructe graph. Let q be a pattern that represents colun M[,γ] of the progress atrix before roun t. We clai that q p t. Assue to the contrary that i q p t. It follows, that there is a vertex v in cell M[i,γ] an by rule (2) v is ajacent to v t. Thus, Algorith cannot color vertex v t with color γ. Pattern q is present in M before roun t an by rule (1) pattern p t is not present in M before roun t. It follows that q is a strict subset of p t an Presenter has at least one choice for color in step (4). When Presenter assigns color to vertex v t, we have that p t ; p t is an active pattern; is an active row, an there are less than k vertices colore by Presenter with. Rule (2) asserts that none of the vertices ajacent to v t is colore with any of the colors in p t. Thus, we have that Presenter can follow the strategy as long as there is a choice of an appropriate pattern in step (1). ( b ) clai that the gae can be playe for at least n rouns. Inee, there are xwe ifferent patterns of size x an each one of the ust represent a colun of the progress atrix with exactly x vertices. Thus, when all active patterns represent soe colun of the progress atrix, the gae has been playe for at least 1 x 2 x( b x) n rouns. b After n rouns, Presenter use colors corresponing to eplete an active rows. There are at ost n k eplete rows an exactly logn + 3 active rows. Thus, Presenter uses at ost n +logn+3 colors in the first n rouns. k Let q j be a pattern representing colun M[,j] after n rouns. Let t be the last roun when a vertex was ae to colun j. We have that q j is a subset of pattern p t which was an active pattern before roun t, an the size of q j is at ost b 2. Thus, there are at least 2 n nonepty coluns after n rouns. logn+3 For fixe paraeters n an k, enote a generalize Hallórsson an Szegey strategy by HS k,n. Note that for k = +, there are no eplete rows in atrix M an k-boune coloring is siply a proper coloring. In this case we get the original Hallórsson an Szegey result for the on-line graph coloring proble. Theore 2 (Hallórsson, Szegey [4]). For every integer n 2, there is a transparent strategy for Presenter that forces Algorith to use at least 2 colors in n logn+3 the n-roun on-line graph coloring gae an uses logn+3 colors. 3. Interval coloring In the proof of the following theore, we use strategy HS k, to show a lower boun on the copetitive ratio for the on-line (k, ) interval coloring proble. Theore 3. For every 2 an k, N +, there is a strategy for Presenter that forces Algorith to use at least (5 3) ifferent colors in the on-line (k,) log+3 5

6 interval coloring gae while the constructe set of intervals is ( k +log+3) - colorable. Proof. For any fixe paraeters k N +, 2, L < R, ε (0, 1 ) we escribe an auxiliary strategy HS k, (ε,l,r). Let α = 1 1ε, δ = 1 ε. In the t-th roun of the 2 2 on-line (k,) interval coloring gae, Presenter uses HS k, strategy to get a new vertexv t. Then, presentsaninterval[l,r]withweightsw t,wherew t = (x 1,...,x ) is a -iensional vector with x t = α, x i = ε for all i < t such that v i is ajacent to v t, an x i = δ in every other coorinate. Figure 1 shows an exaple of w 6 for a vertex v 6 that is ajacent to v 2 an v 5. α ε ε δ δ δ δ δ δ Figure 1. Encoing of v 6 in a -iensional vector of weights ([L,R],w t ) is colore by Algorith with color γ t. Then, γ t is forware to HS k, as the color of v t. HS k, colors v t with t, but Presenter iscars that inforation. See Figure 2 for a iagra of the strategy HS k, (ε,l,r), an Figure 3 for an exaple encoing of a graph. Algorith [L,R],w t encoe γ t v t t HS k, Figure 2. Encoing of HS k, strategy We clai that the encoing strategy ensures that any intervals I i an I j can get the sae color iff vertices v i an v j are not ajacent. First, assue that i < j an v i is ajacent to v j. Vector w i has α in the i-th coorinate, vector w j has ε in the i-th coorinate, an α + ε > 1. Thus, intervals I i an I j ust be colore with ifferent colors. Let J {I 1,...,I t 1 } be the set of intervals colore with γ before roun t. Assue that v t is not ajacent to any of the vertices in J. Denote the l-th coorinate of the su of vectors of weights of intervals in J by W l. For any 1 l, if I l J then W l = α+δ( J 1) < 1 δ. In this case we have that v t is not ajacent to v l, an that the l-th coorinate of the vector of weights 6

7 of v t is δ. If I l / J then W l ε J < 1 ε. For l = t, we have W l δ J 1 α. Thus, the su of vector of weights of the intervals in the set J {I t } oes not excee 1 in any coorinate an I t can be colore with γ. w 1 α δ δ δ δ δ v 4 w 2 ε α δ δ δ δ w v 1 v 3 v 3 δ ε α δ δ δ 6 w 4 ε δ ε α δ δ v 2 v w 5 δ ε ε δ α δ 5 w 6 δ δ δ ε ε α Figure 3. Exaple of a graph an vectors of weights corresponing to the vertices Consier a sequence of paraeters {ε i } i N+ efine as ε i := ( 1 2) i. See that for every i N + we have ε i (0, 1 ) an we can use HS k,(ε i,l,r) strategy. Let α i = ε i an δ i = 1 2 ε i = ε i+1. Let J i be a set of intervals constructe by HS k, (ε i,l i,r i ) strategy an J j be a set of intervals constructe by HS k, (ε j,l j,r j ) strategy. Assue that i < j, [L i,r i ] [L j,r j ] an that the construction of J i is finishe before the construction of J j starts. Any interval I J j has weight α j in one of the coorinates an every interval in J i has weight either α i,ε i or δ i in that coorinate. In any case, su of those weights excees 1 an no two intervals, one in J i, other in J j can be colore with the sae color. The rest of the proof uses a technique siilar to the one by Kierstea an Trotter [5]. For N +, let c = (5 3) log+3, an o = ( k +log+3). By inuction on, we show a strategy S for Presenter such that: all introuce intervals are containe in a fixe region [A, B]; all intervals coe fro calls of strategies HS k, (ε,l,r) with ε in {ε 1,...,ε 3 }; Algorith uses at least c ifferent colors; constructe set ofintervals iso -colorable. For = 1anafixe region [A,B], Presenter uses strategy HS k, (ε 1,A,B). This strategy forces Algorith to use at least c 1 ifferent colors, an the constructe set of intervals is o 1 -colorable. Thus, in this case we are one. Let c = 3 ( c +1 c ) + 1. Presenter splits the fixe region [A,B] into c isjoint regions [l 1,r 1 ],...,[l c,r c ]. By inuction, in each region Presenter can use strategy S inepenently. As a result, in each region [l i,r i ], we get a set of intervals J i. If uring the construction Algorith uses at least c +1 colors, we are one. Otherwise, let C i be a c -eleent subset of colors use by Algorith to color J i. Soe c -eleent set of colors C appears on the list (C 1,...,C c ) at least 4 ties. Let a,b,c, {1,..., c}, a < b < c < be inices such that C a = C b = C c = C = C. Define p i = 1 2 (r i +l i+1 ) for i = a,b,c. Presenter uses strategy HS k, (ε 3+1,l a,p a ) to get a set of intervals K 1 an then strategy HS k, (ε 3+1, rc+pc 2,r ) to get a set of intervals K 2. Let D 1 be a c 1 -eleent 7

8 subset of colors use by Algorith to color K 1, an D 2 be a c 1 -eleent subset of colors use to color K 2. The construction of J a an J is finishe before the construction [ of K 1 an K 2 starte an region [l a,p a ] covers [l a,r a ], an region rc+p c ],r 2 covers [l,r ]. Thus, none of the colors in C can be use to color any interval in K 1 or K 2. Now, the strategy splits into two cases: we either have D 1 D 2 1c 2 1 or D 1 D 2 > 1c 2 1. Case 1. D 1 D 2 1c 2 1. Presenter uses strategy HS k, (ε 3+2, ra+pa,p 2 c ) to get a set of intervals K 3. Let D 3 be the set of colors use to color K 3. See Figure 4 for a iagra of the construction. Region [ r a+p a ],p 2 c covers [lb,r b ] an we get C D 3 =. Moreover, any interval in K 3 intersects any interval in K 1, an any interval in K 2. Thus, D 3 D 1 =, D 3 D 2 =, an Algorith uses at least C D 1 D 2 D 3 c + c c c 1 = c +1 colors. Each set of intervals J 1,...,J c intersects with intervals in at ost one of the sets K 1, K 2, or K 3. Thus, all presente intervals can be colore with ax{2, + 1}( + log + 3) = o k +1 colors an in this case we are one. l a r a p a p b C a C b C c C l b r b l c r c l r D 1 D 2 D 3 p c Figure 4. Construction in case D 1 D c 1 Case 2. D 1 D 2 > 1 c 2 1. Presenter uses strategy HS k, (ε 3+2, r b+p b,p 2 c ) to get a set of intervals K 4 an then strategy HS k, (ε 3+3, ra+pa,p 2 b ) to get K 5. Let D 4 be a c 1 -eleent subset of colors use by Algorith to color K 4, an D 5 be the set of colors use to color K 5. See Figure 5 for a iagra of the construction. Siilar arguent as in the previous case gives C D 4 =, C D 5 =, D 2 D 4 =, D 1 D 5 =,and 4 D 5 =. SetD 2 containsatleast 1c 2 1 eleentsfrothesetd 1. Thus, we have D 4 D 1 1c 2 1. Algorith uses at least C D 1 D 4 D 5 c +c c c 1 = c +1 colors. Each set of intervals J 1,...,J c intersects with intervals in at ost one of the sets K 1, K 2, K 4, or K 5. Thus, all intervals can be colore with ax{2,+1}( +log+3) = o k +1 colors. l a r a p a p b C a C b C c C l b r b l c r c l r D 1 D 2 D 5 D 4 p c Figure 5. Construction in case D 1 D c 1 8

9 4. Unit interval coloring Theore 4. For every 2 an k, N +, there is a strategy for Presenter that forces Algorith to use at least 5 ifferent colors in the on-line (k,) unit 2 log+3 interval coloring gae while the constructe set of intervals is ( +log+3) - k colorable. Proof. The proof cobines strategy HS k, (ε,l,r) introuce in the proof of Theore 3 with technique siilar to the one by Epstein an Levy [2, 3]. Assue that the sequence of encoing paraeters {ε i } i N+ is efine the sae way as in the proof of Theore 3. The strategy consists of 3 phases. In the initial phase Presenter uses strategy HS k, (ε i,0,1) for i = 1,..., 2 sequentially. There is a coloring of all intervals introuce in the initial phase using ( +log+3) colors, but Algorith uses 2 k at least 2 colors. Let C 2 log+3 init be a 2 -eleent subset of colors use 2 log+3 by Algorith in the initial phase. For L < R < L + 1, let Sep(L,R) be the separation strategy that introuces unit intervals in the following way. Initialize l = L, an r = R. To get next interval, calculate p = 1 (l +r) an introuce interval I = [p,p+1]. If Algorith 2 colors I with color in C init, then upate r = p. Otherwise, ark interval I an upate l = p. Observe that to the left of p there are only left enpoints of arke intervals. Moreover, all introuce intervals have nonepty intersection. The separation phase consists of 2 2 subphases. We fix L1 = 3 an R 2 1 = 2. For i = 2,...,2 2, points Li an R i are establishe after the (i 1)-th subphase. Denote by Sub i, the strategy for the i-th subphase being a cobination of the HS k, (ε i,0,1) strategy an the Sep(L i,r i ) strategy. Strategy Sub i introuces intervals. The position of each interval is eterine using Sep(L i,r i ) strategy, an the -iensional vector of weights associate with each interval is eterine accoring to HS k, (ε i,0,1). See Figure 6 for a iagra of the strategy Sub i. At the en of each subphase, Presenter ecies whether the subphase is arke or not. The set of arke subphases is enote by M. Let C i be the set of colors use by Algorith in the i-th subphase an not present in the set C init. Subphase i is arke if an only if one of the following conitions hols: (1) the nuber of reaining subphases incluing the i-th is 2 M. (2) C i an M < log+3 2, Observe that at the en of the separation phase we have exactly 2 arke subphases. 9

10 Algorith I t,w t γt cobine I t γ t [0,1],w t Sep(Li, Ri) HSk,(εi, 0, 1) Figure 6. Strategy Sub i for a single subphase Let L be the left enpoint of the leftost interval introuce in the i-th subphase. Let L be the left enpoint of the rightost interval introuce in the i-th subphase an colore by Algorith with a color c / C init. Set L = L i if such an interval oes not exist. Let R be the left enpoint of the leftost interval introuce in the i-th subphase an colore by Algorith with a color c C init. Set R = R i if such an interval oes not exist. If subphase i is arke then L i+1 = L an R i+1 = R. Otherwise, L i+1 = L i an R i+1 = L. This copletes the efinition of the separation phase. Let = 2 2 an P = 1 (L R +1). Observe that every interval introuce in the separation phase with the left enpoint to the left of P belongs to a arke subphase an is colore with a color c / C init. Let C sep be the set of colors use in the separation phase to color intervals with the left enpoint to the left of P. 2 In each subphase Algorith uses at least ifferent colors, so in the separation phase Algorith uses at least 2 log+3 2 colors in total. Because C 2 log+3 init = 2, Algorith, in the separation phase, uses at least 2 colors not 2 log+3 2 log+3 in C init. The set of arke subphases M contains x subphases in which Algorith use at least such colors an log+3 2 x last subphases. Fro the first 2 +x subphases only x subphases are arke. By the efinition, in an unarke subphase i for i 2 +x, Algorith uses less than colors not in C log+3 init. Thus, at ost such colors fro subphases 1 up to 2 log+3 2 +x are not in the set C sep. All colors not in C init use in the subphase i for i > 2 +x are in the set C sep. Thus, C sep. 2 log+3 In the final phase, Presenter uses strategy HS k, (ε i,p 1,P) for i = + 1,...,+ 2 sequentially. Every interval introuce in the final phase intersects with every interval fro the initial phase an every interval fro the separation phase with the left enpoint to the left of P. Thus, each color use in the final phase belongs neither to C init nor to C sep. In the final phase, Algorith uses at least 2 2 log+3 colors. 10

11 In total, Algorith uses at least ( ) = 5 ifferent colors. On the other han, the presente set of intervals can be easily colore 2 log+3 2 log+3 using ( 2 + )( ) ( 2 k +log+3 = ) k +log+3 colors. Notethatfork = +, thestrategyhs, becoes inepenent ofk-carinality constraint. This gives two new bouns on the copetitive ratio for on-line - iensional interval coloring probles. Theore 5. For every 2 an n N +, there is a strategy for Presenter that forces Algorith to use at least (5 3) ifferent colors in the online -iensional interval coloring gae while the constructe set of intervals is log+3 (log+3)-colorable. Theore 6. For every 2 an n N +, there is a strategy for Presenter that forces Algorith to use at least 5 ifferent colors in the on-line - 2 log+3 iensional unit interval coloring gae while the constructe set of intervals is (log+3)-colorable. References [1] Yossi Azar, Ilan Reuven Cohen, Seny Kaara, an Bruce Shepher. Tight bouns for online vector bin packing. In STOC 2013: 45th Annual ACM Syposiu on Theory of Coputing, Palo Alto, CA, USA, June Proceeings, pages , [2] Leah Epstein an Meital Levy. Online interval coloring an variants. In ICALP 2005: 32n International Colloqui on Autoata, Languages an Prograing, Lisbon, Portugal, July Proceeings, volue 3580 of Lecture Notes in Coputer Science, pages , [3] Leah Epstein an Meital Levy. Online interval coloring with packing constraints. In MFCS 2005: 30th International Syposiu on Matheatical Founations of Coputer Science, Gańsk, Polan, August Proceeings, volue 3618 of Lecture Notes in Coputer Science, pages , [4] Magnús M. Hallórsson an Mario Szegey. Lower bouns for on-line graph coloring. Theoretical Coputer Science, 130(1): , [5] Henry A. Kierstea an Willia T. Trotter. An extreal proble in recursive cobinatorics. In 12th Southeastern Conference on Cobinatorics, Graph Theory an Coputing, Baton Rouge, LA, USA, March Proceeings, vol. II, volue 33 of Congressus Nuerantiu, pages , [6] Laszlo Lovasz, Michael Saks, an W.T. Trotter. An on-line graph coloring algorith with sublinear perforance ratio. Discrete Matheatics, 75(1): , Theoretical Coputer Science Departent,, Faculty of Matheatics an Coputer Science,, Jagiellonian University, Kraków, Polan E-ail aress: {gutowski,ikos}@tcs.uj.eu.pl 11