任意网络的死锁自由路由存在性
组合数学
2025-03-07 v1 分布式、并行与集群计算
网络与互联网体系结构
摘要
给定由路由节点组成的网络，表现为有向图，我们证明了以下关于死锁自由消息路由存在性的必要且充分条件：有向图必须包含两个互斥的有向树，根相同，一棵树指向根节点，另一棵树则远离根节点。虽然该条件的充分性已为人知，但其必要性据我们所知尚未被识别或证明。虽然该结果并不直接适用于死锁自由路由方案的构建，但它为理解死锁自由网络的本质提供了基本洞见，可能有助于开发改进的工具用于设计和验证此类方案。
引用
@article{arxiv.2503.04583,
title = {Existence of Deadlock-Free Routing for Arbitrary Networks},
author = {Uri Mendlovic and Yossi Matias},
journal= {arXiv preprint arXiv:2503.04583},
year = {2025}
}