Sobre El Índice Acromático y Pseudoacromático de Gráficas Completas
Sobre El Índice Acromático y Pseudoacromático de Gráficas Completas
Sobre El Índice Acromático y Pseudoacromático de Gráficas Completas
POSGRADO EN CIENCIAS
MATEMÁTICAS
FACULTAD DE CIENCIAS
MAESTRO EN CIENCIAS
PRESENTA
[email protected]
(55) 56 22 45 33
Cubículo 3 Becarios
Instituto de Matemáticas
Ciudad Universitaria, 04510, México D.F.
i
Agradecimientos.
En primera instancia quiero agradecer a mi tutora, Gabriela Araujo, por su apoyo, consejos e ins-
trucción. También quisiera agradecer a mis profesores: Javier Bracho, Isabel Hubard, Javier Elizondo,
Juan José Montellano, Oscar Palmas, Hernán González, Verónica Martínez de la Vega, Marcelo Aguilar
y Jorge Urrutia.
De manera especial, a mi pequeño grupo de trabajo: Gabriela Araujo, Juan José Montellano y
Ricardo Strausz. Sin duda, nuestros pequeños resultados no serán los únicos.
También agradezco al Instituto de Matemáticas de la UNAM, lugar donde he realizado mis estudios,
y que además me ha dado un espacio para estudiar mediante una beca de lugar y me a apoyado para
asistir a congresos. Agradezco a CONACyT por brindarme una beca de sustento, (también al proyecto
CONACyT 57371 y al proyecto PAPIIT: 104609-3). También agradezco a la unidad de posgrado de la
UNAM por su apoyo para asistir a congresos.
De igual forma, agradezco a Jorge Arocha, Luis Montejano, Déborah Oliveros, Gabriela Araujo,
Amanda Montejano, Leonardo Faustinos y Rocío del Pilar Aguilar por permitirme ayudarlos en sus
clases que han impartido.
Por último, a mi novia, Loli, por tu dulce compañia y a mi familia por confiar en mi.
ii
A Vale,
a Isra,
a Licha,
a Ray.
Mi familia.
iii
Índice general
1. Introducción 1
2. Preeliminares 2
3. Cota superior 3
6. Conclusiones 18
Bibliografía 19
iv
Capítulo 1
Introducción
El problema que estudiamos está contenido en la rama de las Matemáticas denominada Teoría
de Gráficas pero debido a las características de la tesina no indagaremos en las cuestiones básicas de
Teoría de Gráficas (por ejemplo, cuestiones históricas ni definiciones básicas), sin embargo, ponemos
en contexto el problema que tratamos:
El número acromático fue introducido por Hedetniemi en 1966 ([20]) y el número pseudoacromá-
tico fue introducido por Gupta en 1968 ([18]). Posteriormente estos parámetros han sido estudiados
por diversas personas (ver [1,...,29]). En 1978, Bouchet demostró un teorema de gran importancia (lo
enunciamos al final de esta tesina) (ver [8]) del cual se deriva nuestro problema (ver [29]):
La tesina está organizada como sigue: En el Capítulo 2 se define formalmente el índice acromático
y el índice pseudoacromático. En el Capítulo 3 se acota superiormente al índice pseudoacromático
por medio de métodos analíticos. En el Capítulo 4 se habla de los planos proyectivos, los cuales son
fundamentales para demostrar los teoremas subsecuentes. También presentamos ciertas coloraciones las
cuales se utilizarán con frecuencia en las demostraciones de los teoremas subsecuentes. En el Capítulo 5
se acota inferiormente al índice acromático mediante coloraciones. Este capítulo es el más importante,
bello y complicado. En el Capítulo 6 se engloban resultados, se habla de algunas conjeturas y se da un
panorama breve acerca de la investigación de estos parámetros.
1
Capítulo 2
Preeliminares
Sea G = (V, E) una gráfica simple. Definimos al conjunto {1, 2, ...., k} ⊆ N como [k]. Una coloración
de sus vértices ζ : V → [k] es completa si cada par de colores distintos están en alguna arista de G.
El número pseudoacromático ψ(G) es el máximo k para el cual existe una coloración completa de
G con k colores. Si la coloración también es propia (es decir, cada clase cromática es independiente)
entonces tal máximo se conoce como el número acromático el cual lo denotamos por α(G). Es claro
de la definición que
χ(G) ≤ α(G) ≤ ψ(G).
donde χ(G) es el número cromático usual de G. Nuestro principal interés son α(L(Kn )) y ψ(L(Kn )), el
número acromático y el número pseudoacromático de la gráfica de líneas de la gráfica completa respec-
tivamente también conocido como el índice acromático y el pseudoacromático de la gráfica completa
los cuales los denotaremos como α(n) y ψ(n) respectivamente.
j k
n(n−1)
Teorema II Sea γ ∈ N, q = 2γ , n = q 2 + q + 1, f (x) = 2x y g(x) = 2x(n − x − 1) + 1.
Afirmamos que
q q q q
min{g( ), f ( + 1)} ≤ α(n) ≤ ψ(n) ≤ max{g( ), f ( + 1)}.
2 2 2 2
2
Capítulo 3
Cota superior
Por otro lado, como ζ es completa, para cada j ∈ [ψ(m)] \ {i0 } hay un vértice xj ∈ ζ −1 (j) (el cual
es una arista en Km ) tal que xj es adyacente a algún vértice de ζ −1 (i0 ). Por lo tanto el número de
vértices de V (L(Km )) \ ζ −1 (i0 ) adyacentes a algún vértice de ζ −1 (i0 ) es 2p0 (m − p0 − 1),1 así
ψ(m) ≤ 2p0 (m − p0 − 1) + 1.
j k
m(m−1)
Sean fm , gm : R → R funciones definidas como fm (x) = 2x y gm (x) = 2x(m − x − 1) + 1.
Entonces (ver [1], [22] y [21])
0 < x1 , tal que hm (x0 ) = gm (x0 ) y hm (x1 ) = gm (x1 ) (ver figura 3.1).
xm m m m m m
3
CAPÍTULO 3. COTA SUPERIOR 4
gm
hm
xm
0
2 3
Proposición 1 Sea m ≥ 14. Si rm = ⌊xm
0 ⌋ entonces
El siguiente teorema es probado en [22].
ψ(m) ≤ 2z(m − z − 1) + 1;
Corolario
q
ψ(n + q − a) ≤ f ( + 1) = q(n + q − 2a).
2
q q
ψ(n) ≤ g( ) = q(n − − 1) + 1.
2 2
2 Se considera m ≥ 14 pues para m ∈ {1, ..., 13} se sabe explícitamente tanto α(m) como ψ(m) (ver Tabla 1).
q
q 27 m5 − 2457 m4 + 2511 m3 − 4293 m2 + 297 m− 81
3 xm 2 2 5 1
= 3 m − 2m + 2 cos( 3 arctan 4 64 32 64 16 16
+ 4π ) + m−1
0 3 51 2 69
m − 8 m + 8 m− 4 13 3 3
Capítulo 4
{u, v} ∼ {x, y} ⇐⇒ uv = xy
donde {u, v} denota la arista y uv la única línea que contienen a los vértices u y v.
Así, las aristas de la gráfica completa Kn quedan particionadas por las líneas del plano proyectivo, es
decir, cada elemento de la partición corresponde a las aristas de la subgráfica completa Kq+1 inducida
por los puntos de dicha línea (ver Figura 4.1).
⇐⇒
5
CAPÍTULO 4. PLANOS PROYECTIVOS FINITOS 6
Diremos que una línea es dueña de un color si este color toca a cada vértice de la subgráfica completa
relacionada con ella, en general, una subgráfica será dueña de sus colores si estos tocan a cada vértice
y en este caso diremos que el vértice será dueño de los colores de la línea. De hecho, si cada subgráfica
completa de una línea es dueña de sus colores entonces la línea es dueña de esos colores. Finalmente
diremos que una línea es casi dueña de sus colores si cada color toca cada uno de sus vértices excepto
en uno.
Claramente con las definiciones anteriores podemos hacer lo siguiente:
Observación 1
i) Si una gráfica completa es dueña de todos sus colores entonces todo par de colores se encuentran
en todos los vértices de la gráfica completa.
Proposición 2 Si Kn es una gráfica completa asociada a un plano proyectivo de orden q y todas las
líneas son dueñas de sus colores, entonces la coloración es completa.
Demostración.
caso 1) Si dos colores pertenecen a la misma línea entonces por la Observación 1, se encuentran.
caso 2) Si dos colores pertenecen a líneas distintas entonces como los colores de las líneas tocan
a todos sus puntos entonces dos colores se encuentran en el punto de intersección de las líneas.
La siguiente observación busca maximizar el número de colores que pueden usarse en las aristas de
una gráfica completa asociada a una línea conservando la condición de que una línea sea dueña de sus
colores, es decir, que cada color toque a cada vértice.
Observación 2
i) Es bien sabido que si la gráfica completa es de orden par 2a, entonces contiene una factorización
por apareamientos perfectos, claramente si coloreamos cada apareamiento con un solo color (asignando
colores distintos a cada apareamiento) logramos que la línea sea dueña de 2a − 1 colores y tenemos a
aristas por cada clase cromática.
ii) Cuando la gráfica completa asociada a la línea tiene orden par 2a, coloreamos como en i)
excepto que sólo utilizamos 2a − 2 colores, es decir, será dueña de ellos y habrá un apareamiento de a
aristas en la gráfica completa sin colorear.
iii) Cuando la gráfica completa asociada a la línea tiene orden impar 2a + 1, coloreamos de la
siguiente manera.
Tomamos la gráfica completa de orden par K2a+2 y la coloreamos como en i), eso es con 2a + 1
colores logrando que K2a+2 sea dueña de sus colores.
Como K2a+2 = K2a+1 ⊕ K1 , si a K2a+2 le borramos un vértice cualquiera (que puede verse como
el correspondiente a K1 ), entonces K2a+1 será coloreada con 2a + 1 colores y será casi dueña de ellos.
Notemos que en esta coloración el color que falta en cada vértice es distinto al que le falta en los demás
vértices.
K1
Figura 4.4 Ejemplo para a = 2.
iv) Cuando la gráfica completa asociada a la línea tiene orden impar 2a + 1, coloreamos como en
iii) excepto que sólo utilizamos 2a colores, es decir, será casi dueña de ellos y habrá un apareamiento
de a aristas en la gráfica completa sin colorear en donde los vértices son los vértices casi dueños.
Los siguientes tres lemas demuestran el Teorema 1, las demostraciones están emparentadas ya que
tienen la misma estructura y se utilizan las mismas herramientas, sin embargo las diferencias no son
sutiles y han impedido hacer una sólo demostración. El Lema I está demostrado en [25], que también
se demuestra en [2] junto con el Lema II y III. Omitimos la demostración del Lema I.
Demostración. Sea [t]i = {c1 , c2 , ..., ct } un conjunto i de t colores distintos y sea C una colección
de conjuntos de distintos colores y distintos tamaños tomados de la siguiente manera: q 2 − q conjuntos
de colores de q + 1 colores distintos cada uno, 2q + 1 conjuntos de colores con q − 1 colores distintos
cada uno y por último un conjunto con q + 1 colores distintos, es decir
2
qG −q 2q+1
G
C= [q + 1]i ⊔ [q − 1]i ⊔ [q + 1].
i=1 i=1
8
CAPÍTULO 5. COTA INFERIOR: COLORACIONES 9
Notemos que E1 es un haz de aristas por v tal que {v, pi,q−1 } ∈ lv,i y |E1 | = q − 1.
E2 = {{w, pj } : j ∈ Zq−1 }.
Notemos que E3 es un haz de aristas por w tal que {w, pq−1,k } ∈ lw,k y |E3 | = q − 1.
Demostración. Análogo a los dos lemas anteriores escogemos una colección C de conjuntos de
distintos colores distribuídos como sigue:
q2 −2q+1
G 3q−3
G 3
G
C= [q + 1]i ⊔ [q − 1]i ⊔ [q − 1] ⊔ [q − 1].
i=1 i=1 i=1
Li = {lvi, j : lvi ,j 6= lk,l , j ∈ Zq−1 , {i, k, l} ⊆ Z3 , k < l} un haz de líneas que pasa por vi ,
Notemos que Ei es un haz de aristas por vi tal que {vi , pi,j } ∈ lvi ,j y |Ei | = q − 1.
Ahora bien, para lograr que cada línea li,j , i, j ∈ Z3 , i < j sea dueña de sus colores sólo falta ver
que cada color toque a v0 o a v1 según corresponda.
iii.i) El color asignado a la arista {v2 , p1,i } también será asignado a la arista {v0 , p2,i }, y el color
asignado a la arista {v1 , p2,i } será asignado a la arista {v0 , p1,i }, i ∈ Zq−1 .
iii.ii) El color asignado a la arista {v2 , p0,i } será asignado a las aristas de E4 como sigue: si i ∈ Zq−2
entonces el color asignado a la arista {v2 , p0,i } también será asignado a la arista {v1 , hi } y el color
asignado a la arista {v2 , p0,q−2 } también será asignado a la arista {v0 , v1 }.
Entonces tenemos que las tres líneas li,j , i, j ∈ Z3 , i < j serán dueñas de sus q − 1 colores utilizando
así, 3(q − 1) colores y además la coloración es propia.
Observemos que ya tenemos coloreadas las aristas de Kn que pertenecen a las líneas del proyectivo
a excepción de las aristas {v0 , v2 }, {v1 , v2 } y {v1 , p0,j }, j ∈ Zq−1 , faltan también las aristas de H y las
aristas que van de H a v0 y de H a v2 .
iv ) Coloreamos a la gráfica completa H ⊕ v0 ⊕ v2 (que es de orden q) con q − 1 colores como en en
el inciso i) de la Observación 2) (observe que implica colorear la arista {v0 , v2 } y las aristas que van
de H a v0 y de H a v2 ).
iv.i) El color asignado a la arista {v0 , hi } también será asignado a la arista {v1 , p0,i }, i ∈ Zq−2 y el
color asignado a la arista {v0 , v2 } también será asignado a la arista {v0 , p0,q−2 }.
Con esto coloreamos cada vértice de H ⊕ v0 ⊕ v1 ⊕ v2 con q − 1 colores. Notemos que con esta
última asignación de colores, a excepción de la arista {v1 , v2 }, todas las aristas quedan coloreadas y
hemos usado todas los colores de C. Finalmente coloriamos la arista {v1 , v2 } con cualquier color que
no pase por v1 ni por v2 .
Ahora para ver que la coloración es completa y propia, observemos que cada línea del plano es
dueña de sus colores y como cada color que pertenece a las líneas del plano proyectivo está en una
arista que va a H o toca a vi para alguna i ∈ Z3 , cada uno de ellos toca a los q − 1 colores asignados a
H ⊕ v0 ⊕ v1 ⊕ v2 (por lo tanto la coloración es completa). Para ver que la coloración es propia, sólo hay
que tomar en cuenta que cada uno de los incisos anteriores la coloración expuesta en ellos es propia y
como en cada inciso tomamos colores distintos, la coloración es propia. Por lo tanto
Por el Corolario i) y para el caso particular de que q = 2 , ψ(n + q − a) ≤ q(n + q − 2a) y por el
γ
Lema I, II y III tenemos que q(n + q − 2a) ≤ α(n + q − a), es inmediato entonces el siguiente teorema:
Para el caso de q = 2 se sabe que α(8) = ψ(8) = 14 y α(9) = ψ(9) = 18; y para el caso de q = 4
se sabe que α(25) = ψ(25) = 100 (ver Tabla 1), sin embargo, se pueden colorear con los métodos
expuestos en esta tesina.
CAPÍTULO 5. COTA INFERIOR: COLORACIONES 13
j k
n(n−1)
Lema IV Sea γ ∈ N, q = 2γ , n = q 2 + q + 1 y f (x) = 2x , entonces
q
f ( + 1) ≤ α(n).
2
Demostración. Sea [t]i = {c1 , c2 , ..., ct } un conjunto i de t colores distintos y sea C una colección de
conjuntos de distintos colores y distintos tamaños tomados de la siguiente manera: q(q − 1) conjuntos
de colores de q − 1 colores distintos cada uno, 2q − 1 conjuntos de colores con q colores distintos cada
uno, un conjunto de colores con q − 1 colores distintos cada uno, un conjunto de colores con q − 2
colores distintos cada uno y por último un color más cuando q ≤ 4 (el cual denotaremos como [q ≤ 4]),
es decir
2
qG −q 2q−1
G
C= [q − 1]i ⊔ [q]i ⊔ [q − 1] ⊔ [q − 2] ⊔ [[q ≤ 4]] .
i=1 i=1
p1,q−1 pi,q−1
p0,q−1
pq−1,q−1
p′j
l
. q,q−1
pq−1,j .
p0,j p1,j pi,j .
.l pq
. q,j
.
p0,1 p1,1 pi,1 lq,1
pq−1,1
lq,0
pq−1
p0,0
pq−1,0
p1,0 pi,0 li,j
Li
··· ··· pi
l0,0 l0,1 l0,i l0,q−1 l
1,j
p1
p0 l
1 Z∗ = Za − {0}
a
CAPÍTULO 5. COTA INFERIOR: COLORACIONES 14
El segundo conjunto al cual denotaremos por G1 está formado por 2q aristas que pasan por p1 y
por la mitad de los puntos de la línea l0,1 , sin pérdida de generalidad definiremos estas aristas como
las que pasan por los vértices p1,j para j par en Zq , es decir:
Finalmente el tercer tipo, al que denotaremos por G0 ya que están determinados por puntos de
la línea l0,0 . Como para el conjunto G1 tomamos aristas en las líneas l1,j con j par, en este conjunto
q
consideramos aristas en las líneas l1,j con j impar, entonces, el conjunto G0 está formado por las 2
aristas que van de p1 a los puntos p′j para j impar, es decir,
pi,q−1 p1,q−1
p′j
. .
. .
pi,j . p′q−1 p1,j .
. .
l1,0 .
Gi .
. G0 G1 .
pi,1 p′0 p1,1
l1,q−1
li,1
li,0 p′1
li,q−1
pi,0 p1,0
li,j
l1,1
Li
··· ··· pi ··· ··· l1,j
l0,i l0,0 l0,1
p1
l p0 l
Ahora describiremos tres tipos de conjuntos de aristas de los cuales ninguno intersecta a puntos de
l:
q
El primero de ellos lo definimos como E0 y está formado por un apareamiento perfecto de 2 aristas
las cuales están contenidas en la línea l0,0 , es decir:
están contenidas en las líneas l0,i con i ∈ Z∗q , sólo que aquí utilizamos los puntos pi,j con j ∈ Zq , es
decir:
p1,q−1
Fq−1
pq−1,q−1
pi,q−1
p′j
E0 Fj l
. q,q−1
pq−1,j .
p′q−1 p0,j p1,j pi,j .
.l
. q,j
.
p′0 p1,1 pi,1 lq,1
pq−1,1
lq,0
Ei
pq−1,0
p′1
p1,0 pi,0
··· ···
l0,0 l0,1 l0,i l0,q−1
p0 l
Para facilitar la coloración vamos a definir una operación a la que llamaremos asignación de una
arista a un punto (la arista asignada será incidente al punto de asignación). A los puntos de l0,0 (excepto
a p0 ) le asignaremos una arista del conjunto G0 o del conjunto E0 mientras que a cualquier otro punto
del proyectivo que no esté en l0,0 ni en l le asignaremos dos aristas de los conjuntos Gi , Ei o Fj (i ∈ Z∗q ,
j ∈ Zq ) con la condición de que las dos aristas pertenezcan a conjuntos distintos. La asignación está
dada de la siguiente manera:
A) Puntos en l0,0 (salvo p0 ): al punto p′j que por definición es el punto p0,k para algún k ∈ Zq le
asignamos la arista {p′j , p′j+1 } en E0 si j es par y j 6= 0 (en este caso le asignamos e0 = {p′0 , p0 })
o la arista {p′j , p1 } en G0 si j es impar.
B) Puntos en l0,1 (salvo p0 ): a cada punto p1,j (j ∈ Zq ) le asignamos la arista {p1,j , p0,j } en Fj si
j 6= q − 1 y a p1,q−1 le asignamos la arista {p1,q−1 , pq } deFq−1 . Además si j es impar le asignamos
{p1,j , p1,j+1 } en E1 y si j es par le asignamos la arista {p1,j , p1 } en G1 .
D) Puntos del plano proyectivo que no están en l0,0 ni en lo,1 ni en l: a cada punto pi,j (i ∈ Z∗q − {1},
j ∈ Zq ) le asignamos:
v ) Ahora bien, para lograr que cada línea li,j sea dueña de sus colores sólo falta ver que cada color
toque a pi , por lo tanto si pk,l ∈ li,j − {pi } − {pi,j }, k, l ∈ Zq , k 6= i, l 6= j entonces, el color asignado
a la arista {pi,j , pk,l } también será asignado a la arista {pi , pr,s } tal que pr,s ∈ li,j+1 .
Entonces tenemos que las q líneas de Li serán dueñas de sus q − 1 colores utilizando así, (q)(q −
1)(q − 1) colores y además la coloración es propia.
v i) Observemos que ya tenemos coloreadas las aristas de Kn que pertenecen a las líneas del pro-
yectivo a excepción de las aristas e1 , {p′0 , p′1 } y {p′k0 , p′k0 +1 }. Asignamos el color que falta a cada una
de estas aristas de tal forma que la coloración siga siendo acromática.
Ahora para ver que la coloración es completa y propia, observemos que cada línea del plano pro-
yectivo es dueña de sus colores y por lo tanto la coloración es completa. Para ver que la coloración es
propia, sólo hay que tomar en cuenta que cada uno de los incisos anteriores la coloración expuesta en
ellos es propia y como en cada inciso tomamos colores distintos, la coloración es propia. Por lo tanto
si q > 4
q 3 + 2q − 3 ≤ α(n).
Para el caso de q = 4, sólo hay que notar que E0 consta de dos aristas, de{p′0 , p′1 } y de {p′k0 , p′k0 +1 }
y que e1 es incidente a p0 . Por lo tanto, si en el inciso vi) de lo coloración en vez de colorear como
se indica, coloreamos estas tres aristas de un nuevo color, la línea l0,0 es dueña de este nuevo color.
Entonces si q ≥ 4,
q
f ( + 1) ≤ α(n).
2
Por el Lema IV anterior y el Corolario ii tenemos el siguiente teorema:
j k
n(n−1)
Teorema II Seaγ ∈ N,q = 2γ ,n = q 2 + q + 1,f (x) = 2x y g(x) = 2x(n − x − 1) + 1, entonces
q q q q
mı́n{g( ), f ( + 1)} ≤ α(n) ≤ ψ(n) ≤ máx{g( ), f ( + 1)}.
2 2 2 2
Para el caso de q = 2 se sabe que α(7) = ψ(7) = 11, es decir, este valor alcanza la cota superior
(ver Tabla 1).
Capítulo 6
Conclusiones
A continuación, recabamos los valores conocidos de α(m) y de ψ(m) (para m ≤ 26) y de la cota
superior en la tabla 1 (ver [21]).
Tabla 1
m 2 3 4 5 6 7 8 9 10 11 12 13 14 22 23 24 25 26
mı́n 1 1 3 5 7 10 13 15 17 19 21 23 25 77 81 85 89 93
α(m) 1 3 3 7 8 11 14 18 22 27 32 39 39 77 84 92 100
ψ(m) 1 3 4 7 8 11 14 18 22 27 32 39 77 84 92 100 108
máx 1 3 5 7 9 11 14 18 22 27 33 39 45 77 84 92 100 108
Analizando la tabla vemos que los casos para m = 4, 6, 12, 14 nos dicen que la cota superior no
siempre se alcanza y que no siempre α y ψ coinciden, y que cuando la cota superior está dada por
g, utilizar los planos proyectivos como método de coloración no es eficiente para alcanzar la cota,
sin embargo si para acotar inferiormente, de hecho, proponemos la Conjetura 1. En [1] proponen la
Conjetura 2 y para concluir mencionamos un teorema que inspira este trabajo.
18
Bibliografía
[1] G. Araujo-Pardo, J. J. Montellano & R. Strausz; On the pseudoachromatic index of the complete
graph; Journal of Graph Theory, Vol 66 Issue 2 (2011) (89-97)
[2] G. Araujo-Pardo, J. J. Montellano, C. Rubio & R. Strausz; New results about the achromatic and
pseudoachromatic index of the complete graph, (2011) (en preparación)
[3] G. Araujo-Pardo & C. Rubio; New results about the achromatic index of the complete graph, (2011)
(en preparación)
[4] G. Araujo-Pardo & R. Strausz; Bounding the pseudoachromatic index of the complete graph via
projective planes, Electronic Notes in Discrete Mathematics, Vol 30 (2008) (105-110)
[5] R. Balakrishnan, R. Sampathkumar & V. Yegnanarayanan; On the existence og graphs with pres-
cribed coloring parameters, Discrete Mathematics, Vol 216 (2000) (293–297)
[6] V. N. Bhave; On the pseudoachromatic number of a graph, Fundamenta Mathematicae, Vol 102
(1979) (159–164)
[7] B. Bollobás, B. Reed & A. Thomason; An extremal function for the achromatic number, Graph
Structure Theory, Contemporary Mathematics, American Mathematical Society, Providence, Rho-
de Island, Vol 147 (1993) (161–165)
[8] A. Bouchet; Indice Acromatique des graphes multiparti complets et réguliers, Cahiers Centre Etu-
des Rech. Oper., Vol 20 3-4 (1978) (331–340)
[9] N. Carnie & K. Edwards; The achromatic number of bounded degree trees, Discrete Mathematics,
Vol 188 (1998) (87–97)
[10] N. Carnie & K. Edwards; Some Results on the achromatic number, Journal Graph Theory, Vol
26 Issue 3 (1997) (129–136)
[11] G. Chartrand & P. Zhang, Chromatic Graph Theory, Discrete Mathematics and its Applications,
CRC Press, Taylor & Francis Group, A Chapman & Hall Book, (2009)
[12] J. Chen, I. Kanj, G. Xia & F. Zhang; On the pseudoachromatic number problem, Lecture Notes
in Computer Science, Vol 5344 (2008) (78–89)
[13] N. Chiang & H. Fu; On upper bounds for the pseudoachromatic index, Discrete Mathematics, Vol
175 (1997) (79–86)
19
BIBLIOGRAFÍA 20
[15] K. Edwards; The harmonious chromatic number and the achromatic number; Surveys in Combi-
natorics (Invited papers for the 16th British Combinatorial Conference), Cambridge University
Press, Cambridge (1997) (13-47)
[16] M. Farber, G. Hahn & D. Miller, Concerning the achromatic number of graph, Journal of Combi-
natorial Theory, Series B, Vol 40 (1986) (21–39)
[17] D. Geller & H. Kronk; Further results on the achromatic number, Fundamenta Mathematicae, Vol
85 (1974) (285–290)
[18] R. P. Gupta; Bounds on the chromatic and achromatic numbers of complementary graphs; Re-
cent Progress in Combinatorics, Proceedings of Third Waterloo Conference on Combinatorics,
Waterloo, 1968; Academic Press, New York, (1969) (229-235)
[19] F. Harary, S. T. Hedetniemi & G. Prins; An Interpolation theorem for graphical homomorphisms,
Portugaliae Mathematica, Vol 26 (1967) (453-462)
[20] S. T. Hedetniemi; Homomorphisms of graphs and automata; Technical Report, The University of
Michigan Ann Arbor, 1966
[21] M. Horňák & Š. Pčola, M. Woźniak; On the Achromatic Index of Kq2 +q for a Prime q, Graphs
and Combinatorics, Vol 20 (2004) (191-203)
[22] E. Jamison; On the Edge Achromatic Number of Complete Graphs, Discrete Mathematics, Vol 74
(1989) (99-115)
[23] P. Krysta & K. Loryś; Efficient approximation algorithms for the achromatic number, Theoretical
Computer Science, Vol 361 (2006) (150–171)
[24] G. Kortsarz & R. Krauthgamer; On approximating the achromatic number, Proceedings of the
Twelfth Annual ACM-SIAM Symposium on Discrete Algorithms, (2001) (309-318)
[26] S. Xu; Relations between parameters of a graph, Discrete Mathematics Vol 89 (1991) (65–88)
[27] M. Yannakakis & F. Gavril; Edge dominating sets in graphs, SIAM Journal on Applied Mathe-
matics, Vol 38 No. 3 (1980) (364-372)
[28] V. Yegnanarayanan; Graph colouring and partitions; Theoretical Computer Science, Vol 263
(2000) (59-74)
[29] V. Yegnanarayanan; The pseudoachromatic number of a graph; Southeast Asian Bulletin of Mat-
hematics, Vol 24 (2000) (129-136)