
Compositional algorithms §2: quotienting solution spaces
Last time we spoke a bit about dynamic programming; specifically about solving Weighted Independent Set on trees. You can read about it here. Today things will get a bit more serious. I’ll start by briefly explaining how the algorithm we sketched for trees extends to graphs of bounded treewidth and then I’ll speak about the… Read more

Categories of temporal graphs §1
Many realworld problems can be formulated and modeled in the language of graph theory. However, realworld networks are often not static. They change over time. These structures are called dynamic or temporal graphs. Here’s an example of temporal star with four leaves; each one of its edges is active twice except for which is active… Read more

Compositional Algorithms
I’m fascinated by compositionality, the study of how the whole can be determined by its parts. Category theorists will tell you that this topic sits entirely within their domain… and they’re not wrong, but fundamentally I think that most of mathematics has to do with some sort of compositionality. One particular flavor of compositionality that… Read more

Hello World
Hi I’m Ben. This is a research blog consisting of notes on the mathematical curiosities that happen to be floating around my mind. If you read anything that appeals to you, leave a comment or get in touch! Read more