.png){kind=icon}
返回
Step Systems on Graphs
.png){kind=icon}
OA
AI
DOI：10.1007/s10013-026-00808-8.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
连接图的步系统由Ladislav Nebeský引入，作为一种仅用局部信息描述最短路径的方法。一个三元关系T编码每个点u向目标v迈出的第一步x。八个一阶公理刻画了步系统的三元关系T。本文证明Ladislav Nebeský的八个公理中事实上有一个是多余的。此外，我们用一阶公理刻画了二分图、部分立方和弱模图的步系统。在每种情况下，我们都证明了相应的一阶公理集是非冗余的。
Keyword:
Signpost systems
Independency of axioms
Bipartite graphs
Partial cubes
Weakly modular graphs
期刊
V
IF:
0.7
论文数:
45
被引数:
0
机构
引用论文
分享收藏Memory requirement for routing in distributed networks.png)
Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96
OAAI
Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96IF0
OAAI分享收藏
查看更多内容