图博弈中的连边删除与顶点删除
计算机科学中的逻辑
2021-04-21 v1
摘要
我们讨论了图博弈上的连边删除与顶点删除算子，并对此给出了逻辑与算法的比较研究。特别地，我们聚焦于转移系统中一种流行的不变性概念，即相应图博弈之间的互模拟。我们给出了这些概念的逻辑与算法分析，以便对这两种算子之间的自然联系提供更形式化的分析。
引用
@article{arxiv.2104.09816,
title = {On link deletion and point deletion in games on graphs},
author = {Sujata Ghosh and Shreyas Gupta and Lei Li},
journal= {arXiv preprint arXiv:2104.09816},
year = {2021}
}
备注
25 pages