箭图矩锥成员问题的强多项式时间判定
计算复杂性
2023-03-28 v1 组合数学
表示论
辛几何
摘要
在本注记中我们观察到，对于任意无环箭图，箭图表示空间的矩锥中的成员判定可在强多项式时间内完成。这推广了 Chindris-Collins-Kline 近期关于二分箭图的结果。他们的方法是构造具有类似于 Knutson-Tao 张量积重数多面体的几何实现的“重数多面体”。此处我们展示他们构造的一个较少几何性但直接的变体可为任意无环箭图导出这样的重数多面体。Tardos 针对组合线性规划的强多项式时间算法连同饱和性质即蕴含矩锥成员判定可在强多项式时间内完成。关于半不变量的类似问题仍然开放。
引用
@article{arxiv.2303.14821,
title = {Moment cone membership for quivers in strongly polynomial time},
author = {Michèle Vergne and Michael Walter},
journal= {arXiv preprint arXiv:2303.14821},
year = {2023}
}
备注
7 pages