Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos...
Transcript of Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos...
![Page 1: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/1.jpg)
Algoritmos Parametrizados
Métodos Aleatorizados
Lehilton Pedrosa
Segundo Semestre de 2016
Instituto de Computação – Unicamp
![Page 2: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/2.jpg)
Roteiro
1. Métodos Aleatorizados
2. Conjunto de retroalimentação de Vértices
3. Codificação de cores
4. Separação aleatória
5. Codificação cromática
6. Desaleatorização
1
![Page 3: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/3.jpg)
Métodos Aleatorizados
![Page 4: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/4.jpg)
Algoritmo Aleatorizado
Modelo probabilístico
2
![Page 5: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/5.jpg)
Algoritmo Aleatorizado
Modelo probabilístico
• P ⊆ Σ∗ um problema
2
![Page 6: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/6.jpg)
Algoritmo Aleatorizado
Modelo probabilístico
• P ⊆ Σ∗ um problema
• r ≥ 0 o número de bits aleatórios
2
![Page 7: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/7.jpg)
Algoritmo Aleatorizado
Modelo probabilístico
• P ⊆ Σ∗ um problema
• r ≥ 0 o número de bits aleatórios
Seja um algoritmo Alg com parâmetros:
2
![Page 8: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/8.jpg)
Algoritmo Aleatorizado
Modelo probabilístico
• P ⊆ Σ∗ um problema
• r ≥ 0 o número de bits aleatórios
Seja um algoritmo Alg com parâmetros:
• I ∈ Σ∗
2
![Page 9: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/9.jpg)
Algoritmo Aleatorizado
Modelo probabilístico
• P ⊆ Σ∗ um problema
• r ≥ 0 o número de bits aleatórios
Seja um algoritmo Alg com parâmetros:
• I ∈ Σ∗
• ω ∈ {0, 1}r
2
![Page 10: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/10.jpg)
Algoritmo Aleatorizado
Modelo probabilístico
• P ⊆ Σ∗ um problema
• r ≥ 0 o número de bits aleatórios
Seja um algoritmo Alg com parâmetros:
• I ∈ Σ∗
• ω ∈ {0, 1}r
Dizemos que Alg responde R para I com probabilidade:
p :=|{ω : Alg(I,ω) = R}|
2r
2
![Page 11: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/11.jpg)
Algoritmo Monte Carlo
Definição
Um algoritmo Monte Carlo com falsos negativos eprobabilidade p é um algoritmo aleatorizado tal que:
3
![Page 12: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/12.jpg)
Algoritmo Monte Carlo
Definição
Um algoritmo Monte Carlo com falsos negativos eprobabilidade p é um algoritmo aleatorizado tal que:
1. Tem tempo de execução limitado
3
![Page 13: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/13.jpg)
Algoritmo Monte Carlo
Definição
Um algoritmo Monte Carlo com falsos negativos eprobabilidade p é um algoritmo aleatorizado tal que:
1. Tem tempo de execução limitado
2. Tem as seguintes probabilidades:
3
![Page 14: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/14.jpg)
Algoritmo Monte Carlo
Definição
Um algoritmo Monte Carlo com falsos negativos eprobabilidade p é um algoritmo aleatorizado tal que:
1. Tem tempo de execução limitado
2. Tem as seguintes probabilidades:Entrada Prob. da resposta correta
Instância não: I ∈ P 1Instância sim: I ∈ P p
3
![Page 15: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/15.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
4
![Page 16: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/16.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t:
4
![Page 17: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/17.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t: execute Alg(I)
4
![Page 18: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/18.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t: execute Alg(I)
2. Se todas execução de Alg responder não,
4
![Page 19: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/19.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t: execute Alg(I)
2. Se todas execução de Alg responder não, responda não.
4
![Page 20: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/20.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t: execute Alg(I)
2. Se todas execução de Alg responder não, responda não.
3. Senão,
4
![Page 21: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/21.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t: execute Alg(I)
2. Se todas execução de Alg responder não, responda não.
3. Senão, responda sim.
4
![Page 22: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/22.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t: execute Alg(I)
2. Se todas execução de Alg responder não, responda não.
3. Senão, responda sim.
O algoritmo Alg′ tem probabilidade p′ = e−pt.
4
![Page 23: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/23.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t: execute Alg(I)
2. Se todas execução de Alg responder não, responda não.
3. Senão, responda sim.
O algoritmo Alg′ tem probabilidade p′ = e−pt.
Observação para FPT:
4
![Page 24: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/24.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t: execute Alg(I)
2. Se todas execução de Alg responder não, responda não.
3. Senão, responda sim.
O algoritmo Alg′ tem probabilidade p′ = e−pt.
Observação para FPT:
• Se t = ⌈ 1p⌉,
4
![Page 25: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/25.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t: execute Alg(I)
2. Se todas execução de Alg responder não, responda não.
3. Senão, responda sim.
O algoritmo Alg′ tem probabilidade p′ = e−pt.
Observação para FPT:
• Se t = ⌈ 1p⌉, então p′ é constante
4
![Page 26: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/26.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t: execute Alg(I)
2. Se todas execução de Alg responder não, responda não.
3. Senão, responda sim.
O algoritmo Alg′ tem probabilidade p′ = e−pt.
Observação para FPT:
• Se t = ⌈ 1p⌉, então p′ é constante• Se Alg tem p = 1/O∗(f(k)) e tempo O∗(g(k)),
4
![Page 27: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/27.jpg)
Amplificação de probabilidade
O algoritmo Alg′ amplifica a probabilidade de Alg:
Alg′(I, t)
1. Para i = 1, . . . , t: execute Alg(I)
2. Se todas execução de Alg responder não, responda não.
3. Senão, responda sim.
O algoritmo Alg′ tem probabilidade p′ = e−pt.
Observação para FPT:
• Se t = ⌈ 1p⌉, então p′ é constante• Se Alg tem p = 1/O∗(f(k)) e tempo O∗(g(k)),então Alg’ tem p′ constante e tempo O∗(f(k)g(k)).
4
![Page 28: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/28.jpg)
Conjunto de retroalimentação deVértices
![Page 29: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/29.jpg)
Conjunto de retroalimentação de Vértices
Lema
Se G é multigrafo com d(v) ≥ 3 para v ∈ V(G) e X é conjuntode retroalimentação de vértices, então mais da metade dasarestas incidem em X.
5
![Page 30: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/30.jpg)
![Page 31: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/31.jpg)
FPT aleatorizado
Teorema
Dados G e k, existe algoritmo polinomial que
6
![Page 32: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/32.jpg)
FPT aleatorizado
Teorema
Dados G e k, existe algoritmo polinomial que
1. ou encontra um conjunto de retroalimentação comtamanho k;
6
![Page 33: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/33.jpg)
FPT aleatorizado
Teorema
Dados G e k, existe algoritmo polinomial que
1. ou encontra um conjunto de retroalimentação comtamanho k;
2. ou reponde não.
6
![Page 34: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/34.jpg)
FPT aleatorizado
Teorema
Dados G e k, existe algoritmo polinomial que
1. ou encontra um conjunto de retroalimentação comtamanho k;
2. ou reponde não.
Se G tiver conjunto de retroalimentação de tamanho k, entãoa probabilidade de sucesso é pelo menos 4−k.
6
![Page 35: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/35.jpg)
![Page 36: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/36.jpg)
![Page 37: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/37.jpg)
FPT aleatorizado
Corolário
Existe um algoritmo aleatorizado que, em tempo 4knO(1)
encontra um conjunto de retroalimentação com tamanho kde G, ou reporta falha. Se a instância for sim, então devolveum conjunto com probabilidade constante.
7
![Page 38: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/38.jpg)
Codificação de cores
![Page 39: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/39.jpg)
Isomorfismo de subgrafo
Isomorfismo de subgrafo
Dados grafos G e H, H é subgrafo de G?
8
![Page 40: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/40.jpg)
Isomorfismo de subgrafo
Isomorfismo de subgrafo
Dados grafos G e H, H é subgrafo de G?
Problema do Caminho mais longo: caso particular quando H éum caminho Pk, com k vértices.
8
![Page 41: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/41.jpg)
![Page 42: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/42.jpg)
Codificação de Cores
Ideia
• damos uma coloração própria para o caminho H
9
![Page 43: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/43.jpg)
Codificação de Cores
Ideia
• damos uma coloração própria para o caminho H
• adivinhamos as cores no grafo G
9
![Page 44: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/44.jpg)
Codificação de Cores
Ideia
• damos uma coloração própria para o caminho H
• adivinhamos as cores no grafo G
Flexibilidade da aleatorização:
• como se testássemos todas possibilidades
9
![Page 45: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/45.jpg)
Codificação de Cores
Ideia
• damos uma coloração própria para o caminho H
• adivinhamos as cores no grafo G
Flexibilidade da aleatorização:
• como se testássemos todas possibilidades
• mas com tempo de execução para somente uma
9
![Page 46: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/46.jpg)
Codificação de Cores
Ideia
• damos uma coloração própria para o caminho H
• adivinhamos as cores no grafo G
Flexibilidade da aleatorização:
• como se testássemos todas possibilidades
• mas com tempo de execução para somente uma
Dificuldades:
9
![Page 47: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/47.jpg)
Codificação de Cores
Ideia
• damos uma coloração própria para o caminho H
• adivinhamos as cores no grafo G
Flexibilidade da aleatorização:
• como se testássemos todas possibilidades
• mas com tempo de execução para somente uma
Dificuldades:
• número de possibilidades certas é “grande”
9
![Page 48: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/48.jpg)
Contando o número de possibilidades
Se k for pequeno comparado a n, então precisamos acertar ascores de poucos vértices!
10
![Page 49: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/49.jpg)
Contando o número de possibilidades
Se k for pequeno comparado a n, então precisamos acertar ascores de poucos vértices!
Lema
Seja U um conjunto de n elementos e X ⊆ U com |X| = k.
10
![Page 50: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/50.jpg)
Contando o número de possibilidades
Se k for pequeno comparado a n, então precisamos acertar ascores de poucos vértices!
Lema
Seja U um conjunto de n elementos e X ⊆ U com |X| = k. Sejaχ : U→ [k] uma coloração de U, escolhida aleatória euniformemente.
10
![Page 51: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/51.jpg)
Contando o número de possibilidades
Se k for pequeno comparado a n, então precisamos acertar ascores de poucos vértices!
Lema
Seja U um conjunto de n elementos e X ⊆ U com |X| = k. Sejaχ : U→ [k] uma coloração de U, escolhida aleatória euniformemente.
Então a probabilidade de que χ induz uma coloração própriade X é pelo menos e−k.
10
![Page 52: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/52.jpg)
Encontrando um caminho colorido
Nos concentramos no seguinte problema:
• Dados G e uma coloração de V(G) com k cores;
11
![Page 53: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/53.jpg)
Encontrando um caminho colorido
Nos concentramos no seguinte problema:
• Dados G e uma coloração de V(G) com k cores;• Queremos um caminho de G com as k cores
11
![Page 54: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/54.jpg)
Encontrando um caminho colorido
Nos concentramos no seguinte problema:
• Dados G e uma coloração de V(G) com k cores;• Queremos um caminho de G com as k cores
Ideia
• Sem cores:
11
![Page 55: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/55.jpg)
Encontrando um caminho colorido
Nos concentramos no seguinte problema:
• Dados G e uma coloração de V(G) com k cores;• Queremos um caminho de G com as k cores
Ideia
• Sem cores:• guardamos que vértices foram visitados: tempo
(nk
)
11
![Page 56: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/56.jpg)
Encontrando um caminho colorido
Nos concentramos no seguinte problema:
• Dados G e uma coloração de V(G) com k cores;• Queremos um caminho de G com as k cores
Ideia
• Sem cores:• guardamos que vértices foram visitados: tempo
(nk
)
• Com cores:
11
![Page 57: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/57.jpg)
Encontrando um caminho colorido
Nos concentramos no seguinte problema:
• Dados G e uma coloração de V(G) com k cores;• Queremos um caminho de G com as k cores
Ideia
• Sem cores:• guardamos que vértices foram visitados: tempo
(nk
)
• Com cores:• precisamos guardar que cores foram visitadas
11
![Page 58: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/58.jpg)
Encontrando um caminho colorido
Nos concentramos no seguinte problema:
• Dados G e uma coloração de V(G) com k cores;• Queremos um caminho de G com as k cores
Ideia
• Sem cores:• guardamos que vértices foram visitados: tempo
(nk
)
• Com cores:• precisamos guardar que cores foram visitadas
Lema
Seja χ : V(G) → [k].
11
![Page 59: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/59.jpg)
Encontrando um caminho colorido
Nos concentramos no seguinte problema:
• Dados G e uma coloração de V(G) com k cores;• Queremos um caminho de G com as k cores
Ideia
• Sem cores:• guardamos que vértices foram visitados: tempo
(nk
)
• Com cores:• precisamos guardar que cores foram visitadas
Lema
Seja χ : V(G) → [k]. Existe algoritmo que verifica em tempo2knO(1) se G contém um caminho com k vértices e k cores; sesim, também devolve o caminho. 11
![Page 60: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/60.jpg)
![Page 61: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/61.jpg)
![Page 62: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/62.jpg)
Algoritmo para Caminho mais longo
Teorema
Existe um algoritmo aleatorizado que, dada uma instânciado Caminho mais longo (G, k), em tempo (2e)knO(1), oureporta falha, ou encontra um caminho de tamanho pelomenos k. Se a instância for sim, então ele encontra umasolução com probabilidade constante.
12
![Page 63: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/63.jpg)
Separação aleatória
![Page 64: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/64.jpg)
Separação aleatória
Ideia
Colorimos arestas de forma que:
13
![Page 65: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/65.jpg)
Separação aleatória
Ideia
Colorimos arestas de forma que:
• arestas das solução sejam vermelhas
• arestas adjacentes seja azuis
13
![Page 66: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/66.jpg)
Separação aleatória
Ideia
Colorimos arestas de forma que:
• arestas das solução sejam vermelhas
• arestas adjacentes seja azuis
→ componentes conexas vermelhas são “componentes” dasolução
13
![Page 67: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/67.jpg)
Isomorfismo de subgrafo
Seja (G,H) uma instância sim de Isomorfismo de subgrafo:
14
![Page 68: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/68.jpg)
Isomorfismo de subgrafo
Seja (G,H) uma instância sim de Isomorfismo de subgrafo:
• i.e., existe H ⊆ G tal que H ∼= H
14
![Page 69: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/69.jpg)
Isomorfismo de subgrafo
Seja (G,H) uma instância sim de Isomorfismo de subgrafo:
• i.e., existe H ⊆ G tal que H ∼= H
Coloração independente: pintamos cada aresta de G devermelho ou azul, com probabilidade 1/2 para cada cor.
14
![Page 70: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/70.jpg)
Isomorfismo de subgrafo
Seja (G,H) uma instância sim de Isomorfismo de subgrafo:
• i.e., existe H ⊆ G tal que H ∼= H
Coloração independente: pintamos cada aresta de G devermelho ou azul, com probabilidade 1/2 para cada cor.
Seja Γ o conjunto das arestas adjacentes de H.
14
![Page 71: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/71.jpg)
Isomorfismo de subgrafo
Seja (G,H) uma instância sim de Isomorfismo de subgrafo:
• i.e., existe H ⊆ G tal que H ∼= H
Coloração independente: pintamos cada aresta de G devermelho ou azul, com probabilidade 1/2 para cada cor.
Seja Γ o conjunto das arestas adjacentes de H.
Coloração bem-sucedida
1. H é vermelho
2. Γ é azul
14
![Page 72: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/72.jpg)
Isomorfismo de subgrafo
Seja (G,H) uma instância sim de Isomorfismo de subgrafo:
• i.e., existe H ⊆ G tal que H ∼= H
Coloração independente: pintamos cada aresta de G devermelho ou azul, com probabilidade 1/2 para cada cor.
Seja Γ o conjunto das arestas adjacentes de H.
Coloração bem-sucedida
1. H é vermelho
2. Γ é azul
Lema
A probabilidade de obter uma coloração independentebem-sucedida é pelo meno 1/2dk.
14
![Page 73: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/73.jpg)
![Page 74: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/74.jpg)
Algoritmo para isomorfismo
• acreditamos que isomorfismo não é FPT
• caso particular: ∆(G) ≤ d, para algum d fixo
15
![Page 75: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/75.jpg)
Algoritmo para isomorfismo
• acreditamos que isomorfismo não é FPT
• caso particular: ∆(G) ≤ d, para algum d fixo
Teorema
Existe um algoritmo que dados (G,H), com ∆(G) ≤ d, oureporta falha ou decide que existe um subgrafo de Gisomorfo a H que executa em tempo 2dkk!nO(1).
15
![Page 76: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/76.jpg)
Algoritmo para isomorfismo
• acreditamos que isomorfismo não é FPT
• caso particular: ∆(G) ≤ d, para algum d fixo
Teorema
Existe um algoritmo que dados (G,H), com ∆(G) ≤ d, oureporta falha ou decide que existe um subgrafo de Gisomorfo a H que executa em tempo 2dkk!nO(1).
Se a reposta for sim, então ele devolve o subgrafo comprobabilidade constante.
15
![Page 77: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/77.jpg)
![Page 78: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/78.jpg)
![Page 79: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/79.jpg)
Codificação cromática
![Page 80: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/80.jpg)
Problema do d-agrupamento
Problema de edição de arestas:
16
![Page 81: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/81.jpg)
Problema do d-agrupamento
Problema de edição de arestas:
• queremos adicionar ou remover arestas
16
![Page 82: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/82.jpg)
Problema do d-agrupamento
Problema de edição de arestas:
• queremos adicionar ou remover arestas
• obter um novo grafo de um certa classe
16
![Page 83: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/83.jpg)
Problema do d-agrupamento
Problema de edição de arestas:
• queremos adicionar ou remover arestas
• obter um novo grafo de um certa classe
Termos:
• A ⊆(V(G)
2
)é um conjunto de adjacências
16
![Page 84: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/84.jpg)
Problema do d-agrupamento
Problema de edição de arestas:
• queremos adicionar ou remover arestas
• obter um novo grafo de um certa classe
Termos:
• A ⊆(V(G)
2
)é um conjunto de adjacências
• um d-agrupamento é a união disjunta de d cliques
Problema do d-agrupamento de grafo
Dado um grafo G e um inteiro k, existe um conjunto deadjacências A, com |A| ≤ k, tal que o grafo (V(G), E(G) △ A) éum d-agrupamento?
16
![Page 85: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/85.jpg)
Codificação cromática
• seja uma coloração de vértices χ : V→ [q]
17
![Page 86: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/86.jpg)
Codificação cromática
• seja uma coloração de vértices χ : V→ [q]
•(uv∈V(G)
2
)é colorida propriamente se χ(u) = χ(v))
17
![Page 87: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/87.jpg)
Codificação cromática
• seja uma coloração de vértices χ : V→ [q]
•(uv∈V(G)
2
)é colorida propriamente se χ(u) = χ(v))
Codificação cromática: solução A é colorida propriamente
17
![Page 88: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/88.jpg)
Obtendo uma coloração própria
Lema
Seja q = ⌈√8k⌉ e G um grafo com k arestas cujos vértices
foram coloridos aleatoriamente com q cores.
18
![Page 89: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/89.jpg)
Obtendo uma coloração própria
Lema
Seja q = ⌈√8k⌉ e G um grafo com k arestas cujos vértices
foram coloridos aleatoriamente com q cores.
Então a probabilidade de E(G) ser colorida propriamente épelo menos 2−
√k/2.
18
![Page 90: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/90.jpg)
![Page 91: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/91.jpg)
![Page 92: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/92.jpg)
![Page 93: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/93.jpg)
Encontrando uma solução colorida
Lema
Seja G um grafo e χ : V(G) → [q]. Seja Vi os vértices com cor i.
19
![Page 94: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/94.jpg)
Encontrando uma solução colorida
Lema
Seja G um grafo e χ : V(G) → [q]. Seja Vi os vértices com cor i.
Se existe uma solução A colorida propriamente por χ, então, paratodo i, G[Vi] é um l-agrupamento com l ≤ d.
19
![Page 95: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/95.jpg)
Encontrando uma solução colorida
Lema
Seja G um grafo e χ : V(G) → [q]. Seja Vi os vértices com cor i.
Se existe uma solução A colorida propriamente por χ, então, paratodo i, G[Vi] é um l-agrupamento com l ≤ d.
Algoritmo:
19
![Page 96: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/96.jpg)
Combinando
Lema
Dada uma instância (G, k) de d-agrupamento com coloraçãoχ : V(G) → [⌈
√8k⌉], podemos decidir se há uma solução
colorida propriamente em tempo 2O(d logd√k).
20
![Page 97: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/97.jpg)
Combinando
Lema
Dada uma instância (G, k) de d-agrupamento com coloraçãoχ : V(G) → [⌈
√8k⌉], podemos decidir se há uma solução
colorida propriamente em tempo 2O(d logd√k).
Teorema
Existe um algoritmo aleatorizado que, dada uma instância(G, k) do d-agrupamento, em tempo 2O(d
√k)nO(1) ou reporta
falha, ou encontra uma solução. Além disso, dada umainstância sim, ele retorna uma solução com probabilidadeconstante.
20
![Page 98: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/98.jpg)
Desaleatorização
![Page 99: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/99.jpg)
Desaleatorizando
Famílias pseudoaleatórias
Queremos colorações χ : [n] → [k] boas
21
![Page 100: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/100.jpg)
Desaleatorizando
Famílias pseudoaleatórias
Queremos colorações χ : [n] → [k] boas
A invés de obter χ aleatório, retiramos de uma família F :
21
![Page 101: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/101.jpg)
Desaleatorizando
Famílias pseudoaleatórias
Queremos colorações χ : [n] → [k] boas
A invés de obter χ aleatório, retiramos de uma família F :
• F contém pelo menos uma coloração boa
• F é pequena
21
![Page 102: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/102.jpg)
Desaleatorizando
Famílias pseudoaleatórias
Queremos colorações χ : [n] → [k] boas
A invés de obter χ aleatório, retiramos de uma família F :
• F contém pelo menos uma coloração boa
• F é pequena
Vamos usar algumas construções prontas:
21
![Page 103: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/103.jpg)
Desaleatorizando
Famílias pseudoaleatórias
Queremos colorações χ : [n] → [k] boas
A invés de obter χ aleatório, retiramos de uma família F :
• F contém pelo menos uma coloração boa
• F é pequena
Vamos usar algumas construções prontas: separadores,conjuntos universais, hashs perfeitos e famíliasindependentes
21
![Page 104: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/104.jpg)
Separadores
Definição
Um (n, k, l)-splitter é uma família F de funções f : [n] → [l].
22
![Page 105: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/105.jpg)
Separadores
Definição
Um (n, k, l)-splitter é uma família F de funções f : [n] → [l].
Para todo S ⊆ [n], como |S| = k, existe f ∈ F tal que:
−1 ≤ |f−1(j) ∩ S|− |f−1(j′) ∩ S| ≤ 1.
22
![Page 106: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/106.jpg)
Separadores
Definição
Um (n, k, l)-splitter é uma família F de funções f : [n] → [l].
Para todo S ⊆ [n], como |S| = k, existe f ∈ F tal que:
−1 ≤ |f−1(j) ∩ S|− |f−1(j′) ∩ S| ≤ 1.
Splitters injetores: Se l ≥ k, então f induz uma função injetoraem S.
22
![Page 107: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/107.jpg)
Ferramenta básica
Teorema
Para n, k ≥ 1, existe algoritmo que:
23
![Page 108: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/108.jpg)
Ferramenta básica
Teorema
Para n, k ≥ 1, existe algoritmo que:
• obtém um (n, k, k2)-splitter de tamanho kO(1) logn
23
![Page 109: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/109.jpg)
Ferramenta básica
Teorema
Para n, k ≥ 1, existe algoritmo que:
• obtém um (n, k, k2)-splitter de tamanho kO(1) logn
• tem tempo de execução kO(1)n logn.
23
![Page 110: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/110.jpg)
Hash perfeito
Um (n, k, k)-splitter é chamado de (n, k)-hash perfeito.
Teorema
Para n, k ≥ 1, existe algoritmo que:
24
![Page 111: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/111.jpg)
Hash perfeito
Um (n, k, k)-splitter é chamado de (n, k)-hash perfeito.
Teorema
Para n, k ≥ 1, existe algoritmo que:
• obtém um (n, k)-hash perfeito de tamanho ekkO(log k) logn
24
![Page 112: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/112.jpg)
Hash perfeito
Um (n, k, k)-splitter é chamado de (n, k)-hash perfeito.
Teorema
Para n, k ≥ 1, existe algoritmo que:
• obtém um (n, k)-hash perfeito de tamanho ekkO(log k) logn
• tem tempo de execução ekkO(log k)n logn.
24
![Page 113: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/113.jpg)
Conjunto Universal
Definição
Um (n, k)-universal set é uma família U de subconjuntos de[n] tal que para cada S ⊆ [n] de tamanho ki, a família{A ∩ S : A ∈ U} = 2[k].
Teorema
Para n, k ≥ 1, existe algoritmo que:
25
![Page 114: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/114.jpg)
Conjunto Universal
Definição
Um (n, k)-universal set é uma família U de subconjuntos de[n] tal que para cada S ⊆ [n] de tamanho ki, a família{A ∩ S : A ∈ U} = 2[k].
Teorema
Para n, k ≥ 1, existe algoritmo que:
• obtém um (n, k)-universal set de tamanho 2kkO(log k) logn
25
![Page 115: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/115.jpg)
Conjunto Universal
Definição
Um (n, k)-universal set é uma família U de subconjuntos de[n] tal que para cada S ⊆ [n] de tamanho ki, a família{A ∩ S : A ∈ U} = 2[k].
Teorema
Para n, k ≥ 1, existe algoritmo que:
• obtém um (n, k)-universal set de tamanho 2kkO(log k) logn
• tem tempo de execução 2kkO(log k)n logn.
25
![Page 116: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/116.jpg)
Conjuntos independentes k a k
Definição
Uma família Hn,k,q de funções f : [n] → [q] é chamada de espaçoamostral independente k a k se, para todos conjuntos de kelementos de [n], i1 ≤ · · · ≤ ik e todo α ∈ [q]k, valer
26
![Page 117: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/117.jpg)
Conjuntos independentes k a k
Definição
Uma família Hn,k,q de funções f : [n] → [q] é chamada de espaçoamostral independente k a k se, para todos conjuntos de kelementos de [n], i1 ≤ · · · ≤ ik e todo α ∈ [q]k, valer
Pr((f(i1), . . . , f(ik)) = α) = 1/qk,
26
![Page 118: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/118.jpg)
Conjuntos independentes k a k
Definição
Uma família Hn,k,q de funções f : [n] → [q] é chamada de espaçoamostral independente k a k se, para todos conjuntos de kelementos de [n], i1 ≤ · · · ≤ ik e todo α ∈ [q]k, valer
Pr((f(i1), . . . , f(ik)) = α) = 1/qk,
onde f ∈ Hn,k,q é escolhida uniformemente.
26
![Page 119: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/119.jpg)
Conjuntos independentes k a k
Definição
Uma família Hn,k,q de funções f : [n] → [q] é chamada de espaçoamostral independente k a k se, para todos conjuntos de kelementos de [n], i1 ≤ · · · ≤ ik e todo α ∈ [q]k, valer
Pr((f(i1), . . . , f(ik)) = α) = 1/qk,
onde f ∈ Hn,k,q é escolhida uniformemente.
Teorema
Existe algoritmo que obtém Hn,k,q de tamanho O(nk) em tempolinear na saída.
26
![Page 120: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/120.jpg)
Desaleatorizando Caminho mais longo
Ideia: ao invés de usar uma coloração aleatória, testamos todascolorações de um (n, k)-hash perfeito
27
![Page 121: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/121.jpg)
Desaleatorizando Caminho mais longo
Ideia: ao invés de usar uma coloração aleatória, testamos todascolorações de um (n, k)-hash perfeito
TeoremaCaminho mais longo pode ser resolvido em tempo(2e)kkO(log k)nO(1).
27
![Page 122: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/122.jpg)
Desaleatorizando d-agrupamento
Definição
Uma (n, k,q)-coloring family é uma família F de funções de[n] em [q] com a seguinte propriedade:
28
![Page 123: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/123.jpg)
Desaleatorizando d-agrupamento
Definição
Uma (n, k,q)-coloring family é uma família F de funções de[n] em [q] com a seguinte propriedade:
• para todo grafo G = (V, E) com V = [n] e |E| ≤ k, existef ∈ F que colore E propriamente.
28
![Page 124: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/124.jpg)
Desaleatorizando d-agrupamento
Definição
Uma (n, k,q)-coloring family é uma família F de funções de[n] em [q] com a seguinte propriedade:
• para todo grafo G = (V, E) com V = [n] e |E| ≤ k, existef ∈ F que colore E propriamente.
Objetivo: encontrar uma (n, k,q)-coloring family pequena
28
![Page 125: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/125.jpg)
Desaleatorizando d-agrupamento
Definição
Uma (n, k,q)-coloring family é uma família F de funções de[n] em [q] com a seguinte propriedade:
• para todo grafo G = (V, E) com V = [n] e |E| ≤ k, existef ∈ F que colore E propriamente.
Objetivo: encontrar uma (n, k,q)-coloring family pequena
Ideia: Compor um (n, k, k2)-splitter com uma(k2, k,q)-coloring family
28
![Page 126: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/126.jpg)
Desaleatorizando d-agrupamento
Definição
Uma (n, k,q)-coloring family é uma família F de funções de[n] em [q] com a seguinte propriedade:
• para todo grafo G = (V, E) com V = [n] e |E| ≤ k, existef ∈ F que colore E propriamente.
Objetivo: encontrar uma (n, k,q)-coloring family pequena
Ideia: Compor um (n, k, k2)-splitter com uma(k2, k,q)-coloring family
• cada aresta de G deve ser colorida propriamente
28
![Page 127: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/127.jpg)
Desaleatorizando d-agrupamento
Definição
Uma (n, k,q)-coloring family é uma família F de funções de[n] em [q] com a seguinte propriedade:
• para todo grafo G = (V, E) com V = [n] e |E| ≤ k, existef ∈ F que colore E propriamente.
Objetivo: encontrar uma (n, k,q)-coloring family pequena
Ideia: Compor um (n, k, k2)-splitter com uma(k2, k,q)-coloring family
• cada aresta de G deve ser colorida propriamente• basta que pares de vértices sejam coloridosindependentemente
28
![Page 128: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/128.jpg)
Uma família de coloração explícita para k2
Lema
Para k ≥ 1, exite algoritmo que:
• obtém (k3, k, 2⌈√k⌉)-coloring family de tamanho
2O(√k log k);
29
![Page 129: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/129.jpg)
Uma família de coloração explícita para k2
Lema
Para k ≥ 1, exite algoritmo que:
• obtém (k3, k, 2⌈√k⌉)-coloring family de tamanho
2O(√k log k);
• executa em tempo linear na saída.
29
![Page 130: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/130.jpg)
![Page 131: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/131.jpg)
![Page 132: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/132.jpg)
![Page 133: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/133.jpg)
Combinando
Teorema
Para n, k ≥ 1, exite algoritmo que:
• obtém (n, k, 2⌈√k⌉)-coloring family de tamanho
2O(√k log k) logn;
30
![Page 134: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/134.jpg)
Combinando
Teorema
Para n, k ≥ 1, exite algoritmo que:
• obtém (n, k, 2⌈√k⌉)-coloring family de tamanho
2O(√k log k) logn;
• executa em tempo 2O(√k log k)n logn
30
![Page 135: Algoritmos Parametrizadoslehilton/mo829b/anotada-parte6.pdfEncontrando um caminho colorido Nos concentramos no seguinte problema: • Dados G e uma coloração de V(G) com k cores;](https://reader035.fdocuments.net/reader035/viewer/2022062509/60eae611390bd426025cb121/html5/thumbnails/135.jpg)
Combinando
Teorema
Para n, k ≥ 1, exite algoritmo que:
• obtém (n, k, 2⌈√k⌉)-coloring family de tamanho
2O(√k log k) logn;
• executa em tempo 2O(√k log k)n logn
Teorema
Existe algoritmo para d-agrupamento em tempo2O(
√k(d+log k))nO(1).
30