Sumários
TP8
23 Abril 2024, 18:30 • João Pedro Guerreiro Neto
Exercises using Las Vegas and Monte Carlo algorithms.
T8
23 Abril 2024, 16:30 • João Pedro Guerreiro Neto
Randomized Algorithms. Las Vegas and Monte Carlo approaches. Use of Probability Theory. Randomized data structures: Skip Lists and Treaps. Monte Carlo algorithms: polynomial identity, approximate counting (Morris counters).
T7
16 Abril 2024, 16:30 • João Pedro Guerreiro Neto
Constraint Programming. Specifying problems by defining variables and their constraints. Constraint programming as declarative programming. Introduction to Z3 and its Python interface. Solving classical problems like the 8 queens, knapsack, Golomb rules, and solving Sudoku puzzles.