Teoria dos Grafos Aula 17 - land.ufrj.brclasses/grafos/slides/aula_17.pdf · Teoria dos Grafos Aula...

download Teoria dos Grafos Aula 17 - land.ufrj.brclasses/grafos/slides/aula_17.pdf · Teoria dos Grafos Aula 17 ... Coloração de Mapas ... Teorema das 4 Cores Quatro cores são suficientes

If you can't read please download the document

Transcript of Teoria dos Grafos Aula 17 - land.ufrj.brclasses/grafos/slides/aula_17.pdf · Teoria dos Grafos Aula...

  • Figueiredo 2011

    Teoria dos GrafosAula 17

    AulapassadaCiclodeEulerCiclodeHamiltonQuemfoiTuring

    AuladehojeColoraoAlgoritmogulosoNmerocromtico

  • Figueiredo 2011

    Colorindo um Mapa

    Colorir o maparegies vizinhas (com fronteira) no podem ter mesma cor

    Mapa de regies (estados)

    Problema 1: Como colorir um mapa de forma atendendo a restrioProblema 2: Qual o menor nmero de cores necessrio?

  • Figueiredo 2011

    Colorindo um MapaAbstrao via grafosVrtices: regies (estados)Arestas: duas regies so vizinhas

    GO

    MG

    SPRJ

    BA

    ES

    TO

    MS

    BA e ES so vizinhos

    Nmero mnimo de cores?

  • Figueiredo 2011

    Alocao de FrequnciasRede telefonia celular

    Estaes base (torre)Clulas vizinhas no podem usar mesma frequncia

    interferncia!

    Mesma abtrao!

    Problema 1: Como alocar frequncias s clulas?Problema 2: Qual o menor nmero de frequncias necessrio?

  • Figueiredo 2011

    Alocao de FrequnciasVrtices: estaes baseArestas: duas estaes so vizinhas (interferem)

    B

    C

    DE

    F

    A

    Estaes C e F se interferem

    Nmero mnimo de frequncias?

  • Figueiredo 2011

    Colorao em GrafosColorao de vrtices Dado grafo G = (V, E)Restrio: vrtices vizinhos no possuem mesma cork-colorao: colorao que utiliza exatamente k cores

    grafo k-colorvelNmero cromtico: menor nmero de cores necessrio colorir o grafo

  • Figueiredo 2011

    ExemploUma colorao qualquer?Nmero cromtico?

    A

    B

    C

    D

    E

    F

    G H

    Colorao qualquer fcil, nmero cromtico difcil

  • Figueiredo 2011

    Algoritmo para ColoraoAlgoritmo para colorir um grafo com o menor nmero de cores possvelIdias???Mtodo guloso

    Mas como? Guloso em que?

  • Figueiredo 2011

    Algoritmo GulosoGuloso no grau dos vrtices

    maior o grau, mais restrito, colorir primeiro

    1.Colorir(G)2.Ordenar vertices em ordem decrescente de graus3.Define conjunto C[i] = 0 para i=1,...,n 4.Incluir v[1] em C[1] // colorir v[1]5.Para j=2, ..., n faca6. Selecione r, a menor cor para colorir v[j]

    // menor r tal que nenhum vertice em C[r] // seja vizinho de v[j]

    7. Incluir v[j] em C[r]

  • Figueiredo 2011

    Algoritmo GulosoAlgoritmo funciona?

    gera uma colorao de G?Sim! Prova pelo funcionamento

    Algoritmo obtm nmero cromtico?utiliza menor nmero de cores?

    No! Contra-exemplo?

    Complexidade?

  • Figueiredo 2011

    Nmero CromticoProblema difcil!No se conhece algoritmo eficiente para determinar o nmero cromticoDeterminar se um grafo k-colorvel igualmente difcil, para k > 2

    para k = 2 fcil, j fizemos aqui

  • Figueiredo 2011

    Colorao de MapasCaso especial de colorao de grafosGrafo induzido pelo mapa planar

    restrio geomtrica das fronterias.Grafo planar: possvel desenhar o grafo sem cruzar as arestas

    Problema: Qual o menor nmero de cores necessrio para colorir qualquer mapa?

  • Figueiredo 2011

    ExemploAmrica do Sul

    Nmero cromtico?Exemplo com 4 cores?

  • Figueiredo 2011

    Teorema das 4 CoresQuatro cores so suficientes para colorir qualquer mapaConjectura de De Morgan em 1852Vrias provas erradas da conjectura!Provado somente em 1972 por Appel, Haken e um computador

    prova por fora bruta mostra que no h mapa para qual 5 cores seja necessrioAnlise de 2000 casos, via computador!

    Primeira grande prova com ajuda do computadorMatemticos no gostam: e se tiver bug no programa?

    Slide 1Slide 2Slide 3Slide 4Slide 5Slide 6Slide 7Slide 8Slide 9Slide 10Slide 11Slide 12Slide 13Slide 14