For sure, and i assume it can be meditative, especially if you don't have to do it every day.

Intriguing, you do the punchboard layout yourself? Do you do it manually or with software tools? This is a common optimization problem in many industries (for example, cutting pieces from metal sheets) and i assume good algorithms exist.

It is not in the app - at which exhibitor can we find it?

Define "application" :)

Separating these and some additional constraints is easy and the resulting branch-and-cut approach was competitive versus state-of-the-art approaches, especially if k is large. The approach also generalizes to various other problems where graphs should be disconnected.

Interpreting the problem as a game between a leader who has to remove vertices and a follower that connects the remaining graph, eventually the following formulation results. It contains only constraints that enforce a removal of vertices such that the remaining graph has at least k components.

The naive integer programm is not so great - weak LP relaxation and highly symmetric

In the k-vertex cut problem, the goal is to select as few vertices as possible such that the remaining graph consists of at least k connected components

My main gripe with typst, touying (=beamer) and fletcher was the integration, i.e., if you want to build or modify a drawing over multiple slides. There at least for me it is less intuitive than beamers only/visible and the shitty workarounds i used increased the otherwise fast typst compile speed

I have done a few versions of my recent talk in Typst and generally i think it looks great. I have used fletchers for graph drawings and its also nice until you want to do something it doesnt really support natively, and then it was painful. For tikz atleast you can always find a stackoverflow post

Its the small wrench on the top right, but i am on mobile only rn. Pretty sure i have downloaded bibtex citations from at least some Informa Journals before, but it always is a pain to find (luckily zotero does that for me nowadays)

Maybe i misunderstand, but isn't this what you ask?

If only there were some high-quality videos teaching it ;)

Imaging having the answer before you start implementing :)

Is there a recording of the John Company session?