Table 2.

Variables used in this paper

Symbol	Meaning
f	Local transition function
m	Number of edges in a graph
n	Number of nodes in a graph
ns	Number of seed nodes in a simulation
si	State of node vi
t	Threshold
𝔹	Boolean state set {0, 1}
C	Critical set of nodes used to block contagion spread
𝒞, 𝒞′	Configurations of a synchronous dynamical system
E	Set of edges in a graph G
𝓕	Set of local transition functions
G	Graph or network
I	Seed node set (i.e., set of nodes that are initially in state 1 in a simulation)
LG(t)	The size, in terms of nodes, of the largest connected component of a maximal t-core of a graph
𝒮	Synchronous dynamical system
T	An upper bound on time
V	Set of nodes in a graph G
β	Budget on the size of the critical set