推理、受限零强制与受限搜索

推理是一种近期被引入的图搜索过程，其中的搜索者每移动一次即可清除图的顶点集，其中每个搜索者的运动由其邻居是否被其他搜索者保护决定。在本文中，我们展示了清除图所需的最少搜索者数量在推理中与其他先前研究的受限版本（即零强制和快速混合搜索）相同。我们给出结构特征、新的界限和谱结果关于所需搜索者数量。我们考虑计算此参数的复杂度，给出任意图的NP难度结果，并展示了能够在多项式时间内计算该参数的图族。我们还描述了与搜索者运动时间安排和终端布局成功相关的推理过程的性质。