this post was submitted on 25 Jun 2025
7 points (88.9% liked)
math
325 readers
3 users here now
Interesting news and discussion centered around Mathematics
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Ah sorry, I had no idea, you could have been a topologist who doesn't like computers or something.
LIN is unusual to hear about, probably because it's pretty well understood. Are you more of a coder, or an actual, academic computer scientist? If the latter, what do you know about pebbling games on nondeterministic machines?
Oh no worries, I think I stumbled on this in a computer science crosspost.
While I do lean a bit in the academics, my area is mostly in ML / AI so not well read in pebbling games (although it sounds interesting).
Yeah, the first paper I read was pretty heavily reliant on them. As far as I can tell they're laying the pebbles on the execution tree of a nondeterministic machine and then proving something with that.