Esta página mostra as diferenças entre as duas revisões da página.
Ambos os lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
cmp601:homepage [2020/03/04 09:53] marcus [Lectures] |
cmp601:homepage [2022/08/22 17:02] (Actual) |
||
---|---|---|---|
Linha 1: | Linha 1: | ||
- | ====== CMP 601: Algorithms and Theory of Computation (2020/1) ====== | + | ====== CMP 601: Algorithms and Theory of Computation (2022/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.// | //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.// | ||
+ | |||
===== General information ===== | ===== General information ===== | ||
Linha 9: | Linha 10: | ||
**Summary:** Theory of Computation: Models of computation. Limitation of formal systems. Complexity theory. | **Summary:** Theory of Computation: Models of computation. Limitation of formal systems. Complexity theory. | ||
Algorithms: Analysis of algorithms. Main techniques for designing algorithms.\\ | Algorithms: Analysis of algorithms. Main techniques for designing algorithms.\\ | ||
- | **Time and room:** Tue/Thu 10.30, 102, [[http://mapa.ufrgs.br/index.php?verb=pan&building=44|building 43425]].\\ | + | **Time and room:** Tue/Thu 10.30, 108/43413.\\ |
- | **Consultation hours:** Thu 13.30, room 216, [[http://mapa.ufrgs.br/index.php?verb=pan&building=44|building 43425]].\\ | + | **Consultation hours:** By appointment.\\ |
- | **Details:** On the [[http://www.inf.ufrgs.br/ppgc/disciplinas/lista-de-disciplinas/cmp601|homepage of the course at PPGC]]. | + | **Details:** On the [[http://www.inf.ufrgs.br/ppgc/disciplinas/lista-de-disciplinas/cmp601|homepage of the course at PPGC]].\\ |
+ | **Note:** The course will be split during the semester into two courses. | ||
===== News ===== | ===== News ===== | ||
- | * First exam: Mar 27, 2020. The exam will take 2.5 hours. | + | * First lecture: Tue, Jun 14. |
===== Results ===== | ===== Results ===== | ||
- | |||
===== Additional material ===== | ===== Additional material ===== | ||
* Homepage of CMP155 (Análise e Desenvolvimento de Algoritmos) in [[:cmp155:2011-1|2011/1]], [[:cmp155:2010-1|2010/1]], [[:cmp155:2008-1|2008/1]] and [[:cmp155:2007-1|2007/1]]. | * Homepage of CMP155 (Análise e Desenvolvimento de Algoritmos) in [[:cmp155:2011-1|2011/1]], [[:cmp155:2010-1|2010/1]], [[:cmp155:2008-1|2008/1]] and [[:cmp155:2007-1|2007/1]]. | ||
- | * Homepage of CMP601 in [[:cmp601:2019-1|2019/2]], [[:cmp601:2018-1|2018/1]], [[:cmp601:2015-1|2015/1]], [[:cmp601:2016-2|2016/2]], and [[:cmp601:2018-1|2018/1]]. | + | * Homepage of CMP601 in [[:cmp601:2020-2|2020/2]], [[:cmp601:2020-1|2020/1]], [[:cmp601:2019-1|2019/2]], [[:cmp601:2018-1|2018/1]], [[:cmp601:2016-2|2016/2]], and [[:cmp601:2015-1|2015/1]]. |
- | * {{:cmp155:notas-10619.pdf|Lecture notes}} (in Portuguese, updated Sep 2019). | + | * {{:cmp155:notas-11959.pdf|Lecture notes}} (in Portuguese, updated Junho 2022). |
==== Lectures ==== | ==== Lectures ==== | ||
- | ^ No. ^ Data ^ Topics ^ Chap. in\\ notes ^ Exercises ^ Solutions ^ Reading ^ | + | ^ No. ^ Date ^ Topics ^ Chap. in\\ notes ^ Exercises ^ Solutions ^ Reading ^ |
- | | | | ** Algorithms ** | | | | | | + | | | | ** Algorithms ** | | | | | |
- | | 1 | 05/03 | Administrativa. Introduction. | 1 | | | 1.1 | | + | | 1 | 14/06 | Administrativa. Introduction. | 1 | | | 1.1 | |
- | | 2 | 10/03 | Representative problems. | | | | 1.2 | | + | | | 16/06 | //Corpus Cristi// | | | | | |
- | | 3 | 12/03 | Basics of algorithm analysis. | 2 | | | 2 | | + | | 2 | 21/06 | Basics of analysis and representative problems. | | | | 1.2 | |
- | | 4 | 17/03 | Graph algorithms 1. | | | | 3.[12],4.4 | | + | | 3 | 23/06 | Basics of analysis and representative problems. | 2 | | | 2 | |
- | | 5 | 19/03 | Graph algorithms 2. | | | | 3.[3-6] | | + | | | 24/06 | Qualification exam algorithms (8.30, AUD-0) | | {{eqa20221.pdf|E}} | {{seqa20221.pdf|S}} | | |
- | | 6 | 24/03 | Graph algorithms 3. | | | | | | + | | | 24/06 | Qualification exam theory (13.30, 109, 43413) | | | | | |
- | | 7 | 26/09 | Greedy algorithms 1. | 4 | | | 4.[12] | | + | | 4 | 28/06 | Graph algorithms 1. | | | | 3.[123],4.4 | |
- | | | 27/03 | **Pre-semester exam.** | | | | | | + | | 5 | 30/06 | Graph algorithms 2. | | | | 3.[46] | |
- | | 8 | 31/03 | Greedy algorithms 2. | 4 | | | 4.5 | | + | | 6 | 05/07 | Graph algorithms 3. | | {{q0120221.pdf|E1}} | {{sq0120221.pdf|S1}} | 3.5 | |
- | | 9 | 02/04 | Greedy algorithms 3. | 4 | | | 4.9 | | + | | 7 | 07/07 | Greedy algorithms 1. | 4 | | | 4.[12] | |
- | | 10 | 07/04 | Divide-and-conquer 1. | 5 | | | 5.[123] | | + | | 8 | 12/07 | Greedy algorithms 2. | 4 | | | 4.5 | |
- | | 11 | 09/04 | Divide-and-conquer 2. | 5 | | | 5.[45] | | + | | 9 | 14/07 | Greedy algorithms 3. | 4 | | | 4.9 | |
- | | 12 | 14/04 | Divide-and-conquer 3. | 5 | | | 5.6 | | + | | 10 | 19/07 | Divide-and-conquer algorithms 1. | 5 | {{q0220221.pdf|E2}} | {{sq0220221.pdf|S2}} | 5.[123] | |
- | | 13 | 16/04 | Dynamic programming 1. | 6 | | | 6.[12] | | + | | 11 | 21/07 | Divide-and-conquer algorithms 2. | 5 | | | 5.[45] | |
- | | | 21/04 | [[wppt>Tiradentes]] | | | | | | + | | 12 | 26/07 | Divide-and-conquer algorithms 3. | 5 | | | 5.6 | |
- | | 14 | 23/04 | Dynamic programming 2. | 6 | | | 6.[45] | | + | | 13 | 28/07 | Dynamic programming 1. | 6 | {{q0320221.pdf|E3}} | {{sq0320221.pdf|S3}} | 6.[12] | |
- | | 15 | 28/04 | Dynamic programming 3. | 6 | | | 6.[67] | | + | | 14 | 02/08 | Dynamic programming 2. | 6 | | | 6.[45] | |
- | | | | ** Theory of computation ** | | | | | | + | | 15 | 04/08 | Dynamic programming 3. | 6 | {{q0420221.pdf|E4}} | {{sq0420221.pdf|S4}} | 6.[67] | |
- | | 16 | 30/04 | Theory: TBD | | | | | | + | | | | ** Theory of computation ** | | | | | |
- | | 17 | 05/05 | Theory: TBD | | | | | | + | | 16 | 09/08 | Theory 1: Introduction -- Noncomputability | | | | | |
- | | 18 | 07/05 | Theory: TBD | | | | | | + | | 17 | 11/08 | Theory 2: Introduction -- Intractability | | | | | |
- | | 19 | 12/05 | Theory: TBD | | | | | | + | | 18 | 16/08 | Theory 3: Introduction -- NP-complete problems | | | | | |
- | | 20 | 14/05 | Theory: TBD | | | | | | + | | 19 | 18/08 | Theory 4: Turing Machines | | | | | |
- | | 21 | 19/05 | Theory: TBD | | | | | | + | | 20 | 23/08 | Theory 5: Undecidability | | | | | |
- | | 22 | 21/05 | Theory: TBD | | | | | | + | | 21 | 25/08 | Theory 6: Reducibility | | | | | |
- | | 23 | 26/05 | Theory: TBD | | | | | | + | | 22 | 30/08 | Theory 7: Time Complexity I | | | | | |
- | | 24 | 28/05 | Theory: TBD | | | | | | + | | 23 | 01/09 | Theory 8: Time Complexity II | | | | | |
- | | 25 | 02/06 | Theory: TBD | | | | | | + | | 24 | 06/09 | Theory 9: Time Complexity III | | | | | |
- | | 26 | 04/06 | Theory: TBD | | | | | | + | | 25 | 08/09 | Theory 10: Time Complexity IV | | | | | |
- | | 27 | 09/06 | Theory: TBD | | | | | | + | | 26 | 13/09 | Theory 11: Exercises | | | | | |
- | | | 11/06 | [[wppt>Corpus Christi]] | | | | | | + | | 27 | 15/09 | Theory 12: Space Complexity I | | | | | |
- | | 28 | 16/06 | Theory: TBD | | | | | | + | | | 20/09 | //Revolução Farroupilha// | | | | | |
- | | 29 | 18/06 | Theory: TBD | | | | | | + | | 28 | 22/09 | Theory 13: Intractability | | | | | |
- | | 30 | 23/06 | Theory: TBD | | | | | | + | | | 27/09 | //Semana Acadêmica// | | | | |
- | | | 10/07 | **Post-semester exam e prova de recuperação** | | | | | | + | | | 29/09 | //Semana Acadêmica// | | | | |
- | | | 15/07 | Official end of lecture period 2020/1. | | | | | | + | | 29 | 04/10 | Theory 14: Exercises | | | | | |
+ | | 30 | 06/10 | Theory 15: Exercises | | | | | | ||
+ | | | 20/10 | Official end of lecture period 2022/2. | | | | | | ||
==== Evaluation ==== | ==== Evaluation ==== | ||
See the [[http://www.inf.ufrgs.br/ppgc/disciplinas/lista-de-disciplinas/cmp601/|homepage of the course at PPGC]]. | See the [[http://www.inf.ufrgs.br/ppgc/disciplinas/lista-de-disciplinas/cmp601/|homepage of the course at PPGC]]. | ||
+ | |||
+ | ==== Material ==== | ||
+ | |||
+ | * Template ([[http://www.inf.ufrgs.br/~mrpritt/ca/answers.tex|LaTeX]],[[http://www.inf.ufrgs.br/~mrpritt/ca/answers.pdf|PDF]]) for exercise lists. | ||
==== Bibliography ==== | ==== Bibliography ==== |