alysson m. costa – icmc/usp tópicos em otimização combinatória complexidade computacional (uma...
Post on 18-Apr-2015
105 Views
Preview:
TRANSCRIPT
Alysson M. Costa – ICMC/USP
Tópicos em otimização combinatória
Complexidade computacional(Uma muito breve introdução)
Slides quase que integralmente baseados em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
4 mar 2009 . 11:37
Complexidade computacional
Em otimização combinatória, uma estratégia de solução é a enumeração das soluções possíveis.
Exemplo: Seja uma maleta com senha de 3 botões. Cada botão possui dez posições possíveis. Existe uma senha que deve ser encontrada.
Cada senha demora 1s para ser testada.
12
3
9
8
76
45
0 12
3
9
8
76
45
0 12
3
9
8
76
45
0
Alysson M. Costa – ICMC/USP
Complexidade computacional
Número de senhas: 10 £ 10 £ 10 = 1000. Em 1000s, no máximo, encontraremos a senha.
E se...
4 mar 2009 . 11:37
12
3
9
8
76
45
0 12
3
9
8
76
45
0 12
3
9
8
76
45
0
12
3
9
8
76
45
0 12
3
9
8
76
45
0 12
3
9
8
76
45
0
12
3
9
8
76
45
0 12
3
9
8
76
45
0 12
3
9
8
76
45
0
12
3
9
8
76
45
0
12
3
9
8
76
45
0
12
3
9
8
76
45
0
12
3
9
8
76
45
0
12
3
9
8
76
45
0
12
3
9
8
76
45
0
Alysson M. Costa – ICMC/USP
1012 soluções ~ 317 séculos para se encontrar a solução.
mas e se um computador pudesse examinar cada solução em 0,000000001s ?
... colocaríamos 20 botões.
4 mar 2009 . 11:37
Alysson M. Costa – ICMC/USP
E se usássemos um algoritmo mais inteligente ?
Existem problemas combinatórios para os quais não se conhecem algoritmos ótimos de resolução que não produzam uma explosão exponencial de tempo de cálculo ao se aumentar o tamanho do problema.
Existem outros problemas combinatórios para os quais existem algoritmos cujo tempo de resolução cresce polinomialmente com o tamanho do problema.
Como distinguimos entre uns e outros ?
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Classes P e NP
Matematicamente, buscou-se formalizar a distinção destes tipos de problemas. Considere os seguintes problemas de decisão. Problemas de decisão requerem duas possíveis respostas: sim (1) ou não (0).
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Classes P e NP
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Classes P e NP
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Classes P e NP
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Classes P e NP
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Classes P e NP
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Classes P e NP
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Para cada problema de decisão f, com cada possível tamanho n, existe um conjunto de testemunhas potenciais Wn.
Para resolver o problema, só é necessário encontrar um algoritmo que determine se existe uma testemunha válida W, tal que W esteja em Wn, para qualquer tamanho de problema n.
Um algoritmo possível é aquele baseado na enumeração dos elemento Wn
Alysson M. Costa – ICMC/USP
Classes P e NP
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Classes P e NP
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Classes P e NP
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas de otimização e decisão
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
P = NP ?
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
P = NP ?
4 mar 2009 . 11:37
Upson´s Familiar Quotationshttp://ecommons.cornell.edu/bitstream/1813/6358/1/82-518.pdf
Wikimedia commons
Alysson M. Costa – ICMC/USP
NP
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas NP-Completos
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas NP-Completos
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas NP-Completos
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas NP-Completos
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas NP-Completos (definição)
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas NP-Completos (definição)
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas NP-Completos (definição)
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas NP-Completos (definição)
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas NP-Completos (definição)
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas NP-Completos (definição)
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
Alysson M. Costa – ICMC/USP
Problemas NP-Completos (definição)
4 mar 2009 . 11:37
Slide baseado em material da professora Vitória Pureza - UFSCAR
top related