16 citations · 46 across the 31 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.DM2024★ 1 cited
Bootstrap percolation on rhombus tilings
S Esnay, V Lutfalla, G Theyssier
2-boostrap percolation on a graph is a diffusion process where a vertex gets infected whenever it has at least 2 infected neighbours, and then stays infected forever. It has been m…
cs.DM2024
FO logic on cellular automata orbits equals MSO logic
Guillaume Theyssier
We introduce an extension of classical cellular automata (CA) to arbitrary labeled graphs, and show that FO logic on CA orbits is equivalent to MSO logic. We deduce various results…