给定一个有限、简单、无向图 ,定义冷却为一个离散时间过程,其中所有节点最初都未冷却。在随后的每个步骤中,如果存在这样的节点,则选择一个新的未冷却节点(称为源)进行冷却。如果一个节点被冷却,那么它将保持该状态直到过程结束。一旦一个节点被冷却,其未冷却的邻居将在下一步中被冷却。当
的所有节点都被冷却时,过程终止,
的冷却数
定义为冷却过程结束的最大步骤数 (Bonato et al. 2024)。
图的冷却数衡量图中缓慢移动的传染病的速度,冷却数越低,传染病传播得越快 (Bonato et al. 2024)。因此,与图的燃烧数(给出燃烧所有节点的最小轮数)相反,冷却数给出冷却所有节点的最大轮数。
上面的图示说明了路径图 (其中
)和完全二部图
(其中
)。
根据定义,冷却数满足
(1)
|
其中 是燃烧数。这是因为燃烧数对应于首次出现完全燃烧图的第一次迭代,而冷却数对应于没有部分未冷却图剩余的迭代。
冷却数的上界为
(2)
|
下界和上界分别为
(3)
|
其中 是图直径 (Bonato et al. 2024)。
下表总结了一些参数化图族的冷却数值,其中 表示向上取整函数。