arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2201.12312math.COcs.CCcs.DS
收藏

$k$-生成竞赛图的同构测试是固定参数可处理的

Isomorphism testing of $k$-spanning tournaments is Fixed Parameter Tractable

Vikraman Arvind, Ilia Ponomarenko, Grigory Ryabov

AI总结:

本文定义了$k$-生成弧着色竞赛图的概念,并证明该类竞赛图的同构测试问题是固定参数可处理的,为相关图同构问题的参数复杂度研究提供了新结论。

摘要:

若弧着色竞赛图中,最大 valency 不超过$k$的弧颜色类的并集是强连通有向图的弧集,则称其为$k$-生成的($k\geq1$为整数)。本文证明$k$-生成竞赛图的同构测试是固定参数可处理的。

英文摘要:

An arc-colored tournament is said to be $k$-spanning for an integer $k\geq 1$ if the union of its arc-color classes of maximal valency at most $k$ is the arc set of a strongly connected digraph. It is proved that isomorphism testing of $k$-spanning tournaments is fixed-parameter tractable.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