====== Análise e Desenvolvimento de Algoritmos (2011/1) ======

//Somebody once asked John Hopcroft about the problem of P and NP. He answered: "On Tuesdays, I try to prove that they are equal, on the rest of the week - that they are different." I believe that he has reduced the time to try to show that they are equal to Sunday afternoons.//
===== Informações gerais =====

**Professores:** Luciana Buriol, Marcus Ritt\\
**Carga horária:** 60 h (em 30 aulas de 2h)\\
**Créditos:** 4\\
**Súmula:** Complexidade de algoritmos. Cálculo de complexidade. Métodos básicos de construção de algoritmos. Classes de complexidade. Algoritmos aproximativos.\\
**Horário/Sala:** Seg/Qua 13.30, Sala 102, [[http://www.inf.ufrgs.br/cei/nscad/images/stories/mapa_2006.jpg|prédio 43424]].\\
**Consultas:** Seg 15.30.\\
**Detalhes:** Ver a [[http://ppgc.inf.ufrgs.br/index.php?option=com_content&view=category&layout=blog&id=81&Itemid=73|página no PPGC]].

===== Notícias =====

   * Resultados prova publicados
===== Resultados =====
  * [[2011-1-Notas|Notas]]
===== Materiais =====

  * Página da disciplina em [[2010-1|2010/1]], [[2008-1|2008/1]] e [[2007-1|2007/1]]
  * {{:cmp155:notas-3772.pdf|Notas de aula}} (atualizado 5/5/2011).

==== Aulas ====

^  No.  ^  Data  ^ Tópicos ^  Cap.((Capítulo nas notas de aula))  ^  Exercícios  ^  Soluções ^ Leitura  ^
|   1 | 16/03 | Administrativa, Introdução. Notação assintótica.         | 1,A.[1-4] |   || KT1-3 |
|   2 | 21/03 | Análise de complexidade pessimista e média. |         2 |  {{E01a.pdf|E1}}  |  {{:cmp155:s01a.pdf|S1}}  | KT1-3 |
|   3 | 23/03 | Análise de complexidade pessimista. Análise agregada e amortizada.  |         2 |   || KT1-3 |
|   4 | 28/03 | Divisão e conquista.                                     |         6 |   || KT5   |
|   5 | 30/03 | Divisão e conquista.                                     |         6 |   || KT5   |
|   6 | 04/04 | Divisão e conquista.                                     |         6 |  {{:cmp155:e02a.pdf|E2}}  |  {{:cmp155:s02a.pdf|S2}}  | KT5   |
|   7 | 06/04 | Algoritmos gulosos.                                      |         4 |   || KT4   |
|   8 | 11/04 | Algoritmos gulosos.                                      |         4 |   || KT4   |
|   9 | 13/04 | Programação dinâmica.                                    |         5 |   || KT6   |
|  10 | 18/04 | Programação dinâmica.                                    |         5 |   || KT6   |
|  11 | 20/04 | Programação dinâmica.                                    |         5 |   || KT6   |
|  12 | 25/04 | Backtracking, Branch-and-bound.                          |         7 |   ||       |
|  13 | 27/04 | Backtracking, Branch-and-bound.                          |         7 |   ||       |
|  14 | 02/05 | //Sem aula//                                             |           |   ||       |
|  15 | 04/05 | Classes de complexidade.                                 |     11,12 |     {{:cmp155:e03aa.pdf|E3}}  |  {{:cmp155:s03aa.pdf|S3}}  | KT8,9 |
|  16 | 09/05 | Classes de complexidade.                                 |     11,12 |   {{:cmp155:2011-1-lista_npc.pdf|E4}}  || KT8,9 |
|  17 | 11/05 | Complexidade de Kolmogorov.                              |           |   ||       |
|  18 | 16/05 | Algoritmos cache-eficientes.                             |           |   ||       |
|  19 | 18/05 | Algoritmos de memôria externa.                           |  {{:cmp155:2011-1-aula-extmem.pdf|S}}  |  {{:cmp155:2011-1-lista_ioalg.pdf|E5}}  ||       |
|     | 23/05 | //[[http://semac.inf.ufrgs.br|Semana academica]]//       |           |   ||       |
|     | 25/05 | //[[http://semac.inf.ufrgs.br|Semana academica]]//       |           |   ||       |
|  20 | 30/05 | Apresentação dos trabalhos.                              |           |   ||       |
|  21 | 01/06 | Apresentação dos trabalhos.                              |           |   ||       |
|  22 | 06/06 | Apresentação dos trabalhos.                              |           |   ||       |
|  23 | 08/06 | Apresentação dos trabalhos.                              |           |   ||       |
|  24 | 13/06 | Fluxo em grafos.                                         |           |   ||       |
|  25 | 15/06 | Fluxo em grafos.                                         |           |   ||       | **Prazo E4** |
|  26 | 20/06 | Fluxo em grafos.                                         |           |   ||       |
|  27 | 22/06 | Algoritmos de aproximação.                               |           |   ||       |
|  28 | 27/06 | Algoritmos de aproximação.                               |           |   ||       | **24/6: Prazo E5** |
|  29 | 29/06 | Algoritmos de aproximação.                               |           |   ||       |
|  30 | 04/07 | **Prova**.                                               |  {{:cmp155:p01fa.pdf|P}}  |  {{:cmp155:sp01f.pdf|S}}  ||       |
|     | 11/07 | Prova de recuperação.                                    |           |   ||       |
|     |       |                                                          |           |   ||       |
|     | 18/07 | Término oficial das aulas.                               |           |   ||       |

Livros: TV=Toscani/Veloso. A=Ausiello, KT=Kleinberg/Tardos.

==== Avaliação ====

A nota final é composto pela nota obtido na solução dos exercícios (1/3), a nota do projeto (1/3) e a nota da prova (1/3). Informações sobre o projeto: {{:cmp155:cmp155-projeto.pdf|aqui}}.

==== Bibliografia ====
<html>
<!-- BEGIN BIBLIOGRAPHY Bibliografia -->                                             
<!--                                                                                 
    DO NOT MODIFY THIS BIBLIOGRAPHY BY HAND!  IT IS MAINTAINED AUTOMATICALLY!        
    YOUR CHANGES WILL BE LOST THE NEXT TIME IT IS UPDATED!                           
-->                                                                                  
<!-- Generated by: /home/ritt/arch/share/bin/bib2xhtml -s unsortlist Bibliografia.bib Bibliografia.html -->
<ul class="bib2xhtml">                                                                                     

<!-- Authors: Sanjeev Arora and Boaz Barak -->
<li><a name="Arora.Barak/2009">Sanjeev</a> Arora and Boaz Barak.
<cite>Computational Complexity: A Modern Approach</cite>.       
Cambridge University Press, 2009.</li>                          

<!-- Authors: Thomas H Cormen and Charles E Leiserson and Ronald L Rivest and
  Clifford Stein -->                                                         
<li><a name="Cormen.etal/2001">Thomas</a>&nbsp;H. Cormen, Charles&nbsp;E.    
  Leiserson, Ronald&nbsp;L. Rivest, and Clifford Stein.
<a href="http://projects.csail.mit.edu/clrs"><cite>Introduction to
  Algorithms.</cite></a>
The MIT Press, 2nd edition, 2001.</li>

<!-- Authors: Michael R Garey and David S Johnson -->
<li><a name="Garey.Johnson/1979">Michael</a>&nbsp;R. Garey and David&nbsp;S.
  Johnson.
<a href="http://en.wikipedia.org/wiki/Computers_and_Intractability:_A_Guide_to_the_Theory_of_NP-Completeness"><cite>Computers and intractability: A guide to
  the theory of NP-completeness</cite></a>.
Freeman, 1979.</li>

<!-- Authors: E Horowitz and S Sahni -->
<li><a name="Horowitz.Sahni/1984">E</a>.&nbsp;Horowitz and S.&nbsp;Sahni.
<cite>Fundamentals of Computer Algorithms</cite>.
Computer Science Press, 1984.</li>

<!-- Authors: Laira Vieira Toscani and Paula A S Veloso -->
<li><a name="Toscani.Veloso/2005">Laira</a>&nbsp;Vieira Toscani and
  Paula A.&nbsp;S. Veloso.
<a href="http://www.inf.ufrgs.br/~laira/"><cite>Complexidade de
  Algoritmos</cite></a>.
Editora Sagra Luzzatto, 2a edition, 2005.</li>

<!-- Authors: G Ausiello and P Crescenzi and G Gambosi and V Kann and A
  Marchetti Spaccamela and M Protasi -->
<li><a name="Ausiello.etal/1999">G</a>.&nbsp;Ausiello, P.&nbsp;Crescenzi,
  G.&nbsp;Gambosi, V.&nbsp;Kann, A.&nbsp;Marchetti-Spaccamela, and M.&nbsp;Protasi.
<a href="http://www.nada.kth.se/~viggo/approxbook"><cite>Complexity and
  approximation &ndash; Combinatorial Optimization Problems and their
  Approximability Properties</cite></a>.
Springer-Verlag, 1999.</li>

<!-- Authors: Bernhard H Korte and Jens Vygen -->
<li><a name="Korte/2005">Bernhard</a>&nbsp;H. Korte and Jens Vygen.
<a href="http://www.or.uni-bonn.de/~vygen/co.html"><cite>Combinatorial
  optimization theory and algorithms</cite></a>.
Springer, 4th edition, 2008.
INF 65.012.122 K85c.</li>

<!-- Authors: Christos H Papadimitriou and Kenneth Steiglitz -->
<li><a name="Papadimitriou.Steiglitz/1982">Christos</a>&nbsp;H.
  Papadimitriou and Kenneth Steiglitz.
<cite>Combinatorial optimization: Algorithms and complexity</cite>.
Prentice-Hall, dover edition, 1982.</li>

<!-- Authors: Juraj Hromkovivc -->
<li><a name="Hromkovic/2001">Juraj</a> Hromkovic.
<cite>Algorithmics for hard problems</cite>.
Springer, 2001.
INF 65.012.122 H873a.</li>

<!-- Authors: S Dasgupta and C Papadimitriou and U Vazirani -->
<li><a name="Dasgupta.etal/2009">S</a>.&nbsp;Dasgupta,
  C.&nbsp;Papadimitriou, and U.&nbsp;Vazirani.
<cite>Algoritmos</cite>.
McGraw-Hill, 2009.</li>

</ul>

<!-- END BIBLIOGRAPHY Bibliografia -->

</html>

<html>
<a href="http://www2.clustrmaps.com/counter/maps.php?url=http://www.inf.ufrgs.br/~mrpritt" id="clustrMapsLink"><img width=1 src="http://www2.clustrmaps.com/counter/index2.php?url=http://www.inf.ufrgs.br/~mrpritt" style="border:1px solid;" alt="Locations of visitors to this page" title="Locations of visitors to this page" id="clustrMapsImg" onError="this.onError=null; this.src='http://clustrmaps.com/images/clustrmaps-back-soon.jpg'; document.getElementById('clustrMapsLink').href='http://clustrmaps.com'" />
</a>
</html>