research
∙
02/11/2023
Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves
Algorithmicists are well-aware that fast dynamic programming algorithms ...
share
research
∙
07/13/2022
Structured Decompositions: Structural and Algorithmic Compositionality
We introduce structured decompositions: category-theoretic generalizatio...
research
∙
07/01/2022
Search-Space Reduction via Essential Vertices
We investigate preprocessing for vertex-subset problems on graphs. While...
research
∙
04/05/2021
Spined categories: generalizing tree-width beyond graphs
We develop a general theory of categories that admit a functorial invari...
research
∙
03/09/2021
Edge exploration of temporal graphs
We introduce a natural temporal analogue of Eulerian circuits and prove ...
research
∙
09/18/2020