O Problema da 3- Coloração de Grafos

Transcrição

1 Otimização Combinatória O Problema da - Coloração de Grafos Guilherme Zanardo Borduchi Hugo Armando Gualdron Colmenares Tiago Moreira Trocoli da Cunha Prof.ª Marina Andretta

2 Introdução ao Problema Problema das Três Cores - Seja um grafo G(V,E). - Objetivo: Colorir os vértices do grafo com somente cores tal que nenhum vértice adjacente tenha cores iguais.

3 Algoritmos de Aproximação Solução exata: - Máximo de cores: Algoritmo de Jonhson - Máximo de cores: O(n/log(n)) Algoritmo de Wigderson - Máximo de cores: O( n)

4 Prova NP - Seja um grafo G(V,E) uma instância. Satisfeito e e... em Pergunta Pergunta Pergunta c(v) c(u)? c(v) c(u)?... c(vn) c(un)? Verdadeiro Verdadeiro Verdadeiro Falso Falso Falso G Não Satisfeito

5 Prova NP-Completo Redução do -SAT para -Coloração. - Seja φ uma instância do -SAT, com variáveis x,x...xn e cláusulas C, C Cm.

6 Prova NP-Completo Parte -SAT valores Redução O que fazer? -Coloração valores

7 Prova NP-Completo F T B x x x x xn xn...

8 Prova NP-Completo - Como os vértices das variáveis não podem ser iguais a cor BASE, então só podem ser coloridas com TRUE e FALSE.

9 x=t ou x=t ou x=t Prova NP-Completo Parte x=x=x=f Falso Não é - Colorável Ci Associação Gi Verdadeiro -Colorável

10 Prova NP-Completo Exemplo: x x x x x T x F

11 Prova NP-Completo x x T x F

12 Prova NP-Completo B B x B x T x F

13 Prova NP-Completo F B T B x B x T x F

14 Prova NP-Completo? F B T B x B x T x F

15 Prova NP-Completo Exemplo x x T x F

16 Prova NP-Completo Exemplo B x B x T x F

17 Prova NP-Completo Exemplo B T x B x T x F

18 Prova NP-Completo Exemplo F B T x B x T x F

19 Prova NP-Completo Exemplo F B B T x B x T x F

20 Prova NP-Completo Exemplo F B B T F x B x T x F

21 Prova NP-Completo G G... Gm F T B x x x x xn xn...

22 Prova NP-Completo - Se a instância φ é satisfeita para uma dada valoração, então o grafo G é -colorável. Satisfeita φ Satisfeita Satisfeita Satisfeita C C... -colorável -colorável G G... -colorável G Cm -colorável Gm

23 Prova NP-Completo - Se o grafo G é -colorável, então a instância φ é satisfeita. -colorável G -colorável -colorável G G Satisfeita Satisfeita C C Satisfeita φ colorável Gm Satisfeita Cm

24 Algoritmo de Johnson O algoritmo de Johnson foi o primeiro algoritmo a mostrar uma garantia de aproximação para o problema de coloração de grafos. Trata-se de um algoritmo guloso, cuja garantia de aproximação é de O(n/log(n)) cores, para um grafo G qualquer com n vértices.

25 Algoritmo de Johnson - O algoritmo funciona encontrando conjuntos independentes no grafo. - Conjunto independente: conjunto de vértices em um grafo, tais que estes não possuam nenhuma aresta em comum. - Cada vértice de um conjunto independente terá a mesma cor. Cada conjunto independente distinto possuirá uma cor distinta.

26 Algoritmo de Johnson(G):

27 Algoritmo de Johnson Instância de exemplo

28 Algoritmo de Johnson i U V U Ø? Sim W U U i = Cores: W

29 Algoritmo de Johnson W Ø? Sim Obter o vértice de menor grau no subgrafo induzido por W U i = Cores: W

30 Algoritmo de Johnson Colorir v com a cor i U i = Cores: W

31 Algoritmo de Johnson W W - {v} - N(v) U U - {v} U i = Cores: W

