Discussão sobre o Advent of Code 2023 - Dia 6: Modelando problema com matemática

O problema do dia 6 do Advent of Code desse ano pode ser resolvido usando matemática. Então resolvi testando o SymPy e ver o quanto ele facilita nas análises e contas. O resultado encontra-se no seguinte notebook (que também pode ser visualizado aqui).

Discussão sobre o Advent of Code 2022 - Dia 4: Algebra booliana e ordenação

Quarto dia do Advent of Code deste ano, o problema desse dia é bastante interessante para discutir sobre álgebra booliana e ordenação completa ou parcial, e como ela é implementado em linguagens como Rust.

Álgebra booliana

Há algum tempo, quando a bug_elseif ainda estava fazendo listas de exercícios em Python, apareceu um problema que envolvia verificar se um ano era bissexto ou não. Embora a construção de uma expressão para verificar se um ano é bissexto seja até intuitiva, como estávamos utilizando a condição invertida (verificar se o ano não era bissexto), sua construção não estava sendo fácil, porém é possível usar um pouco de matemática para chegar nela.