多层结构中的模型检查的两个二分法
摘要：多层图能够捕捉到实体之间的不同类型连接，这种网络在生物和社会系统中十分普遍：例如，社交联系网络通常涉及个体之间的虚拟和面对面互动。由于每个层次往往具有比整个系统更强或更容易识别的结构特性，我们自然会想知道是否可以利用各个层次的结构特性来高效解决整个网络上的NP难问题。在本文中，我们对每个层次中所需的结构特性进行了完整的描述，以确保存在一个可解决整个系统中的一阶或二阶单调逻辑定义问题的FPT算法，假设这些结构特性在删除顶点和/或边的情况下得到保留。
作者：Jessica Enright, Kitty Meeks and Jessica Ryan
论文ID：1710.08758
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2020-07-24