32 Algoritmo de Johnson W Ø? Sim Obter o vértice de menor grau no subgrafo induzido por W U i = Cores: W

33 Algoritmo de Johnson Colorir v com a cor i U i = Cores: W

34 Algoritmo de Johnson W W - {v} - N(v) U U - {v} U i = Cores: W

35 Algoritmo de Johnson W Ø? Sim Obter o vértice de menor grau no subgrafo induzido por W U i = Cores: W

36 Algoritmo de Johnson Colorir v com a cor i U i = Cores: W

37 Algoritmo de Johnson W W - {v} - N(v) U U - {v} U i = Cores: W

38 Algoritmo de Johnson W Ø? Sim Obter o vértice de menor grau no subgrafo induzido por W U i = Cores: W

39 Algoritmo de Johnson Colorir v com a cor i U i = Cores: W

40 Algoritmo de Johnson W W - {v} - N(v) U U - {v} U i = Cores: W

41 Algoritmo de Johnson Por último... U i = Cores: W

42 Algoritmo de Johnson W W - {v} - N(v) U U - {v} U i = Cores: W

43 Algoritmo de Johnson W Ø? Não i i + U i = Cores: W

44 Algoritmo de Johnson U Ø? Sim W U U i = Cores: W

45 Algoritmo de Johnson W Ø? Sim Obter o vértice de menor grau no subgrafo induzido por W U i = Cores: W

46 Algoritmo de Johnson Colorir v com a cor i U i = Cores: W

47 Algoritmo de Johnson W W - {v} - N(v) U U - {v} U i = Cores: W

48 Algoritmo de Johnson Continuando para esse W... U i = Cores: W

49 Algoritmo de Johnson Terminando a execução... U i = Cores:

50 Prova da Aproximação do Algoritmo de Johnson Teorema.: Um grafo k-colorável possui um conjunto independente σ de tamanho V /k. Teorema.: Cada vértice v do conjunto independente σ possui N(v) V - V /k vizinhos.

51 Algoritmo de Johnson(G):

52 Prova da Aproximação do Algoritmo de Johnson Seja H este subgrafo, de forma que W seja o conjunto de vértices de H. Como H é subgrafo de um grafo k-colorável, H também é k- colorável.

53 Prova da Aproximação do Algoritmo de Johnson Dos teoremas. e., temos que H possui um conjunto independente de tamanho pelo menos W /k, sendo que cada vértice neste conjunto possui grau no máximo W - W /k = W (k-)/k Logo, o grau mínimo de H é no máximo W (k-)/k, e assim, pelo menos W - W (k-)/k = W /k vértices estarão em W no começo da próxima iteração.

54 Prova da Aproximação do Algoritmo de Johnson O laço interno só termina quando W fica vazio, assim, pelo menos log k W iterações devem ser executadas: Iteração : W Iteração : W /k Iteração : W /k/k = W /k Iteração : W /k Iteração n: W /k n = Para k n = W, precisamos de n = log k W iterações.

55 Prova da Aproximação do Algoritmo de Johnson Deste modo, no final do laço interno, teremos {v v W cor(v) = i} log k W. Ou seja, o número de vértices coloridos com a cor i será pelo menos log k U, sendo U o conjunto de vértices sem cor antes do começo do laço.

56 Prova da Aproximação do Algoritmo de Johnson Para completar a prova, precisamos analisar o tamanho de U no começo de uma iteração qualquer do laço externo. Quando U V /log k V, temos que log k U log k U log k ( V /log k V ) > log k V = ½ log k V. Assim, o tamanho de U diminui pelo menos ½ log k V a cada iteração. Desta maneira, quando U se tornar menor que V /log k V, o algoritmo não terá usado mais do que V /log k V cores.

