Carlos
Miguel
Soto

Jornada Lorel 2024

Completitud Computacional de una Semántica Lineal para una Lógica Lineal (slides)

Referencias:

TC Argentina 2023

Geometría (slides)

Problemas de práctica:

TC Medellín 2023

Árboles (slides)

Problemas de práctica:

Contar la cantidad de colores distintos en cada subarbol (link)
Encontrar un centroid del arbol (link)
Contar cantidad de caminos de longitud k en un arbol (link)
Updates de marcar nodos en un arbol, queries del nodo marcado más cercano a cierto nodo (link)

Combinatoria (slides)

Problemas de práctica:

Contar las permutaciones casi identidad (link)
Te dan cantidades de bolas de cierto color, ordenarlas tales que la última aparición del color i esté antes que la i-1 (link)
Cantidad de parejitas (a,b) en un rango con GCD=1 (link)
Contar derangements (link)

Álgebra Lineal (slides)

Problemas de práctica:

Geometría (slides)

Problemas de práctica: