( Collapse )
Kleinblog: I learned that linear logicians aren't the only people that endanger their dignity by introducing the word "lollipop" into their technical terminology. Graph theorists apparently have the "lollipop graph", which consists of gluing the complete graph on n/2 vertices to the line graph on n/2 vertices. It's a sort of worst case for a random walk seeking to cover all vertices.
Note to self from yesterday: if I ever start any kind of metal band, (not likely) I need to call it "prosecutors will be violated".