Marcus Ritt

Esta página é apenas de leitura. Pode ver a fonte, mas não alterá-la. Informe-se com o administrador deste Wiki se achar que isto não está correcto.
====== Tópicos selecionados em Otimização Combinatória  ======

//The field of combinatorial algorithms is too vast to cover in a single paper or even in a single book. (Tarjan, 1976)//
===== Informações gerais =====

**Professores:** Marcus Ritt\\
**Carga horária:** 30 h (em 15 aulas de 2h)\\
**Créditos:** 2\\
**Súmula:** Tópicos selecionados em otimização combinatória focando no volume 4B do livro "The Art of Computer Programming".\\
**Horário/Sala:** Qua 10.30, sala 102, prédio 43425.\\
**Consultas:** Qua 13.30, sala 216, prédio 43425.\\
**Detalhes:** Ver a [[http://www.inf.ufrgs.br/ppgc/disciplinas/lista-de-disciplinas/cmp605|página no PPGC]].

===== Sobre "The art of computer programming"  =====

[[https://en.wikipedia.org/wiki/The_Art_of_Computer_Programming|The art of computer programming]]

> At the end of 1999, these books were named among the best twelve physical-science monographs of the century by American Scientist, along with: Dirac on quantum mechanics, Einstein on relativity, Mandelbrot on fractals, Pauling on the chemical bond, Russell and Whitehead on foundations of mathematics, von Neumann and Morgenstern on game theory, Wiener on cybernetics, Woodward and Hoffmann on orbital symmetry, Feynman on quantum electrodynamics, Smith on the search for structure, and Einstein's collected papers. Wow! 

> No final de 1999, esses livros foram nomeados entre as doze melhores monografias de ciências físicas do século pelo American Scientist, juntamente com: Dirac sobre mecânica quântica, Einstein sobre relatividade, Mandelbrot sobre fractais, Pauling sobre a ligação química, Russell e Whitehead sobre fundamentos da matemática, von Neumann e Morgenstern sobre teoria dos jogos, Wiener sobre cibernética, Woodward e Hoffmann sobre simetria orbital, Feynman sobre eletrodinâmica quântica, Smith sobre busca por estrutura, e os artigos coletados de Einstein. Uau! 

O seminário foca no [[https://www-cs-faculty.stanford.edu/~knuth/fasc5c.ps.gz|volume 4B, sobre otimização combinatória]] (postscript!), publicado em maio de 2019.

{{:inf5504:sy.png?600|ominoes}}
===== Notícias =====

    * 1o seminário: 21/08.
    
===== Resultados =====

===== Materiais =====

  * {{:inf5504:7.2.2-backtrack_programming.pdf|Volume 4B, Fascículo 5B, Backtrack programming}} (0th printing, revision 1, 19 July 2019)
  * {{:inf5504:7.2.2.1-dancing_links.pdf|Volume 4B, Fascículo 5C, Dancing links}} (0th printing, revision 2, 26 July 2019)
  * {{:inf5504:7.2.2.2-satisfiability.pdf|Volume 4B, Fascículo 6A, Satisfiability}} (0th printing, revision 5, 15 September 2015)
  * [[https://www-cs-faculty.stanford.edu/~knuth/news.html|Pre-prints, The Art of Computer Programming, Volume 4B]]

==== Encontros ====

^ No. ^ Data  ^ Tópicos                                    ^ Cáp.                ^ Apresentador ^
|   1 | 14/08 | Introdução                                 |                     | Marcus    |
|     | 21/08 | //Sem encontro//                           |                     |           | 
|   2 | 28/08 | Seminário  1: Introdução a Backtracking    | 7.2.2               | Gabriel   |
|     | 04/09 | //Sem encontro//                           |                     |           |
|   3 | 11/09 | Seminário  2: Busca combinatorial 1        | 7.2.2.1, p.1-6      | Kennya    |
|   4 | 18/09 | Seminário  3: Busca combinatorial 2        | 7.2.2.1, p.6-22     | Vinicius  |
|   5 | 25/09 | Seminário  4: Enumeration of partitions and trees  | 7.2.1.[56]  | Alex      |
|     | 02/10 | //Sem encontro//                           |                     |           |
|   6 | 09/10 | Seminário  5: Busca combinatorial 3        | 7.2.2.1, p.23-34    | Vitória   |
|   7 | 16/10 | Seminário  8: Satisfatibilidade 1          | 7.2.2.2, p.1-27     | Hariel    |
|   8 | 23/10 | //Semana academica//                       |                     |           |
|   9 | 30/10 | Seminário  6: Busca combinatorial 4        | 7.2.2.1, p.34-47    | Leonardo  |
|  10 | 06/11 | Seminário  7: Busca combinatorial 5        | 7.2.2.1, p.47-60    | Bruna     |
|     | 13/11 | //Sem encontro//                           |                     |           |
|  11 | 20/11 | Seminário 10: Satisfatibilidade 2          | 7.2.2.2, p.27-35    | Luísa     |
|  12 | 27/11 | Seminário 11: Satisfatibilidade 3          | 7.2.2.2, p.35-56    | Bruno     |
|  13 | 04/12 | Seminário 12: Satisfatibilidade 4          | 7.2.2.2, p.57-71    |           |
|  14 | 11/12 | Seminário 13: Satisfatibilidade 5          | 7.2.2.2, p.71-90    | Hermes    |
|  15 | 18/12 | Seminário 14: Satisfatibilidade 6          | 7.2.2.2, p.90-133   | Eduardo   |
|     | 11/01 | Término oficial das aulas.                 |                     |           |

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

É avaliada a apresentação de um tópico selecionado em um dos seminários (nota S) e a solução de uma lista de exercícios correspondentes ao tópico (nota T). A média final é M=(S+T)/2.

==== Bibliografia ====

<html>
<!-- BEGIN BIBLIOGRAPHY to -->
<!--
    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/toolbox/bin/bib2xhtml-mod -s unsortlist to.bib to.html -->
<ul>

<!-- Authors: Donald E Knuth -->
<li><a name="Knuth/1997a"></a>  Donald&nbsp;E. Knuth.
<cite>The art of computer programming</cite>, volume I, Fundamental Algorithms.
Addison-Wesley, 3rd edition, 1997.</li>

<!-- Authors: Donald E Knuth -->
<li><a name="Knuth/1997b"></a>  Donald&nbsp;E. Knuth.
<cite>The art of computer programming</cite>, volume II, Seminumerical
  Algorithms.
Addison-Wesley, 3rd edition, 1997.</li>

<!-- Authors: Donald E Knuth -->
<li><a name="Knuth/1998"></a>  Donald&nbsp;E. Knuth.
<cite>The art of computer programming</cite>, volume III, Sorting and
  searching.
Addison-Wesley, 2nd edition, 1998.</li>

</ul>

</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>
Marcus Ritt

Ferramentas de Utilizador

Ferramentas de Site

Ferramentas de Página
