arXiv:2505.07816v2 宣布类型: replace-cross 摘要: 我们给出了一个替代证明，证明了使用实数工作的递归图神经网络在限制于一阶逻辑 MSO 方面与分级模子替换 calculus 具有相同的表达能力。该证明基于构建分布式自动机，这些自动机可以捕获树上所有由 MSO 定义的节点属性。我们还考虑了一些接受条件的变体。