57 Prova da Aproximação do Algoritmo de Johnson Para completar a prova, precisamos analisar o tamanho de U no começo de uma iteração qualquer do laço externo. Quando U < V /log k V, é claro que o algoritmo utilizará no máximo V /log k V cores. Segue então que o algoritmo de Johnson utiliza no máximo V /log k V cores. Para o nosso caso, k=, portanto o algoritmo de Johnson usa no máximo V /log V cores.

58 Algoritmo de Wigderson Teorema.: Para um grafo -colorável, a vizinhança de cada vértice pode ser colorida com duas cores. Teorema.: Qualquer grafo cujo vértice de maior grau é (G) pode ser colorido com no máximo (G)+ cores em tempo polinomial. Teorema.: Todo grafo bipartido pode ser colorido em tempo polinomial.

59 Algoritmo de Wigderson Instância de exemplo

60 Algoritmo de Wigderson Coloração ótima

61 Algoritmo de Wigderson Cores:

62 Algoritmo de Wigderson i = Cores:

63 Algoritmo de Wigderson Obter o subgrafo H induzido da vizinhança do vértice de maior grau e colorir com as cores i e i+ i = Cores:

64 Algoritmo de Wigderson Colorir o vértice de maior grau com a cor i+ i = Cores:

65 Algoritmo de Wigderson i i + i = Cores:

66 Algoritmo de Wigderson Remove, do grafo G, o vértice de maior grau e seu vizinhos i = Cores:

67 Algoritmo de Wigderson Remove, do grafo G, o vértice de maior grau e seu vizinhos i = Cores:

68 Algoritmo de Wigderson i = Cores:

69 Algoritmo de Wigderson Colorir os vértices restantes com (G)+ cores i = Cores:

70 Algoritmo de Wigderson Colorir os vértices restantes com (G)+ cores i = Cores:

71 Algoritmo de Wigderson Resultado i = Cores:

72 Algoritmo de Wigderson(G):

73 Prova da Aproximação do Algoritmo de Wigderson

74 Prova da Aproximação do Algoritmo de Wigderson Para cada iteração são usadas cores

75 Prova da Aproximação do Algoritmo de Wigderson Linhas até são executadas no máximo n vezes

76 Prova da Aproximação do Algoritmo de Wigderson Serão usadas no máximo n cores

77 Prova da Aproximação do Algoritmo de Wigderson Quando o grafo tiver vértices com grau menor que n, eles serão coloridos com no máximo (G)+ cores

78 Prova da Aproximação do Algoritmo de Wigderson Assim, o algoritmo de Wigderson, para colorir um grafo - colorável, emprega no máximo n cores

79 Implementação Os algoritmos de Johnson e Wigderson podem ser implementados com complexidade linear Acesso em tempo constante ao vértice de menor ou maior grau logo após a remoção de vértices e arestas do grafo

80 Implementação Os algoritmos de Johnson e Wigderson podem ser implementados com complexidade linear Acesso em tempo constante ao vértice de menor ou maior grau logo após a remoção de vértices e arestas do grafo d d... d (G)

81 Implementação Os algoritmos de Johnson e Wigderson podem ser implementados com complexidade linear Acesso em tempo constante ao vértice de menor ou maior grau logo após a remoção de vértices e arestas do grafo d d... d (G)... v v vj

82 Implementação Os algoritmos de Johnson e Wigderson podem ser implementados com complexidade linear Acesso em tempo constante ao vértice de menor ou maior grau logo após a remoção de vértices e arestas do grafo V V V... Vn &Grau Vizinhos d d... d (G)... v v vj

83 Resultados Vértices ( V ) Arestas ( E ) # instâncias ±. ±. ±. ±. ±. ±.. ± ±. ±. ±.

84 Resultados

85 Resultados

86 Resultados

87 Resultados

88 Resultados

89 Conclusões O algoritmo de Wigderson, apesar de possuir uma garantia de aproximação melhor que o algoritmo de Johnson, apresentou, em média, piores resultados de coloração. É importante que uma análise dos algoritmos seja feita antes da escolha de algum deles, uma vez que confiar nas garantias de aproximação nem sempre é a melhor opção. Dúvidas?