Caro Leandro,
Questao muito interessante. Me parece que a A e' correta, pois basta
passar a cor de x para suas copias, para todo x, e assim estender uma
2-coloracao a G o h; a B me parece incorreta, pois se eu usar coeficiente
zero em h para "matar" vertices que pertencam a ciclos impares
indesejaveis, posso acabar tendo um grafo G o h perfeito; a C tambem me
parece falsa, pois, usando h = tudo 1, posso reproduzir o grafo G na forma
de G o h e assim, a C pareceria querer dizer que todo grafo satisfaz
chi=omega. E tambem e' estranho voce colocar "para todo o qualquer h" mas
nao colocar "para todo e qualquer G". Este tipo de tratamento diferente
confunde o leitor, porque ele fica com a pulga atras da orelha. Por fim,
a ultima parece correta, por causa do processo de "matar" vertices, que
pode ser usado, por exemplo, para reduzir G o h a uma unica aresta.
Enfim, tem duas corretas e duas falsas. Eu nao soube o que fazer, por
ela, nao soube o que faze-ee-eer, e ella se fue, porque la deje, porque la
deje-ee-ee, no se, solo se que se me fue.
http://www.youtube.com/watch?v=CNydZwMduN8
(trocar "ilusao" por "questao")
--
Joao Meidanis IC-UNICAMP
Institute of Computing Av. Albert Einstein, 1251
University of Campinas, Brazil 13083-852, Campinas, Sao Paulo
http://www.ic.unicamp.br/~meidanis Brazil