机构名称：
¥ 1.0
我们确定在界图中，在界面模型中，每个单声道二阶逻辑（MSO）公式都可以在恒定数量的圆圈中确定。据我们所知，这标志着有关分布式模型检查的第一个元理论。在MSO中表达了图形上各种优化问题。示例包括确定图表是否具有大小的集团，它是否允许颜色的颜色，是否包含图形𝐻作为子图或次要，或者是否可以通过vertex-disewoint路径连接𝐺中的终端顶点。我们的元理论可显着增强Bousquet等人的工作。[PODC 2022]，该[PODC 2022]专注于具有有界TreeDeptth的图形上的MSO的分布式认证。此外，我们的结果可以扩展到求解在MSO中表达的优化和计数问题，并在界面的TreeDeppth图中。
分布式模型检查有限的TreeDepth
主要关键词
相关文件推荐
