中文

拟阵并集中的基序列重构

组合数学 2024-09-13 v1 离散数学

摘要

给定图 GG 以及 GG 中的两棵生成树 TTTT',生成树重构问题询问是否存在从 TTTT' 的逐步变换,使得所有中间状态也是 GG 的生成树,每一步通过将 TT 中的一条边与 TT 外的一条边进行交换来实现。该问题自然地与拟阵理论相关,后者表明对于任意一对 TTTT',总是存在这样的变换。受此例启发,我们研究了将一个生成树序列变换为另一个生成树序列的问题。我们用拟阵理论的语言表述了这一问题:给定拟阵的两个基序列,目标是判定这两个序列之间是否存在变换。我们为该问题设计了一个多项式时间算法,即使拟阵是以基预言机给出的亦然。作为对该算法结果的补充,我们证明了寻找最短变换的问题是 NP 难以近似到 clognc \log n 因子以内的,其中 c>0c > 0 为某个常数,nn 为输入拟阵的底集总大小。

关键词

引用

@article{arxiv.2409.07848,
  title  = {Basis sequence reconfiguration in the union of matroids},
  author = {Tesshu Hanaka and Yuni Iwamasa and Yasuaki Kobayashi and Yuto Okada and Rin Saito},
  journal= {arXiv preprint arXiv:2409.07848},
  year   = {2024}
}

备注

16 pages, 5 figures